Hamilton-Jacobi approach for first order actions and theories with higher derivatives

In this work, we analyze systems described by Lagrangians with higher order derivatives in the context of the Hamilton-Jacobi formalism for first order actions. Two different approaches are studied here: the first one is analogous to the description of theories with higher derivatives in the hamiltonian formalism according to [D.M. Gitman, S.L. Lyakhovich, I.V. Tyutin, Soviet Phys. J. 26 (1983) 730; D.M. Gitman, I.V. Tyutin, Quantization of Fields with Constraints, Springer-Verlag, New York, Berlin, 1990] the second treats the case where degenerate coordinate are present, in an analogy to reference [D.M. Gitman, I.V. Tyutin, Nucl. Phys. B 630 (2002) 509]. Several examples are analyzed where a comparison between both approaches is made. (C) 2007 Elsevier B.V. All rights reserved.

Synthesis and characterization of mono- and bis-D-pi-A cryptand derivatives for second-order nonlinear optics and its modulation with different metal ion inputs

Two new classes of mono- and bis-D-pi-A cryptand derivatives with a flexible and a rigid cryptand core have been synthesized. The linear and nonlinear optical properties of these molecules are probed. The three dimensional cavity of the cryptand moiety has been utilized to modulate the SHG intensity to different extents in solution with metal ion inputs such as Ni-II,Cu-II,Zn-II, and Cd-II. We also report that decomplexation events can be used to reversibly modulate their NLO responses.

Higher order derivatives and norms of certain matrix functions

Tese de doutoramento, Matemática (Álgebra Lógica e Fundamentos), Universidade de Lisboa, Faculdade de Ciências, 2014

Second-order negative-curvature methods for box-constrained and general constrained optimization

A Nonlinear Programming algorithm that converges to second-order stationary points is introduced in this paper. The main tool is a second-order negative-curvature method for box-constrained minimization of a certain class of functions that do not possess continuous second derivatives. This method is used to define an Augmented Lagrangian algorithm of PHR (Powell-Hestenes-Rockafellar) type. Convergence proofs under weak constraint qualifications are given. Numerical examples showing that the new method converges to second-order stationary points in situations in which first-order methods fail are exhibited.

A directory of the physicians, dentists and druggists of Cincinnati, Covington, Newport, Dayton, Bellevue, and Ludlow : classified according to profession or business, and names arranged, first, in alphabetical order, and, second, according to street or locality ; to which is added lists of medical colleges, hospitals, with names of officers and medical staff of each ; health department, etc., and other valuable information.

Directory section is not illustrated. Illustrated ads for Presbyterian Hospital and Woman's Medical College, Eclectic Medical Institute, and Densmore Typewriter.

Second-order quantile methods for experts and combinatorial games

We aim to design strategies for sequential decision making that adjust to the difficulty of the learning problem. We study this question both in the setting of prediction with expert advice, and for more general combinatorial decision tasks. We are not satisfied with just guaranteeing minimax regret rates, but we want our algorithms to perform significantly better on easy data. Two popular ways to formalize such adaptivity are second-order regret bounds and quantile bounds. The underlying notions of 'easy data', which may be paraphrased as "the learning problem has small variance" and "multiple decisions are useful", are synergetic. But even though there are sophisticated algorithms that exploit one of the two, no existing algorithm is able to adapt to both. In this paper we outline a new method for obtaining such adaptive algorithms, based on a potential function that aggregates a range of learning rates (which are essential tuning parameters). By choosing the right prior we construct efficient algorithms and show that they reap both benefits by proving the first bounds that are both second-order and incorporate quantiles.

Unsteady compressible second-order boundary layers at the stagnation point of two-dimensional and axisymmetric bodies

