Existence and weak-strong uniqueness for the Navier-Stokes-Smoluchowski system over moving domains

This dissertation concerns the well-posedness of the Navier-Stokes-Smoluchowski system. The system models a mixture of fluid and particles in the so-called bubbling regime. The compressible Navier-Stokes equations governing the evolution of the fluid are coupled to the Smoluchowski equation for the particle density at a continuum level. First, working on fixed domains, the existence of weak solutions is established using a three-level approximation scheme and based largely on the Lions-Feireisl theory of compressible fluids. The system is then posed over a moving domain. By utilizing a Brinkman-type penalization as well as penalization of the viscosity, the existence of weak solutions of the Navier-Stokes-Smoluchowski system is proved over moving domains. As a corollary the convergence of the Brinkman penalization is proved. Finally, a suitable relative entropy is defined. This relative entropy is used to establish a weak-strong uniqueness result for the Navier-Stokes-Smoluchowski system over moving domains, ensuring that strong solutions are unique in the class of weak solutions.

On the strong uniqueness of some finite dimensional Dirichlet operators

We prove essential self-adjointness of a class of Dirichlet operators in ℝn using the hyperbolic equation approach. This method allows one to prove essential self-adjointness under minimal conditions on the logarithmic derivative of the density and a condition of Muckenhoupt type on the density itself.

On stable uniqueness in linear semi-infinite optimization

This paper is intended to provide conditions for the stability of the strong uniqueness of the optimal solution of a given linear semi-infinite optimization (LSIO) problem, in the sense of maintaining the strong uniqueness property under sufficiently small perturbations of all the data. We consider LSIO problems such that the family of gradients of all the constraints is unbounded, extending earlier results of Nürnberger for continuous LSIO problems, and of Helbig and Todorov for LSIO problems with bounded set of gradients. To do this we characterize the absolutely (affinely) stable problems, i.e., those LSIO problems whose feasible set (its affine hull, respectively) remains constant under sufficiently small perturbations.

Negative mood, implicit alcohol-related memory, and alcohol use in young adults: The moderating effect of alcohol expectancy

Objective Alcohol-related implicit (preconscious) cognitive processes are established and unique predictors of alcohol use, but most research in this area has focused on alcohol-related implicit cognition and anxiety. This study extends this work into the area of depressed mood by testing a cognitive model that combines traditional explicit (conscious and considered) beliefs, implicit alcohol-related memory associations (AMAs), and self-reported drinking behavior. Method Using a sample of 106 university students, depressed mood was manipulated using a musical mood induction procedure immediately prior to completion of implicit then explicit alcohol-related cognition measures. A bootstrapped two-group (weak/strong expectancies of negative affect and tension reduction) structural equation model was used to examine how mood changes and alcohol-related memory associations varied across groups. Results Expectancies of negative affect moderated the association of depressed mood and AMAs, but there was no such association for tension reduction expectancy. Conclusion Subtle mood changes may unconsciously trigger alcohol-related memories in vulnerable individuals. Results have implications for addressing subtle fluctuations in depressed mood among young adults at risk of alcohol problems.

Optimality Conditions and Duality for Semi-Infinite Mathematical Programming Problem with Equilibrium Constraints

This article considers a semi-infinite mathematical programming problem with equilibrium constraints (SIMPEC) defined as a semi-infinite mathematical programming problem with complementarity constraints. We establish necessary and sufficient optimality conditions for the (SIMPEC). We also formulate Wolfe- and Mond-Weir-type dual models for (SIMPEC) and establish weak, strong and strict converse duality theorems for (SIMPEC) and the corresponding dual problems under invexity assumptions.

Avaliação do potencial fotoprotetor de extratos de musgos e investigação de seus riscos toxicológicos

