Oscillation Criteria for First Order Delay Differential Equations

2000 Mathematics Subject Classification: 34K15.

First-Order Conditions for Optimization Problems with Quasiconvex Inequality Constraints

2000 Mathematics Subject Classification: 90C46, 90C26, 26B25, 49J52.

Origin of scale-free intermittency in structural first-order phase transitions

16 pages, 22 figures

Multiscale Schemes for the BGK--Vlasov--Poisson System in the Quasi-Neutral and Fluid Limits. Stability Analysis and First Order Schemes

This paper deals with the development and the analysis of asymptotically stable and consistent schemes in the joint quasi-neutral and fluid limits for the collisional Vlasov-Poisson system. In these limits, the classical explicit schemes suffer from time step restrictions due to the small plasma period and Knudsen number. To solve this problem, we propose a new scheme stable for choices of time steps independent from the small scales dynamics and with comparable computational cost with respect to standard explicit schemes. In addition, this scheme reduces automatically to consistent discretizations of the underlying asymptotic systems. In this first work on this subject, we propose a first order in time scheme and we perform a relative linear stability analysis to deal with such problems. The framework we propose permits to extend this approach to high order schemes in the next future. We finally show the capability of the method in dealing with small scales through numerical experiments.

Foundational, First-Order, and Second-Order Classification Theory

Both basic and applied research on the construction, implementation, maintenance, and evaluation of classification schemes is called classification theory. If we employ Ritzer’s metatheoretical method of analysis on the over one-hundred year-old body of literature, we can see categories of theory emerge. This paper looks at one particular part of knowledge organization work, namely classification theory, and asks 1) what are the contours of this intellectual space, and, 2) what have we produced in the theoretical reflection on con- structing, implementing, and evaluating classification schemes? The preliminary findings from this work are that classification theory can be separated into three kinds: foundational classification theory, first-order classification theory, and second-order classification theory, each with its own concerns and objects of study.

A pointwise constrained version of the Liapunov convexity theorem for vectorial linear first-order control systems

We generalize the Liapunov convexity theorem's version for vectorial control systems driven by linear ODEs of first-order p = 1 , in any dimension d ∈ N , by including a pointwise state-constraint. More precisely, given a x ‾ ( ⋅ ) ∈ W p , 1 ( [ a , b ] , R d ) solving the convexified p-th order differential inclusion L p x ‾ ( t ) ∈ co { u 0 ( t ) , u 1 ( t ) , … , u m ( t ) } a.e., consider the general problem consisting in finding bang-bang solutions (i.e. L p x ˆ ( t ) ∈ { u 0 ( t ) , u 1 ( t ) , … , u m ( t ) } a.e.) under the same boundary-data, x ˆ ( k ) ( a ) = x ‾ ( k ) ( a ) & x ˆ ( k ) ( b ) = x ‾ ( k ) ( b ) ( k = 0 , 1 , … , p − 1 ); but restricted, moreover, by a pointwise state constraint of the type 〈 x ˆ ( t ) , ω 〉 ≤ 〈 x ‾ ( t ) , ω 〉 ∀ t ∈ [ a , b ] (e.g. ω = ( 1 , 0 , … , 0 ) yielding x ˆ 1 ( t ) ≤ x ‾ 1 ( t ) ). Previous results in the scalar d = 1 case were the pioneering Amar & Cellina paper (dealing with L p x ( ⋅ ) = x ′ ( ⋅ ) ), followed by Cerf & Mariconda results, who solved the general case of linear differential operators L p of order p ≥ 2 with C 0 ( [ a , b ] ) -coefficients. This paper is dedicated to: focus on the missing case p = 1 , i.e. using L p x ( ⋅ ) = x ′ ( ⋅ ) + A ( ⋅ ) x ( ⋅ ) ; generalize the dimension of x ( ⋅ ) , from the scalar case d = 1 to the vectorial d ∈ N case; weaken the coefficients, from continuous to integrable, so that A ( ⋅ ) now becomes a d × d -integrable matrix; and allow the directional vector ω to become a moving AC function ω ( ⋅ ) . Previous vectorial results had constant ω, no matrix (i.e. A ( ⋅ ) ≡ 0 ) and considered: constant control-vertices (Amar & Mariconda) and, more recently, integrable control-vertices (ourselves).

On linear order and computation : The expressiveness of interactive computations on linear orders and computations indexed by ordinals

We solve the Dynamic Ehrenfeucht-Fra\"iss\'e Game on linear orders for both players, yielding a normal form for quantifier-rank equivalence classes of linear orders in first-order logic, infinitary logic, and generalized-infinitary logics with linearly ordered clocks. We show that Scott Sentences can be manipulated quickly, classified into local information, and consistency can be decided effectively in the length of the Scott Sentence. We describe a finite set of linked automata moving continuously on a linear order. Running them on ordinals, we compute the ordinal truth predicate and compute truth in the constructible universe of set-theory. Among the corollaries are a study of semi-models as efficient database of both model-theoretic and formulaic information, and a new proof of the atomicity of the Boolean algebra of sentences consistent with the theory of linear order -- i.e., that the finitely axiomatized theories of linear order are dense.