The unsteady laminar compressible boundary-layer flow over two-dimensional and axisymmetric bodies at the stagnation point with mass transfer has been studied for all second-order boundary layer effects when the basic potential flow admits selfsimilarity. The solutions for the governing equations are obtained by using an implicit finite-difference scheme. Computations have been carried out for different values of the parameters characterizing the unsteadiness in the free stream velocity, wall temperature, mass transfer rate and variable gas properties. The results are found to be strongly affected by the unsteadiness in the free stream velocity. For large injection rates the second-orderboundary layer effects may prevail over the first-order boundary layer, but reverse is true for suction. The wall temperature and the variation of the density-viscosity product across the boundary layer appreciably change the skin-friction and heat-transfer rates due to second-order boundary-layer effects.

Numerical procedure for second order non-linear ordinary differential equations and application to heat transfer problem

In this paper, we have first given a numerical procedure for the solution of second order non-linear ordinary differential equations of the type y″ = f (x;y, y′) with given initial conditions. The method is based on geometrical interpretation of the equation, which suggests a simple geometrical construction of the integral curve. We then translate this geometrical method to the numerical procedure adaptable to desk calculators and digital computers. We have studied the efficacy of this method with the help of an illustrative example with known exact solution. We have also compared it with Runge-Kutta method. We have then applied this method to a physical problem, namely, the study of the temperature distribution in a semi-infinite solid homogeneous medium for temperature-dependent conductivity coefficient.

A new class of three dimensional D-pi-A trigonal cryptand derivatives for second-order nonlinear optics

Synthesis, crystal structures, linear and nonlinear optical properties of tris D-pi-A cryptand derivatives with C-3 symmetry are reported. Three fold symmetry inherent in the cryptand molecules has been utilized for designing these molecules. Molecular nonlinearities have been measured by hyper-Rayleigh scattering (HRS) experiments. Among the compounds studied, L-1 adopts non-centrosymmetric crystal structure. Compounds L-1, L-2, L-3 and L-4 show a measurable SHG powder signal. These molecules are more isotropic and have significantly higher melting points than the classical p-nitroaniline based dipolar NLO compounds, making them useful for further device applications. Besides, different acceptor groups can be attached to the cryptand molecules to modulate their NLO properties.

Aryl monosulphides and symmetrical disulphides based second order nonlinear optical chromophores with transparency in the visible

A series of aryl monosulphides and disulphides have been synthesized and characterized. Their molecular hyperpolarizability (beta) has been measured in solution with the hyper-Rayleigh Scattering technique and also calculated by semiempirical AMI method. The trend in the observed and calculated values of first hyperpolarizability of these compounds has been found to be in good agreement. These compounds show moderate P values and excellent transparency in the visible region.

Modelling and simulation of the second-order Doppler error of a laser dual-frequency interferometer

Only the first- order Doppler frequency shift is considered in current laser dual- frequency interferometers; however; the second- order Doppler frequency shift should be considered when the measurement corner cube ( MCC) moves at high velocity or variable velocity because it can cause considerable error. The influence of the second- order Doppler frequency shift on interferometer error is studied in this paper, and a model of the second- order Doppler error is put forward. Moreover, the model has been simulated with both high velocity and variable velocity motion. The simulated results show that the second- order Doppler error is proportional to the velocity of the MCC when it moves with uniform motion and the measured displacement is certain. When the MCC moves with variable motion, the second- order Doppler error concerns not only velocity but also acceleration. When muzzle velocity is zero the second- order Doppler error caused by an acceleration of 0.6g can be up to 2.5 nm in 0.4 s, which is not negligible in nanometric measurement. Moreover, when the muzzle velocity is nonzero, the accelerated motion may result in a greater error and decelerated motion may result in a smaller error.

Statistical distribution of wave-surface elevation for second-order random directional ocean waves in finite water depth