A radiação ultravioleta (UV) induz diversos efeitos nocivos nos organismos e a quantidade desta radiação que atinge a biosfera é afetada pela concentração de ozônio, latitude, altitude, clima e reflexão especular. As respostas de briófitas em relação aos efeitos da radiação UV e a presença de compostos que absorvem esta radiação têm sido estudadas. Sanionia uncinata, Holomitriopsis laevifolia e Leucobryum laevifolium são espécies de musgos encontrados em locais expostos a alta incidência de radiação UV e com habitats distintos. Considerando que as respostas de musgos contra os efeitos da radiação UV e seus mecanismos de proteção ainda são pouco caracterizados, o objetivo deste estudo foi investigar o potencial fotoprotetor e possíveis riscos toxicológicos associados aos extratos dos musgos S. uncinata, proveniente da Antártica e H. laevifolia e L. laevifolium, proveniente do Amazonas. Seus extratos metanólico (EM), aquoso (EA), hidroalcoólico (EH) e etanólico (EE) foram estudados com a caracterização química por absorção ao UV e visível e pela cromatografia líquida de alta eficiência; quantificação do índice total de compostos fenólicos; determinação da capacidade captadora do radical 2,2-difenil-1-picril-hidrazila a fim de avaliar as atividades antioxidantes; avaliação do potencial de fotoproteção cutânea pela determinação do fator de proteção solar; avaliações do potencial mutagênico e citototóxico, através do ensaio de Salmonella/microssoma, utilizando as cepas TA97, TA98, TA100, TA102 e TA104; do potencial fotomutagênico através do ensaio de fotomutagenicidade, usando as cepas TA102 e TA104; e investigação dos efeitos genotóxicos e fotogenotóxicos, pelo ensaio de micronúcleo e fotomicronúcleo, respectivamente, usando diferentes linhagens celulares estabelecidas. Foram encontradas atividades fotoprotetoras e antioxidantes e observou-se que os extratos se apresentaram singulares devido a sua composição química. Os resultados fotoprotetores, além dos mutagênicos/fotomutagênicos, genotóxicos/fotogenotóxicos e suas respectivas avaliações citotóxicas também permitiram selecionar extratos e suas concentrações, como promissores candidatos em fotoproteção Assim, os EA e EH de H. laevifolia e L. laevifolium apresentam, no geral, os resultados mais significativos, tornando-se potenciais para avaliações refinadas em fotoproteção e na separação de componentes que possam levar a futuras aplicações como antioxidantes e protetores solares ou como adjuvantes.

Quantifying the kinetic paths of flexible biomolecular recognition

Biomolecular recognition often involves large conformational changes, sometimes even local unfolding. The identification of kinetic pathways has become a central issue in understanding the nature of binding. A new approach is proposed here to study the dynamics of this binding-folding process through the establishment of a path-integral framework on the underlying energy landscape. The dominant kinetic paths of binding and folding can be determined and quantified. The significant coupling between the binding and folding of biomolecules often exists in many important cellular processes. In this case, the corresponding kinetic paths of binding are shown to be intimately correlated with those of folding and the dynamics becomes quite cooperative. This implies that binding and folding happen concurrently. When the coupling between binding and folding is weak (strong), the kinetic process usually starts with significant folding (binding) first, with the binding (folding) later proceeding to the end. The kinetic rate can be obtained through the contributions from the dominant paths. The rate is shown to have a bell-shaped dependence on temperature in the concentration-saturated regime consistent with experiment. The changes of the kinetics that occur upon changing the parameters of the underlying binding-folding energy landscape are studied.

Exchange-correlation effects on quantum wires with spin-orbit interactions under the influence of in-plane magnetic fields.

Within the noncollinear local spin-density approximation, we have studied the ground state structure of a parabolically confined quantum wire submitted to an in-plane magnetic field, including both Rashba and Dresselhaus spin-orbit interactions. We have explored a wide range of linear electronic densities in the weak (strong) coupling regimes that appear when the ratio of spin-orbit to confining energy is small (large). These results are used to obtain the conductance of the wire. In the strong coupling limit, the interplay between the applied magnetic field¿irrespective of the in-plane direction, the exchange-correlation energy, and the spin-orbit energy-produces anomalous plateaus in the conductance vs linear density plots that are otherwise absent, or washes out plateaus that appear when the exchange-correlation energy is not taken into account.