Direct measurements of growing amorphous order and non-monotonic dynamic correlations in a colloidal glass-former

The transformation of flowing liquids into rigid glasses is thought to involve increasingly cooperative relaxation dynamics as the temperature approaches that of the glass transition. However, the precise nature of this motion is unclear, and a complete understanding of vitrification thus remains elusive. Of the numerous theoretical perspectives(1-4) devised to explain the process, random first-order theory (RFOT; refs 2,5) is a well-developed thermodynamic approach, which predicts a change in the shape of relaxing regions as the temperature is lowered. However, the existence of an underlying `ideal' glass transition predicted by RFOT remains debatable, largely because the key microscopic predictions concerning the growth of amorphous order and the nature of dynamic correlations lack experimental verification. Here, using holographic optical tweezers, we freeze a wall of particles in a two-dimensional colloidal glass-forming liquid and provide direct evidence for growing amorphous order in the form of a static point-to-set length. We uncover the non-monotonic dependence of dynamic correlations on area fraction and show that this non-monotonicity follows directly from the change in morphology and internal structure of cooperatively rearranging regions(6,7). Our findings support RFOT and thereby constitute a crucial step in distinguishing between competing theories of glass formation.

Mode coupling between first- and second-order whispering-gallery modes in coupled microdisks

The mode characteristics for two coupled microdisks are investigated by the finite-difference time-domain technique. In the two coupled micodisks, mode coupling between the same order whispering-gallery modes (WGMs) results in coupled WGMs with split mode wavelengths. The numerical results show that the split mode wavelengths of the coupled first- and second-order WGMs can have a crossing point in some cases, which can induce anticrossing mode coupling between them and greatly reduce the mode Q factor of the coupled first-order WGMs. The time variation of mode field pattern shows the transformation between the coupled first- and second-order WGMs. (C) 2007 Optical Society of America

First and second order Raman scattering spectroscopy of nonpolar a-plane GaN

Nonpolar a-plane [(1120)] GaN samples have been grown on r-plane [(1102)] sapphire substrates by low-pressure metal-organic chemical-vapor deposition. The room-temperature first and second order Raman scattering spectra of nonpolar a-plane GaN have been measured in surface and edge backscattering geometries. All of the phonon modes that the selection rules allow have been observed in the first order Raman spectra. The frequencies and linewidths of the active modes have been analyzed. The second order phonon modes are composed of acoustic overtones, acoustic-optical and optical-optical combination bands, and optical overtones. The corresponding assignments of second order phonon modes have been made. (c) 2007 American Institute of Physics.

First- and second-order phase transitions in the adlayer of biadipate on Au(111)

The adsorption of biadipate on Au(111) was studied by cyclic voltammetry and chronocoulometry. The biadipate adlayer undergoes a potential-driven phase transition. It is shown that the phase transition can be either of the first- or second-order depending on the biadipate concentration. At low surfactant concentrations, the first-order transition is characterised by a discontinuity in the charge density-potential curve and by the presence of very sharp peaks in the voltammetric response. At higher concentrations, these peaks are no longer observed but a discontinuity in the capacity curve is still noticeable, in agreement with a second-order transition. © the Owner Societies.

Enhancement Factor for Gas Absorption in a Finite Liquid Layer. Part 2: First- and Second-Order Reactions in a Liquid in Plug Flow

Gas absorption accompanied by an irreversible chemical reaction of first-order or second-order in a liquid layer of finite thickness in plug flow has been investigated. The analytical solution to the enhancement factor has been derived for the case of a first-order reaction, and the exact solution to the enhancement factor has been obtained via numerical simulation for the case of a second-order reaction. The enhancement factor in both cases is presented as a function of the Fourier number and tends to deviate from the prediction of the existing enhancement factor expressions based on the penetration theory at Fourier numbers above 0.1 due to the absence of a well-mixed bulk region in the liquid layer. Approximate enhancement factor expressions that describe the analytical and exact solutions with an accuracy of 5?% and 9?%, respectively, have been proposed.

Generalized duality between local vector theories in D=2+1

The existence of an interpolating master action does not guarantee the same spectrum for the interpolated dual theories. In the specific case of a generalized self-dual (GSD) model defined as the addition of the Maxwell term to the self-dual model in D = 2 + 1, previous master actions have furnished a dual gauge theory which is either nonlocal or contains a ghost mode. Here we show that by reducing the Maxwell term to first order by means of an auxiliary field we are able to define a master action which interpolates between the GSD model and a couple of non-interacting Maxwell-Chern-Simons theories of opposite helicities. The presence of an auxiliary field explains the doubling of fields in the dual gauge theory. A generalized duality transformation is defined and both models can be interpreted as self-dual models. Furthermore, it is shown how to obtain the gauge invariant correlators of the non-interacting MCS theories from the correlators of the self-dual field in the GSD model and vice-versa. The derivation of the non-interacting MCS theories from the GSD model, as presented here, works in the opposite direction of the soldering approach.