Based on the second-order random wave solutions of water wave equations in finite water depth, a statistical distribution of the wave-surface elevation is derived by using the characteristic function expansion method. It is found that the distribution, after normalization of the wave-surface elevation, depends only on two parameters. One parameter describes the small mean bias of the surface produced by the second-order wave-wave interactions. Another one is approximately proportional to the skewness of the distribution. Both of these two parameters can be determined by the water depth and the wave-number spectrum of ocean waves. As an illustrative example, we consider a fully developed wind-generated sea and the parameters are calculated for various wind speeds and water depths by using Donelan and Pierson spectrum. It is also found that, for deep water, the dimensionless distribution reduces to the third-order Gram-Charlier series obtained by Longuet-Higgins [J. Fluid Mech. 17 (1963) 459]. The newly proposed distribution is compared with the data of Bitner [Appl. Ocean Res. 2 (1980) 63], Gaussian distribution and the fourth-order Gram-Charlier series, and found our distribution gives a more reasonable fit to the data. (C) 2002 Elsevier Science B.V. All rights reserved.

Typability and Type Checking in the Second-Order Λ-Calculus Are Equivalent and Undecidable (Preliminary Draft)

We consider the problems of typability[1] and type checking[2] in the Girard/Reynolds second-order polymorphic typed λ-calculus, for which we use the short name "System F" and which we use in the "Curry style" where types are assigned to pure λ -terms. These problems have been considered and proven to be decidable or undecidable for various restrictions and extensions of System F and other related systems, and lower-bound complexity results for System F have been achieved, but they have remained "embarrassing open problems"[3] for System F itself. We first prove that type checking in System F is undecidable by a reduction from semi-unification. We then prove typability in System F is undecidable by a reduction from type checking. Since the reverse reduction is already known, this implies the two problems are equivalent. The second reduction uses a novel method of constructing λ-terms such that in all type derivations, specific bound variables must always be assigned a specific type. Using this technique, we can require that specific subterms must be typable using a specific, fixed type assignment in order for the entire term to be typable at all. Any desired type assignment may be simulated. We develop this method, which we call "constants for free", for both the λK and λI calculi.

Second-order NMR spectra at high field of common organic functional groups

The proton NMR spectra of aryl n-propyl sulfides gave rise to what may appear to be first-order proton NMR spectra. Upon oxidation to the corresponding sulfone, the spectra changed appearance dramatically and were clearly second-order. A detailed analysis of these second-order spectra, in the sulfone series, provided vicinal coupling constants which indicated that these compounds had a moderate preference for the anti-conformer, reflecting the much greater size of the sulfone over the sulfide. It also emerged, from this study, that the criterion for observing large second-order effects in the proton NMR spectra of 1,2-disubstituted ethanes was that the difference in vicinal coupling constants must be large and the difference in geminal coupling constants must be small. n-Propyl triphenylphosphonium bromide and 2-trimethylsilylethanesulfonyl chloride, and derivatives thereof, also exhibited second-order spectra, again due to the bulky substituents. Since these spectra are second-order due to magnetic nonequivalence of the nuclei in question, not chemical shifts, the proton spectra are perpetually second-order and can never be rendered first-order by using higher field NMR spectrometers.

Recording from Two Neurons: Second-Order Stimulus Reconstruction from Spike Trains and Population Coding

We study the reconstruction of visual stimuli from spike trains, representing the reconstructed stimulus by a Volterra series up to second order. We illustrate this procedure in a prominent example of spiking neurons, recording simultaneously from the two H1 neurons located in the lobula plate of the fly Chrysomya megacephala. The fly views two types of stimuli, corresponding to rotational and translational displacements. Second-order reconstructions require the manipulation of potentially very large matrices, which obstructs the use of this approach when there are many neurons. We avoid the computation and inversion of these matrices using a convenient set of basis functions to expand our variables in. This requires approximating the spike train four-point functions by combinations of two-point functions similar to relations, which would be true for gaussian stochastic processes. In our test case, this approximation does not reduce the quality of the reconstruction. The overall contribution to stimulus reconstruction of the second-order kernels, measured by the mean squared error, is only about 5% of the first-order contribution. Yet at specific stimulus-dependent instants, the addition of second-order kernels represents up to 100% improvement, but only for rotational stimuli. We present a perturbative scheme to facilitate the application of our method to weakly correlated neurons.