Higher grading conformal affine Toda theory and (generalized) sine-Gordon/massive Thirring duality

Some properties of the higher grading integrable generalizations of the conformal affine Toda systems are studied. The fields associated to the non-zero grade generators are Dirac spinors. The effective action is written in terms of the Wess-Zumino-Novikov-Witten (WZNW) action associated to an affine Lie algebra, and an off-critical theory is obtained as the result of the spontaneous breakdown of the conformal symmetry. Moreover, the off-critical theory presents a remarkable equivalence between the Noether and topological currents of the model. Related to the off-critical model we define a real and local lagrangian provided some reality conditions are imposed on the fields of the model. This real action model is expected to describe the soliton sector of the original model, and turns out to be the master action from which we uncover the weak-strong phases described by (generalized) massive Thirring and sine-Gordon type models, respectively. The case of any (untwisted) affine Lie algebra furnished with the principal gradation is studied in some detail. The example of s^l(n) (n = 2, 3) is presented explicitly. © SISSA/ISAS 2003.

Variability of the Brazil Current during the late Holocene analysed on two marine sediment cores

Our understanding of the centennial-scale variability of the Brazil Current (BC) during the late Holocene is elusive because of the lack of appropriate records. Here we used the Mg/Ca and oxygen isotopic composition of planktonic foraminifera from two marine sediment cores collected at 27° S and 33° S off southeastern South America to assess the late Holocene variability in the upper water column of the BC. Our results show in phase fluctuations of up to 3 °C in sea surface temperatures (SST), and 0.8 per mil in oxygen isotopic composition of surface sea water, a proxy for relative sea surface salinity (SSS). Time-series analyses of our records indicate a cyclicity with a period of ca. 730 yr. We suggest that the observed cyclicity reflects variability in the strength of the BC associated to changes in the Atlantic meridional overturning circulation (AMOC). Positive (negative) SST and SSS anomalies are related to a strong (weak) BC and a weak (strong) AMOC. Moreover, periods of peak strength in the BC occur synchronously to a weak North Brazil Current, negative SST anomalies in the high latitudes of the North Atlantic, and positive (negative) precipitation anomalies over southeastern South America (equatorial Africa), further corroborating our hypothesis. This study shows a tight coupling between the variability of the BC and the high latitudes of the North Atlantic mediated by the AMOC even under late Holocene boundary conditions.

Diagnostics of classical and dusty plasmas w ith collecting and emissive langmuir probes = Diagnosis de plasmas clásicos y granulares mediante sondas colectoras y emisoras de Langmuir

Las sondas eléctricas se emplean habitualmente en la diagnosis de plasmas. La presente tesis aborda la operación de las sondas colectoras y emisoras de Langmuir en plasmas fríos de baja densidad. El estudio se ha centrado en la determinación del potencial de plasma, Vsp, mediante el potencial flotante de una sonda emisora. Esta técnica consiste en la medida del potencial de la sonda correspondiente a la condición de corriente neta igual a cero, el cual se denomina potencial flotante, VF. Este potencial se desplaza hacia el potencial del plasma según aumenta la emisión termoiónica de la sonda, hasta que se satura cerca de Vsp. Los experimentos llevados a cabo en la pluma de plasma de un motor iónico y en un plasma de descarga de glow muestran que la corriente de electrones termoiónicos es mayor que la corriente de electrones recogidos para una sonda polarizada por debajo del potencial del plasma, resultado inconsistente con la teoría tradicionalmente aceptada. Para investigar estos resultados se ha introducido el parámetro R, definido como el cociente entre la corriente de electrones emitidos y recogidos por la sonda. Este parámetro, que está relacionado con la diferencia de potencial VF - Vsp, también es útil para la descripción de los modos de operación de la sonda emisora (débil, fuerte y más allá del fuerte). Los resultados experimentales evidencian que, al contrario de lo que indica la teoría, R es mayor que la unidad. Esta discrepancia se puede solucionar introduciendo una población efectiva de electrones. Con dicha población, el nuevo modelo para la corriente total de la sonda reproduce los datos experimentales. El origen de este grupo electrónico es todavía una cuestión abierta, pero podría estar originada por una nueva estructura de potencial cerca de la sonda cuando ésta trabaja en el régimen de emisión fuerte. Para explicar dicha estructura de potencial, se propone un modelo unidimensional compuesto por un mínimo de potencial cerca de la superficie de la sonda. El análisis numérico indica que este pozo de potencial aparece para muy altas temperaturas de la sonda, reduciendo la cantidad de electrones emitidos que alcanzan el plasma y evitando así cualquier posible perturbación de éste. Los aspectos experimentales involucrados en el método del potencial flotante también se han estudiado, incluyendo cuestiones como las diferentes técnicas de obtención del VF, el cociente señal-ruido, el acoplamiento de la señal de los equipos utilizados para la obtención de las curvas I-V o la evidencia experimental de los diferentes modos de operación de la sonda. Estas evidencias empíricas se encuentran en todos los aspectos de operación de la sonda: la recolección de electrones, el potencial flotante, la precisión en las curvas I-V y la emisión electrónica. Ésta última también se estudia en la tesis, debido a que un fenómeno de super emisión tiene lugar en el régimen de emisión fuerte. En este modo de operación, las medidas experimentales indican que las corrientes termoiónicas de electrones son mayores que aquéllas predichas por la ecuación de Richardson-Dushman clásica. Por último, la diagnosis de plasmas usando sondas eléctrica bajo presencia de granos de polvo (plasmas granulares) en plasmas fríos de baja densidad también se ha estudiado, mediante la aplicación numérica de la técnica del potencial flotante de la sonda emisora en un plasma no convencional. Los resultados apuntan a que el potencial flotante de una sonda emisora se vería afectado por altas densidades de polvo o grandes partículas. ABSTRACT Electric probes are widely employed for plasma diagnostics. This dissertation concerns the operation of collecting and emissive Langmuir probes in low density cold plasmas. The study is focused on the determination of the plasma potential, Vsp, by means of the floating potential of emissive probes. This technique consists of the measurement of the probe potential, corresponding to the zero net probe current, which is the so-called floating potential, VF . This potential displaces towards the plasma potential as the thermionic electron emission increases, until it saturates near Vsp. Experiments carried out in the plasma plume of an ion thruster and in a glow discharge plasma show the thermionic electron current of the emissive Langmuir probe is higher than the collected electron current, for a probe with a bias potential below Vsp, which is inconsistent with the traditional accepted theory. To investigate these results, a parameter R is introduced as the ratio between the emitted and the collected electron current. This parameter, which is related to the difference VF - Vsp, is also useful for the description of the operation modes of the emissive Langmuir probe (weak, strong and beyond strong). The experimental results give an inconsistency of R > 1, which is solved by a modification of the theory for emissive probes, with the introduction of an effective electron population. With this new electron group, the new model for the total probe current agrees with the experimental data. The origin of this electron group remains an open question, but it might be originated by a new potential structure near the emissive probe when it operates in the strong emission regime. A simple one-dimension model composed by a minimum of potential near the probe surface is discussed for strongly emitting emissive probes. The results indicate that this complex potential structure appears for very high probe temperatures and the potential well might reduce the emitted electrons population reaching the plasma bulk. The experimental issues involved in the floating potential method are also studied, as the different obtaining techniques of VF, the signal-to-noise ratio, the signal coupling of the I-V curve measurement system or the experimental evidence of the probe operation modes. These empirical proofs concern all the probe operation aspects: the electron collection, the floating potential, the I-V curve accuracy as well as the electron emission. This last issue is also investigated in this dissertation, because a super emission takes place in the strong emission regime. In this operation mode, the experimental results indicate that the thermionic electron currents might be higher than those predicted by the classical Richardson-Dushman equation. Finally, plasma diagnosis using electric probes in the presence of dust grains (dusty plasmas) in low density cold plasmas is also addressed. The application of the floating potential technique of the emissive probe in a non-conventional complex plasma is numerically investigated, whose results point out the floating potential of the emissive probe might be shifted for high dust density or large dust particles.

Perceptions of alibi evidence as a function of the strength of incriminating *evidence

The current study investigated the exculpatory value of alibi evidence when presented together with various types of incriminating evidence. Previous research has reported that alibi evidence could weaken the effects of DNA evidence and eyewitness identification. The present study assessed the effectiveness of alibi evidence in counteracting defendant's confession (experiment 1) and eyewitness evidence (experiment 2). In experiment 1, three levels of alibi evidence (none, weak, strong) were combined with three levels of confession evidence (voluntary, elicited under low pressure, elicited under high pressure). Results indicated significant main effects of confession and alibi and an alibi by confession interaction. Of participants exposed to high-pressure confession, those in the strong alibi condition rendered lower guilt estimates than those in the no alibi condition. In experiment 2, three levels of alibi were combined with two levels of eyewitness evidence (bad view, good view). A main effect of alibi was obtained, but no interaction between alibi and eyewitness evidence. ^ An explanation of this pattern is based in part on the Story Model (Pennington & Hastie, 1992) and a novel “culpability threshold” model of juror decision-making. The Story Model suggests that jurors generate verdict stories (interpretations of events consistent with a guilty or not guilty verdict) based on trial evidence. If the evidence in favor of guilt exceeds jurors' threshold for perceiving culpability, jurors will fail to properly consider exonerating evidence. However, when the strength of incriminating evidence does not exceed the jurors' threshold, they are likely to give appropriate consideration to exculpatory evidence in their decisions. ^ Presentation of a reliable confession in Experiment 1 exceeded jurors' culpability threshold and rendered alibi largely irrelevant. In contrast, presentation of a high-pressure confession failed to exceed jurors' culpability threshold, so jurors turned to alibi evidence in their decisions. Similarly, in the second experiment, eyewitness evidence (in general) was not strong enough to surpass the culpability threshold, and thus jurors incorporated alibi evidence in their decisions. A third study is planned to further test this “culpability threshold” model, further explore various types of alibi evidence, and clarify when exculpatory evidence will sufficiently weaken the prosecution's “story.” ^

An enriched radial point interpolation method based on weak-form and strong-form

In this article, an enriched radial point interpolation method (e-RPIM) is developed for computational mechanics. The conventional radial basis function (RBF) interpolation is novelly augmented by the suitable basis functions to reflect the natural properties of deformation. The performance of the enriched meshless RBF shape functions is first investigated using the surface fitting. The surface fitting results have proven that, compared with the conventional RBF, the enriched RBF interpolation has a much better accuracy to fit a complex surface than the conventional RBF interpolation. It has proven that the enriched RBF shape function will not only possess all advantages of the conventional RBF interpolation, but also can accurately reflect the deformation properties of problems. The system of equations for two-dimensional solids is then derived based on the enriched RBF shape function and both of the meshless strong-form and weak-form. A numerical example of a bar is presented to study the effectiveness and efficiency of e-RPIM. As an important application, the newly developed e-RPIM, which is augmented by selected trigonometric basis functions, is applied to crack problems. It has been demonstrated that the present e-RPIM is very accurate and stable for fracture mechanics problems.

Strong cryptography from weak secrets

Distributed-password public-key cryptography (DPwPKC) allows the members of a group of people, each one holding a small secret password only, to help a leader to perform the private operation, associated to a public-key cryptosystem. Abdalla et al. recently defined this tool [1], with a practical construction. Unfortunately, the latter applied to the ElGamal decryption only, and relied on the DDH assumption, excluding any recent pairing-based cryptosystems. In this paper, we extend their techniques to support, and exploit, pairing-based properties: we take advantage of pairing-friendly groups to obtain efficient (simulation-sound) zero-knowledge proofs, whose security relies on the Decisional Linear assumption. As a consequence, we provide efficient protocols, secure in the standard model, for ElGamal decryption as in [1], but also for Linear decryption, as well as extraction of several identity-based cryptosystems [6,4]. Furthermore, we strenghten their security model by suppressing the useless testPwd queries in the functionality.