First order linear ordinary differential equations in associative algebras
Gordon Erlebacher
2004-01-01
Full Text Available In this paper, we study the linear differential equation $$ frac{dx}{dt}=sum_{i=1}^n a_i(t x b_i(t + f(t $$ in an associative but non-commutative algebra $mathcal{A}$, where the $b_i(t$ form a set of commuting $mathcal{A}$-valued functions expressed in a time-independent spectral basis consisting of mutually annihilating idempotents and nilpotents. Explicit new closed solutions are derived, and examples are presented to illustrate the theory.
Dorodnitsyn, Vladimir A.; Kozlov, Roman; Meleshko, Sergey V.; Winternitz, Pavel
2018-05-01
A recent article was devoted to an analysis of the symmetry properties of a class of first-order delay ordinary differential systems (DODSs). Here we concentrate on linear DODSs, which have infinite-dimensional Lie point symmetry groups due to the linear superposition principle. Their symmetry algebra always contains a two-dimensional subalgebra realized by linearly connected vector fields. We identify all classes of linear first-order DODSs that have additional symmetries, not due to linearity alone, and we present representatives of each class. These additional symmetries are then used to construct exact analytical particular solutions using symmetry reduction.
Variations in the Solution of Linear First-Order Differential Equations. Classroom Notes
Seaman, Brian; Osler, Thomas J.
2004-01-01
A special project which can be given to students of ordinary differential equations is described in detail. Students create new differential equations by changing the dependent variable in the familiar linear first-order equation (dv/dx)+p(x)v=q(x) by means of a substitution v=f(y). The student then creates a table of the new equations and…
Heinz Toparkus
2014-04-01
Full Text Available In this paper we consider first-order systems with constant coefficients for two real-valued functions of two real variables. This is both a problem in itself, as well as an alternative view of the classical linear partial differential equations of second order with constant coefficients. The classification of the systems is done using elementary methods of linear algebra. Each type presents its special canonical form in the associated characteristic coordinate system. Then you can formulate initial value problems in appropriate basic areas, and you can try to achieve a solution of these problems by means of transform methods.
First-order partial differential equations
Rhee, Hyun-Ku; Amundson, Neal R
2001-01-01
This first volume of a highly regarded two-volume text is fully usable on its own. After going over some of the preliminaries, the authors discuss mathematical models that yield first-order partial differential equations; motivations, classifications, and some methods of solution; linear and semilinear equations; chromatographic equations with finite rate expressions; homogeneous and nonhomogeneous quasilinear equations; formation and propagation of shocks; conservation equations, weak solutions, and shock layers; nonlinear equations; and variational problems. Exercises appear at the end of mo
Martin, P.; Zamudio-Cristi, J.
1982-01-01
A method is described to obtain fractional approximations for linear first order differential equations with polynomial coefficients. This approximation can give good accuracy in a large region of the complex variable plane that may include all the real axis. The parameters of the approximation are solutions of algebraic equations obtained through the coefficients of the highest and lowest power of the variable after the sustitution of the fractional approximation in the differential equation. The method is more general than the asymptotical Pade method, and it is not required to determine the power series or asymptotical expansion. A simple approximation for the exponential integral is found, which give three exact digits for most of the real values of the variable. Approximations of higher accuracy and of the same degree than other authors are also obtained. (Author) [pt
Field Method for Integrating the First Order Differential Equation
JIA Li-qun; ZHENG Shi-wang; ZHANG Yao-yu
2007-01-01
An important modern method in analytical mechanics for finding the integral, which is called the field-method, is used to research the solution of a differential equation of the first order. First, by introducing an intermediate variable, a more complicated differential equation of the first order can be expressed by two simple differential equations of the first order, then the field-method in analytical mechanics is introduced for solving the two differential equations of the first order. The conclusion shows that the field-method in analytical mechanics can be fully used to find the solutions of a differential equation of the first order, thus a new method for finding the solutions of the first order is provided.
Conventional hamiltonian for first-order differential systems
Farias, J.R.
1984-01-01
Lagrangian systems corresponding to a given set of 2n first-order ordinary differential equations are singular ones. In despite this, it is shown that these systems can be put into a Hamiltonian form in the usual manner. (Author) [pt
Hopf bifurcation formula for first order differential-delay equations
Rand, Richard; Verdugo, Anael
2007-09-01
This work presents an explicit formula for determining the radius of a limit cycle which is born in a Hopf bifurcation in a class of first order constant coefficient differential-delay equations. The derivation is accomplished using Lindstedt's perturbation method.
From differential to difference equations for first order ODEs
Freed, Alan D.; Walker, Kevin P.
1991-01-01
When constructing an algorithm for the numerical integration of a differential equation, one should first convert the known ordinary differential equation (ODE) into an ordinary difference equation. Given this difference equation, one can develop an appropriate numerical algorithm. This technical note describes the derivation of two such ordinary difference equations applicable to a first order ODE. The implicit ordinary difference equation has the same asymptotic expansion as the ODE itself, whereas the explicit ordinary difference equation has an asymptotic that is similar in structure but different in value when compared with that of the ODE.
On the summability of divergent power series solutions for certain first-order linear PDEs
Masaki Hibino
2015-01-01
Full Text Available This article is concerned with the study of the Borel summability of divergent power series solutions for certain singular first-order linear partial differential equations of nilpotent type. Our main purpose is to obtain conditions which coefficients of equations should satisfy in order to ensure the Borel summability of divergent solutions. We will see that there is a close affinity between the Borel summability of divergent solutions and global analytic continuation properties for coefficients of equations.
Symmetric positive differential equations and first order hyperbolic systems
Tangmanee, S.
1981-12-01
We prove that under some conditions the first order hyperbolic system and its associated mixed initial boundary conditions considered, for example, in Kreiss (Math. Comp. 22, 703-704 (1968)) and Kreiss and Gustafsson (Math. Comp. 26, 649-686 (1972)), can be transformed into a symmetric positive system of P.D.E.'s with admissible boundary conditions of Friedrich's type (Comm. Pure Appl. Math 11, 333-418 (1958)). (author)
Domoshnitsky Alexander
2009-01-01
Full Text Available We obtain the maximum principles for the first-order neutral functional differential equation where , and are linear continuous operators, and are positive operators, is the space of continuous functions, and is the space of essentially bounded functions defined on . New tests on positivity of the Cauchy function and its derivative are proposed. Results on existence and uniqueness of solutions for various boundary value problems are obtained on the basis of the maximum principles.
Lie group classification of first-order delay ordinary differential equations
Dorodnitsyn, Vladimir A.; Kozlov, Roman; Meleshko, Sergey V.; Winternitz, Pavel
2018-05-01
A group classification of first-order delay ordinary differential equations (DODEs) accompanied by an equation for the delay parameter (delay relation) is presented. A subset of such systems (delay ordinary differential systems or DODSs), which consists of linear DODEs and solution-independent delay relations, have infinite-dimensional symmetry algebras—as do nonlinear ones that are linearizable by an invertible transformation of variables. Genuinely nonlinear DODSs have symmetry algebras of dimension n, . It is shown how exact analytical solutions of invariant DODSs can be obtained using symmetry reduction.
Li Tatsien
1994-01-01
By means of the concept of the weak linear degeneracy, one gets the global existence and the sharp estimate of the lifespan of C 1 solutions to the Cauchy problem for general first order quasilinear hyperbolic systems with small initial data with compact support. (author). 23 refs, 1 fig
Dimitrova, M. B.; Donev, V. I.
2008-01-01
This paper is dealing with the oscillatory properties of first order neutral delay impulsive differential equations and corresponding to them inequalities with constant coefficients. The established sufficient conditions ensure the oscillation of every solution of this type of equations.
A NEW OSCILLATION CRITERION FOR FIRST ORDER NEUTRAL DELAY DIFFERENTIAL EQUATION
无
2006-01-01
In this paper, a new sufficient condition for the oscillation of all solutions of first order neutral delay differential equations is obtained. Secondly, the result can also be extended to a general neutral differential equation, and many known results in the literatures are improved.
C. Parthasarathy
2013-03-01
Full Text Available In this paper, we study the controllability results of first order impulsive stochastic differential and neutral differential systems with state-dependent delay by using semigroup theory. The controllability results are derived by the means of Leray-SchauderAlternative fixed point theorem. An example is provided to illustrate the theory.
Avellar, J.; Claudino, A. L. G. C.; Duarte, L. G. S.; da Mota, L. A. C. P.
2015-10-01
For the Darbouxian methods we are studying here, in order to solve first order rational ordinary differential equations (1ODEs), the most costly (computationally) step is the finding of the needed Darboux polynomials. This can be so grave that it can render the whole approach unpractical. Hereby we introduce a simple heuristics to speed up this process for a class of 1ODEs.
Oscillation Criteria of First Order Neutral Delay Differential Equations with Variable Coefficients
Fatima N. Ahmed
2013-01-01
Full Text Available Some new oscillation criteria are given for first order neutral delay differential equations with variable coefficients. Our results generalize and extend some of the well-known results in the literature. Some examples are considered to illustrate the main results.
On integration of the first order differential equations in a finite terms
Malykh, M D
2017-01-01
There are several approaches to the description of the concept called briefly as integration of the first order differential equations in a finite terms or symbolical integration. In the report three of them are considered: 1.) finding of a rational integral (Beaune or Poincaré problem), 2.) integration by quadratures and 3.) integration when the general solution of given differential equation is an algebraical function of a constant (Painlevé problem). Their realizations in Sage are presented. (paper)
Linear reversible second-order cellular automata and their first-order matrix equivalents
Macfarlane, A. J.
2004-11-01
Linear or one-dimensional reversible second-order cellular automata, exemplified by three cases named as RCA1-3, are introduced. Displays of their evolution in discrete time steps, &{\\in}Z_2;) as for RCA1-3. MCA1-3 are tractable because it has been possible to generalize to them the heavy duty methods already well-developed for ordinary first-order cellular automata like those of Wolfram's Rules 90 and 150. While the automata MCA1-3 are thought to be of genuine interest in their own right, with untapped further mathematical potential, their treatment has been applied here to expediting derivation of a large body of general and explicit results for N(t) for RCA1-3. Amongst explicit results obtained are formulas also for each of RCA1-3 for the total weight of the configurations of the first &2^M; times, M =0, 1, 2,\\ldots.
First-order system least squares for the pure traction problem in planar linear elasticity
Cai, Z.; Manteuffel, T.; McCormick, S.; Parter, S.
1996-12-31
This talk will develop two first-order system least squares (FOSLS) approaches for the solution of the pure traction problem in planar linear elasticity. Both are two-stage algorithms that first solve for the gradients of displacement, then for the displacement itself. One approach, which uses L{sup 2} norms to define the FOSLS functional, is shown under certain H{sup 2} regularity assumptions to admit optimal H{sup 1}-like performance for standard finite element discretization and standard multigrid solution methods that is uniform in the Poisson ratio for all variables. The second approach, which is based on H{sup -1} norms, is shown under general assumptions to admit optimal uniform performance for displacement flux in an L{sup 2} norm and for displacement in an H{sup 1} norm. These methods do not degrade as other methods generally do when the material properties approach the incompressible limit.
Linear reversible second-order cellular automata and their first-order matrix equivalents
Macfarlane, A J
2004-01-01
Linear or one-dimensional reversible second-order cellular automata, exemplified by three cases named as RCA1-3, are introduced. Displays of their evolution in discrete time steps, t=0, 1, 2, ..., from their simplest initial states and on the basis of updating rules in modulo 2 arithmetic, are presented. In these, shaded and unshaded squares denote cells whose cell variables are equal to one and zero respectively. This paper is devoted to finding general formulas for, and explicit numerical evaluations of, the weights N(t) of the states or configurations of RCA1-3, i.e. the total number of shaded cells in tth line of their displays. This is achieved by means of the replacement of RCA1-3 by the equivalent linear first-order matrix automata MCA1-3, for which the cell variables are 2x2 matrices, instead of just numbers (element of Z 2 ) as for RCA1-3. MCA1-3 are tractable because it has been possible to generalize to them the heavy duty methods already well-developed for ordinary first-order cellular automata like those of Wolfram's Rules 90 and 150. While the automata MCA1-3 are thought to be of genuine interest in their own right, with untapped further mathematical potential, their treatment has been applied here to expediting derivation of a large body of general and explicit results for N(t) for RCA1-3. Amongst explicit results obtained are formulas also for each of RCA1-3 for the total weight of the configurations of the first 2 M times, M=0, 1, 2, ..
Initial-value problems for first-order differential recurrence equations with auto-convolution
Mircea Cirnu
2011-01-01
Full Text Available A differential recurrence equation consists of a sequence of differential equations, from which must be determined by recurrence a sequence of unknown functions. In this article, we solve two initial-value problems for some new types of nonlinear (quadratic first order homogeneous differential recurrence equations, namely with discrete auto-convolution and with combinatorial auto-convolution of the unknown functions. In both problems, all initial values form a geometric progression, but in the second problem the first initial value is exempted and has a prescribed form. Some preliminary results showing the importance of the initial conditions are obtained by reducing the differential recurrence equations to algebraic type. Final results about solving the considered initial value problems, are shown by mathematical induction. However, they can also be shown by changing the unknown functions, or by the generating function method. So in a remark, we give a proof of the first theorem by the generating function method.
Avellar, J.; Duarte, L. G. S.; da Mota, L. A. C. P.
2012-10-01
We present a set of software routines in Maple 14 for solving first order ordinary differential equations (FOODEs). The package implements the Prelle-Singer method in its original form together with its extension to include integrating factors in terms of elementary functions. The package also presents a theoretical extension to deal with all FOODEs presenting Liouvillian solutions. Applications to ODEs taken from standard references show that it solves ODEs which remain unsolved using Maple's standard ODE solution routines. New version program summary Program title: PSsolver Catalogue identifier: ADPR_v2_0 Program summary URL: http://cpc.cs.qub.ac.uk/summaries/ADPR_v2_0.html Program obtainable from: CPC Program Library, Queen's University, Belfast, N. Ireland Licensing provisions: Standard CPC licence, http://cpc.cs.qub.ac.uk/licence/licence.html No. of lines in distributed program, including test data, etc.: 2302 No. of bytes in distributed program, including test data, etc.: 31962 Distribution format: tar.gz Programming language: Maple 14 (also tested using Maple 15 and 16). Computer: Intel Pentium Processor P6000, 1.86 GHz. Operating system: Windows 7. RAM: 4 GB DDR3 Memory Classification: 4.3. Catalogue identifier of previous version: ADPR_v1_0 Journal reference of previous version: Comput. Phys. Comm. 144 (2002) 46 Does the new version supersede the previous version?: Yes Nature of problem: Symbolic solution of first order differential equations via the Prelle-Singer method. Solution method: The method of solution is based on the standard Prelle-Singer method, with extensions for the cases when the FOODE contains elementary functions. Additionally, an extension of our own which solves FOODEs with Liouvillian solutions is included. Reasons for new version: The program was not running anymore due to changes in the latest versions of Maple. Additionally, we corrected/changed some bugs/details that were hampering the smoother functioning of the routines. Summary
Periodic solutions of first-order functional differential equations in population dynamics
Padhi, Seshadev; Srinivasu, P D N
2014-01-01
This book provides cutting-edge results on the existence of multiple positive periodic solutions of first-order functional differential equations. It demonstrates how the Leggett-Williams fixed-point theorem can be applied to study the existence of two or three positive periodic solutions of functional differential equations with real-world applications, particularly with regard to the Lasota-Wazewska model, the Hematopoiesis model, the Nicholsons Blowflies model, and some models with Allee effects. Many interesting sufficient conditions are given for the dynamics that include nonlinear characteristics exhibited by population models. The last chapter provides results related to the global appeal of solutions to the models considered in the earlier chapters. The techniques used in this book can be easily understood by anyone with a basic knowledge of analysis. This book offers a valuable reference guide for students and researchers in the field of differential equations with applications to biology, ecology, a...
Constructive Solution of Ellipticity Problem for the First Order Differential System
Vladimir E. Balabaev
2017-01-01
Full Text Available We built first order elliptic systems with any possible number of unknown functions and the maximum possible number of unknowns, i.e, in general. These systems provide the basis for studying the properties of any first order elliptic systems. The study of the Cauchy-Riemann system and its generalizations led to the identification of a class of elliptic systems of first-order of a special structure. An integral representation of solutions is of great importance in the study of these systems. Only by means of a constructive method of integral representations we can solve a number of problems in the theory of elliptic systems related mainly to the boundary properties of solutions. The obtained integral representation could be applied to solve a number of problems that are hard to solve, if you rely only on the non-constructive methods. Some analogues of the theorems of Liouville, Weierstrass, Cauchy, Gauss, Morera, an analogue of Green’s formula are established, as well as an analogue of the maximum principle. The used matrix operators allow the new structural arrangement of the maximum number of linearly independent vector fields on spheres of any possible dimension. Also the built operators allow to obtain a constructive solution of the extended problem ”of the sum of squares” known in algebra.
Estimation of periodic solutions number of first-order differential equations
Ivanov, Gennady; Alferov, Gennady; Gorovenko, Polina; Sharlay, Artem
2018-05-01
The paper deals with first-order differential equations under the assumption that the right-hand side is a periodic function of time and continuous in the set of arguments. Pliss V.A. obtained the first results for a particular class of equations and showed that a number of theorems can not be continued. In this paper, it was possible to reduce the restrictions on the degree of smoothness of the right-hand side of the equation and obtain upper and lower bounds on the number of possible periodic solutions.
Abbas Badakaya Ja'afaru
2012-01-01
Full Text Available We study pursuit and evasion differential game problems described by infinite number of first-order differential equations with function coefficients in Hilbert space l2. Problems involving integral, geometric, and mix constraints to the control functions of the players are considered. In each case, we give sufficient conditions for completion of pursuit and for which evasion is possible. Consequently, strategy of the pursuer and control function of the evader are constructed in an explicit form for every problem considered.
Partial differential equations of first order and their applications to physics
López, Gustavo
2012-01-01
This book tries to point out the mathematical importance of the Partial Differential Equations of First Order (PDEFO) in Physics and Applied Sciences. The intention is to provide mathematicians with a wide view of the applications of this branch in physics, and to give physicists and applied scientists a powerful tool for solving some problems appearing in Classical Mechanics, Quantum Mechanics, Optics, and General Relativity. This book is intended for senior or first year graduate students in mathematics, physics, or engineering curricula. This book is unique in the sense that it covers the applications of PDEFO in several branches of applied mathematics, and fills the theoretical gap between the formal mathematical presentation of the theory and the pure applied tool to physical problems that are contained in other books. Improvements made in this second edition include corrected typographical errors; rewritten text to improve the flow and enrich the material; added exercises in all chapters; new applicati...
Analysis of a first-order delay differential-delay equation containing two delays
Marriott, C.; Vallée, R.; Delisle, C.
1989-09-01
An experimental and numerical analysis of the behavior of a two-delay differential equation is presented. It is shown that much of the system's behavior can be related to the stability behavior of the underlying linearized modes. A new phenomenon, mode crossing, is explored.
Computation of rational solutions for a first-order nonlinear differential equation
Djilali Behloul
2011-09-01
Full Text Available In this article, we study differential equations of the form $y'=sum A_i(xy^i/sum B_i(xy^i$ which can be elliptic, hyperbolic, parabolic, Riccati, or quasi-linear. We show how rational solutions can be computed in a systematic manner. Such results are most likely to find applications in the theory of limit cycles as indicated by Gine et al [4].
Healy, John J.
2018-01-01
The linear canonical transforms (LCTs) are a parameterised group of linear integral transforms. The LCTs encompass a number of well-known transformations as special cases, including the Fourier transform, fractional Fourier transform, and the Fresnel integral. They relate the scalar wave fields at the input and output of systems composed of thin lenses and free space, along with other quadratic phase systems. In this paper, we perform a systematic search of all algorithms based on up to five stages of magnification, chirp multiplication and Fourier transforms. Based on that search, we propose a novel algorithm, for which we present numerical results. We compare the sampling requirements of three algorithms. Finally, we discuss some issues surrounding the composition of discrete LCTs.
Clarisse, J.M.
2007-01-01
A numerical scheme for computing linear Lagrangian perturbations of spherically symmetric flows of gas dynamics is proposed. This explicit first-order scheme uses the Roe method in Lagrangian coordinates, for computing the radial spherically symmetric mean flow, and its linearized version, for treating the three-dimensional linear perturbations. Fulfillment of the geometric conservation law discrete formulations for both the mean flow and its perturbation is ensured. This scheme capabilities are illustrated by the computation of free-surface mode evolutions at the boundaries of a spherical hollow shell undergoing an homogeneous cumulative compression, showing excellent agreement with reference results. (author)
Solutions of First-Order Volterra Type Linear Integrodifferential Equations by Collocation Method
Olumuyiwa A. Agbolade
2017-01-01
Full Text Available The numerical solutions of linear integrodifferential equations of Volterra type have been considered. Power series is used as the basis polynomial to approximate the solution of the problem. Furthermore, standard and Chebyshev-Gauss-Lobatto collocation points were, respectively, chosen to collocate the approximate solution. Numerical experiments are performed on some sample problems already solved by homotopy analysis method and finite difference methods. Comparison of the absolute error is obtained from the present method and those from aforementioned methods. It is also observed that the absolute errors obtained are very low establishing convergence and computational efficiency.
Tran Duc Van
1994-01-01
The notion of global quasi-classical solutions of the Cauchy problems for first-order nonlinear partial differential equations is presented, some uniqueness theorems and a stability result are established by the method based on the theory of differential inclusions. In particular, the answer to an open problem of S.N. Kruzhkov is given. (author). 10 refs, 1 fig
Jensen, Jørgen Juncher
2007-01-01
In on-board decision support systems efficient procedures are needed for real-time estimation of the maximum ship responses to be expected within the next few hours, given on-line information on the sea state and user defined ranges of possible headings and speeds. For linear responses standard...... frequency domain methods can be applied. To non-linear responses like the roll motion, standard methods like direct time domain simulations are not feasible due to the required computational time. However, the statistical distribution of non-linear ship responses can be estimated very accurately using...... the first-order reliability method (FORM), well-known from structural reliability problems. To illustrate the proposed procedure, the roll motion is modelled by a simplified non-linear procedure taking into account non-linear hydrodynamic damping, time-varying restoring and wave excitation moments...
Akira Shirai
2015-01-01
Full Text Available In this paper, we study the following nonlinear first order partial differential equation: \\[f(t,x,u,\\partial_t u,\\partial_x u=0\\quad\\text{with}\\quad u(0,x\\equiv 0.\\] The purpose of this paper is to determine the estimate of Gevrey order under the condition that the equation is singular of a totally characteristic type. The Gevrey order is indicated by the rate of divergence of a formal power series. This paper is a continuation of the previous papers [Convergence of formal solutions of singular first order nonlinear partial differential equations of totally characteristic type, Funkcial. Ekvac. 45 (2002, 187-208] and [Maillet type theorem for singular first order nonlinear partial differential equations of totally characteristic type, Surikaiseki Kenkyujo Kokyuroku, Kyoto University 1431 (2005, 94-106]. Especially the last-mentioned paper is regarded as part I of this paper.
Salvador Lucas
2015-12-01
Full Text Available Recent developments in termination analysis for declarative programs emphasize the use of appropriate models for the logical theory representing the program at stake as a generic approach to prove termination of declarative programs. In this setting, Order-Sorted First-Order Logic provides a powerful framework to represent declarative programs. It also provides a target logic to obtain models for other logics via transformations. We investigate the automatic generation of numerical models for order-sorted first-order logics and its use in program analysis, in particular in termination analysis of declarative programs. We use convex domains to give domains to the different sorts of an order-sorted signature; we interpret the ranked symbols of sorted signatures by means of appropriately adapted convex matrix interpretations. Such numerical interpretations permit the use of existing algorithms and tools from linear algebra and arithmetic constraint solving to synthesize the models.
Singhatanadgid, Pairod; Jommalai, Panupan [Chulalongkorn University, Bangkok (Thailand)
2016-05-15
The extended Kantorovich method using multi-term displacement functions is applied to the buckling problem of laminated plates with various boundary conditions. The out-of-plane displacement of the buckled plate is written as a series of products of functions of parameter x and functions of parameter y. With known functions in parameter x or parameter y, a set of governing equations and a set of boundary conditions are obtained after applying the variational principle to the total potential energy of the system. The higher order differential equations are then transformed into a set of first-order differential equations and solved for the buckling load and mode. Since the governing equations are first-order differential equations, solutions can be obtained analytically with the out-of-plane displacement written in the form of an exponential function. The solutions from the proposed technique are verified with solutions from the literature and FEM solutions. The bucking loads correspond very well to other available solutions in most of the comparisons. The buckling modes also compare very well with the finite element solutions. The proposed solution technique transforms higher-order differential equations to first-order differential equations, and they are analytically solved for out-of-plane displacement in the form of an exponential function. Therefore, the proposed solution technique yields a solution which can be considered as an analytical solution.
Sidell, J.
1976-08-01
EXTRA is a program written for the Winfrith KDF9 enabling the user to solve first order initial value differential equations. In this report general numerical integration methods are discussed with emphasis on their application to the solution of stiff sets of equations. A method of particular applicability to stiff sets of equations is described. This method is incorporated in the program EXTRA and full instructions for its use are given. A comparison with other methods of computation is included. (author)
Trooshin, Igor; Yamamoto, Masahiro
2003-04-01
We consider an eigenvalue problem for a nonsymmetric first order differential operator Au( x ; ) = ( {matrix { 0 & 1 ŗ1 & 0 ŗ} } ; ){{du} / {dx}}( x ; ) + Q( x ; )u( x ; ), 0 < x < 1 , where Q is a 2 × 2 matrix whose components are of C1 class on [0, 1]. Assuming that Q(x) is known in the half interval of (0, 1), we prove the uniqueness in an inverse eigenvalue problem of determining Q(x) from the spectra.
Improved iterative oscillation tests for first-order deviating differential equations
George E. Chatzarakis
2018-01-01
Full Text Available In this paper, improved oscillation conditions are established for the oscillation of all solutions of differential equations with non-monotone deviating arguments and nonnegative coefficients. They lead to a procedure that checks for oscillations by iteratively computing \\(\\lim \\sup\\ and \\(\\lim \\inf\\ on terms recursively defined on the equation's coefficients and deviating argument. This procedure significantly improves all known oscillation criteria. The results and the improvement achieved over the other known conditions are illustrated by two examples, numerically solved in MATLAB.
Sumner, H.M.
1965-11-01
FIFI 3 is a FORTRAN Code embodying a technique for the analysis of process plant dynamics. As such, it is essentially a tool for the integration of sets of first order ordinary differential equations, either linear or non-linear; special provision is made for the inclusion of time-delayed variables in the mathematical model of the plant. The method of integration is new and is centred on a stable multistep predictor-corrector algorithm devised by the late Mr. F.G. Chapman, of the UKAEA, Winfrith. The theory on which the Code is based and detailed rules for using it are described in Parts I and II respectively. (author)
Noise-induced transitions at a Hopf bifurcation in a first-order delay-differential equation
Longtin, A.
1991-01-01
The influence of colored noise on the Hopf bifurcation in a first-order delay-differential equation (DDE), a model paradigm for nonlinear delayed feedback systems, is considered. First, it is shown, using a stability analysis, how the properties of the DDE depend on the ratio R of system delay to response time. When this ratio is small, the DDE behaves more like a low-dimensional system of ordinary differential equations (ODE's); when R is large, one obtains a singular perturbation limit in which the behavior of the DDE approaches that of a discrete time map. The relative magnitude of the additive and multiplicative noise-induced postponements of the Hopf bifurcation are numerically shown to depend on the ratio R. Although both types of postponements are minute in the large-R limit, they are almost equal due to an equivalence of additive and parametric noise for discrete time maps. When R is small, the multiplicative shift is larger than the additive one at large correlation times, but the shifts are equal for small correlation times. In fact, at constant noise power, the postponement is only slightly affected by the correlation time of the noise, except when the noise becomes white, in which case the postponement drastically decreases. This is a numerical study of the stochastic Hopf bifurcation, in ODE's or DDE's, that looks at the effect of noise correlation time at constant power. Further, it is found that the slope at the fixed point averaged over the stochastic-parameter motion acts, under certain conditions, as a quantitative indicator of oscillation onset in the presence of noise. The problem of how properties of the DDE carry over to ODE's and to maps is discussed, along with the proper theoretical framework in which to study nonequilibrium phase transitions in this class of functional differential equations
Dang Xuanju; Tan Yonghong
2005-01-01
A new neural networks dynamic hysteresis model for piezoceramic actuator is proposed by combining the Preisach model with diagonal recurrent neural networks. The Preisach model is based on elementary rate-independent operators and is not suitable for modeling piezoceramic actuator across a wide frequency band because of the rate-dependent hysteresis characteristic of the piezoceramic actuator. The structure of the developed model is based on the structure of the Preisach model, in which the rate-independent relay hysteresis operators (cells) are replaced by the rate-dependent hysteresis operators of first-order differential equation. The diagonal recurrent neural networks being modified by an adjustable factor can be used to model the hysteresis behavior of the pizeoceramic actuator because its structure is similar to the structure of the modified Preisach model. Therefore, the proposed model not only possesses that of the Preisach model, but also can be used for describing its dynamic hysteresis behavior. Through the experimental results of both the approximation and the prediction, the effectiveness of the neural networks dynamic hysteresis model for the piezoceramic actuator is demonstrated
Galindo-Israel, V.; Imbriale, W.; Shogen, K.; Mittra, R.
1990-01-01
In obtaining solutions to the first-order nonlinear partial differential equations (PDEs) for synthesizing offset dual-shaped reflectors, it is found that previously observed computational problems can be avoided if the integration of the PDEs is started from an inner projected perimeter and integrated outward rather than starting from an outer projected perimeter and integrating inward. This procedure, however, introduces a new parameter, the main reflector inner perimeter radius p(o), when given a subreflector inner angle 0(o). Furthermore, a desired outer projected perimeter (e.g., a circle) is no longer guaranteed. Stability of the integration is maintained if some of the initial parameters are determined first from an approximate solution to the PDEs. A one-, two-, or three-parameter optimization algorithm can then be used to obtain a best set of parameters yielding a close fit to the desired projected outer rim. Good low cross-polarization mapping functions are also obtained. These methods are illustrated by synthesis of a high-gain offset-shaped Cassegrainian antenna and a low-noise offset-shaped Gregorian antenna.
Galceran, J.; Monné, J.; Puy, J.; Leeuwen, van H.P.
2004-01-01
The uptake of a chemical species (such as an organic molecule or a toxic metal ion) by an organism is modelled considering linear pre-adsorption followed by a first-order internalisation. The active biosurface is supposed to be spherical or semi-spherical and the mass transport in the medium is
Solving Linear Differential Equations
Nguyen, K.A.; Put, M. van der
2010-01-01
The theme of this paper is to 'solve' an absolutely irreducible differential module explicitly in terms of modules of lower dimension and finite extensions of the differential field K. Representations of semi-simple Lie algebras and differential Galo is theory are the main tools. The results extend
Kolb, E.W.
1991-01-01
In the original proposal, inflation occurred in the process of a strongly first-order phase transition. This model was soon demonstrated to be fatally flawed. Subsequent models for inflation involved phase transitions that were second-order, or perhaps weakly first-order; some even involved no phase transition at all. Recently the possibility of inflation during a strongly first-order phase transition has been reviewed. In this talk I will discuss some models for first-order inflation, and emphasize unique signatures that result if inflation is realized in a first-order transition. Before discussing first-order inflation, I will briefly review some of the history of inflation to demonstrate how first-order inflation differs from other models. (orig.)
Kolb, E.W.; Chicago Univ., IL
1990-09-01
In the original proposal, inflation occurred in the process of a strongly first-order phase transition. This model was soon demonstrated to be fatally flawed. Subsequent models for inflation involved phase transitions that were second-order, or perhaps weakly first-order; some even involved no phase transition at all. Recently the possibility of inflation during a strongly first-order phase transition has been revived. In this talk I will discuss some models for first-order inflation, and emphasize unique signatures that result in inflation is realized in a first-order transition. Before discussing first-order inflation, I will briefly review some of the history of inflation to demonstrate how first-order inflation differs from other models. 58 refs., 3 figs
Yanping Yang
2016-01-01
Full Text Available The construction of exponentially fitted two-derivative Runge-Kutta (EFTDRK methods for the numerical solution of first-order differential equations is investigated. The revised EFTDRK methods proposed, with equation-dependent coefficients, take into consideration the errors produced in the internal stages to the update. The local truncation errors and stability of the new methods are analyzed. The numerical results are reported to show the accuracy of the new methods.
V.M. Fedorchuk
2008-11-01
Full Text Available It is established which functional bases of the first-order differential invariants of the splitting and non-splitting subgroups of the Poincaré group $P(1,4$ are invariant under the subgroups of the extended Galilei group $widetilde G(1,3 subset P(1,4$. The obtained sets of functional bases are classified according to dimensions.
Hopkinson, A.
1969-05-01
The techniques normally used for linearisation of equations are not amenable to general treatment by digital computation. This report describes a computer program for linearising sets of equations by numerical evaluations of partial derivatives. The program is written so that the specification of the non-linear equations is the same as for the digital simulation program, FIFI, and the linearised equations can be punched out in form suitable for input to the frequency response program FRP2 and the poles and zeros program ZIP. Full instructions for the use of the program are given and a sample problem input and output are shown. (author)
Burgess, D E; Hundley, J C; Li, S G; Randall, D C; Brown, D R
1997-12-01
We have described a 0.4-Hz rhythm in renal sympathetic nerve activity (SNA) that is tightly coupled to 0.4-Hz oscillations in blood pressure in the unanesthetized rat. In previous work, the relationship between SNA and fluctuations in mean arterial blood pressure (MAP) was described by a set of two first-order differential equations. We have now modified our earlier model to test the feasibility that the 0.4-Hz rhythm can be explained by the baroreflex without requiring a neural oscillator. In this baroreflex model, a linear feedback term replaces the sympathetic drive to the cardiovascular system. The time delay in the feedback loop is set equal to the time delay on the efferent side, approximately 0.5 s (as determined in the initial model), plus a time delay of 0.2 s on the afferent side for a total time delay of approximately 0.7 s. A stability analysis of this new model yields feedback resonant frequencies close to 0.4 Hz. Because of the time delay in the feedback loop, the proportional gain may not exceed a value on the order of 10 to maintain stability. The addition of a derivative feedback term increases the system's stability for a positive range of derivative gains. We conclude that the known physiological time delay for the sympathetic portion of the baroreflex can account for the observed 0.4-Hz rhythm in rat MAP and that the sensitivity of the baroreceptors to the rate of change in blood pressure, as well as average blood pressure, would enhance the natural stability of the baroreflex.
Basic linear partial differential equations
Treves, Francois
1975-01-01
Focusing on the archetypes of linear partial differential equations, this text for upper-level undergraduates and graduate students features most of the basic classical results. The methods, however, are decidedly nontraditional: in practically every instance, they tend toward a high level of abstraction. This approach recalls classical material to contemporary analysts in a language they can understand, as well as exploiting the field's wealth of examples as an introduction to modern theories.The four-part treatment covers the basic examples of linear partial differential equations and their
Periodic linear differential stochastic processes
Kwakernaak, H.
1975-01-01
Periodic linear differential processes are defined and their properties are analyzed. Equivalent representations are discussed, and the solutions of related optimal estimation problems are given. An extension is presented of Kailath and Geesey’s [1] results concerning the innovations representation
Nahay, John Michael
2008-01-01
We present a new approach to solving polynomial ordinary differential equations by transforming them to linear functional equations and then solving the linear functional equations. We will focus most of our attention upon the first-order Abel differential equation with two nonlinear terms in order to demonstrate in as much detail as possible the computations necessary for a complete solution. We mention in our section on further developments that the basic transformation idea can be generali...
Linear determining equations for differential constraints
Kaptsov, O V
1998-01-01
A construction of differential constraints compatible with partial differential equations is considered. Certain linear determining equations with parameters are used to find such differential constraints. They generalize the classical determining equations used in the search for admissible Lie operators. As applications of this approach equations of an ideal incompressible fluid and non-linear heat equations are discussed
Jensen, Jørgen Juncher
2015-01-01
For non-linear systems the estimation of fatigue damage under stochastic loadings can be rather time-consuming. Usually Monte Carlo simulation (MCS) is applied, but the coefficient-of-variation (COV) can be large if only a small set of simulations can be done due to otherwise excessive CPU time...
Lie algebras and linear differential equations.
Brockett, R. W.; Rahimi, A.
1972-01-01
Certain symmetry properties possessed by the solutions of linear differential equations are examined. For this purpose, some basic ideas from the theory of finite dimensional linear systems are used together with the work of Wei and Norman on the use of Lie algebraic methods in differential equation theory.
On deformations of linear differential systems
Gontsov, R.R.; Poberezhnyi, V.A.; Helminck, G.F.
2011-01-01
This article concerns deformations of meromorphic linear differential systems. Problems relating to their existence and classification are reviewed, and the global and local behaviour of solutions to deformation equations in a neighbourhood of their singular set is analysed. Certain classical
Linearized gravity in terms of differential forms
Baykal, Ahmet; Dereli, Tekin
2017-01-01
A technique to linearize gravitational field equations is developed in which the perturbation metric coefficients are treated as second rank, symmetric, 1-form fields belonging to the Minkowski background spacetime by using the exterior algebra of differential forms.
Simões BrunoAscenso
2010-01-01
Full Text Available The use of twistor methods in the study of Jacobi fields has proved quite fruitful, leading to a series of results. L. Lemaire and J. C. Wood proved several properties of Jacobi fields along harmonic maps from the two-sphere to the complex projective plane and to the three- and four-dimensional spheres, by carefully relating the infinitesimal deformations of the harmonic maps to those of the holomorphic data describing them. In order to advance this programme, we prove a series of relations between infinitesimal properties of the map and those of its twistor lift. Namely, we prove that isotropy and harmonicity to first order of the map correspond to holomorphicity to first order of its lift into the twistor space, relatively to the standard almost complex structures and . This is done by obtaining first-order analogues of classical twistorial constructions.
Bruno Ascenso Simões
2010-01-01
Full Text Available The use of twistor methods in the study of Jacobi fields has proved quite fruitful, leading to a series of results. L. Lemaire and J. C. Wood proved several properties of Jacobi fields along harmonic maps from the two-sphere to the complex projective plane and to the three- and four-dimensional spheres, by carefully relating the infinitesimal deformations of the harmonic maps to those of the holomorphic data describing them. In order to advance this programme, we prove a series of relations between infinitesimal properties of the map and those of its twistor lift. Namely, we prove that isotropy and harmonicity to first order of the map correspond to holomorphicity to first order of its lift into the twistor space, relatively to the standard almost complex structures J1 and J2. This is done by obtaining first-order analogues of classical twistorial constructions.
Differential calculus in normed linear spaces
Mukherjea, Kalyan
2007-01-01
This book presents Advanced Calculus from a geometric point of view: instead of dealing with partial derivatives of functions of several variables, the derivative of the function is treated as a linear transformation between normed linear spaces. Not only does this lead to a simplified and transparent exposition of "difficult" results like the Inverse and Implicit Function Theorems but also permits, without any extra effort, a discussion of the Differential Calculus of functions defined on infinite dimensional Hilbert or Banach spaces.The prerequisites demanded of the reader are modest: a sound understanding of convergence of sequences and series of real numbers, the continuity and differentiability properties of functions of a real variable and a little Linear Algebra should provide adequate background for understanding the book. The first two chapters cover much of the more advanced background material on Linear Algebra (like dual spaces, multilinear functions and tensor products.) Chapter 3 gives an ab ini...
Singular Linear Differential Equations in Two Variables
Braaksma, B.L.J.; Put, M. van der
2008-01-01
The formal and analytic classification of integrable singular linear differential equations has been studied among others by R. Gerard and Y. Sibuya. We provide a simple proof of their main result, namely: For certain irregular systems in two variables there is no Stokes phenomenon, i.e. there is no
Spectral theories for linear differential equations
Sell, G.R.
1976-01-01
The use of spectral analysis in the study of linear differential equations with constant coefficients is not only a fundamental technique but also leads to far-reaching consequences in describing the qualitative behaviour of the solutions. The spectral analysis, via the Jordan canonical form, will not only lead to a representation theorem for a basis of solutions, but will also give a rather precise statement of the (exponential) growth rates of various solutions. Various attempts have been made to extend this analysis to linear differential equations with time-varying coefficients. The most complete such extensions is the Floquet theory for equations with periodic coefficients. For time-varying linear differential equations with aperiodic coefficients several authors have attempted to ''extend'' the Foquet theory. The precise meaning of such an extension is itself a problem, and we present here several attempts in this direction that are related to the general problem of extending the spectral analysis of equations with constant coefficients. The main purpose of this paper is to introduce some problems of current research. The primary problem we shall examine occurs in the context of linear differential equations with almost periodic coefficients. We call it ''the Floquet problem''. (author)
Dual exponential polynomials and linear differential equations
Wen, Zhi-Tao; Gundersen, Gary G.; Heittokangas, Janne
2018-01-01
We study linear differential equations with exponential polynomial coefficients, where exactly one coefficient is of order greater than all the others. The main result shows that a nontrivial exponential polynomial solution of such an equation has a certain dual relationship with the maximum order coefficient. Several examples illustrate our results and exhibit possibilities that can occur.
Introduction to linear systems of differential equations
Adrianova, L Ya
1995-01-01
The theory of linear systems of differential equations is one of the cornerstones of the whole theory of differential equations. At its root is the concept of the Lyapunov characteristic exponent. In this book, Adrianova presents introductory material and further detailed discussions of Lyapunov exponents. She also discusses the structure of the space of solutions of linear systems. Classes of linear systems examined are from the narrowest to widest: 1)�autonomous, 2)�periodic, 3)�reducible to autonomous, 4)�nearly reducible to autonomous, 5)�regular. In addition, Adrianova considers the following: stability of linear systems and the influence of perturbations of the coefficients on the stability the criteria of uniform stability and of uniform asymptotic stability in terms of properties of the solutions several estimates of the growth rate of solutions of a linear system in terms of its coefficients How perturbations of the coefficients change all the elements of the spectrum of the system is defin...
On a representation of linear differential equations
Neuman, František
2010-01-01
Roč. 52, 1-2 (2010), s. 355-360 ISSN 0895-7177 Grant - others:GA ČR(CZ) GA201/08/0469 Institutional research plan: CEZ:AV0Z10190503 Keywords : Brandt and Ehresmann groupoinds * transformations * canonical forms * linear differential equations Subject RIV: BA - General Mathematics Impact factor: 1.066, year: 2010 http://www.sciencedirect.com/science/article/pii/S0895717710001184
Braüner, Torben
2011-01-01
Hybrid logic is an extension of modal logic which allows us to refer explicitly to points of the model in the syntax of formulas. It is easy to justify interest in hybrid logic on applied grounds, with the usefulness of the additional expressive power. For example, when reasoning about time one...... often wants to build up a series of assertions about what happens at a particular instant, and standard modal formalisms do not allow this. What is less obvious is that the route hybrid logic takes to overcome this problem often actually improves the behaviour of the underlying modal formalism....... For example, it becomes far simpler to formulate proof-systems for hybrid logic, and completeness results can be proved of a generality that is simply not available in modal logic. That is, hybridization is a systematic way of remedying a number of known deficiencies of modal logic. First-order hybrid logic...
First order electroweak phase transition
Buchmueller, W.; Fodor, Z.
1993-01-01
In this work, the authors have studied the phase transition in the SU(2)gauge theory at finite temperature. The authors' improved perturbative approach does not suffer from the infrared problems appearing in the ordinary loop expansion. The authors have calculated the effective potential up to cubic terms in the couplings. The higher order terms suggest that the method is reliable for Higgs masses smaller than 80 GeV. The authors have obtained a non-vanishing magnetic mass which further weakens the transitions. By use of Langer's theory of metastability, the authors have calculated the nucleation rate for critical bubbles and have discussed some cosmological consequences. For m H <80 GeV the phase transition is first order and proceeds via bubble nucleation and growth. The thin wall approximation is only marginally applicable. Since the phase transition is quite weak SM baryogenesis is unlikely. 8 refs., 5 figs
Camporesi, Roberto
2016-01-01
This book presents a method for solving linear ordinary differential equations based on the factorization of the differential operator. The approach for the case of constant coefficients is elementary, and only requires a basic knowledge of calculus and linear algebra. In particular, the book avoids the use of distribution theory, as well as the other more advanced approaches: Laplace transform, linear systems, the general theory of linear equations with variable coefficients and variation of parameters. The case of variable coefficients is addressed using Mammana’s result for the factorization of a real linear ordinary differential operator into a product of first-order (complex) factors, as well as a recent generalization of this result to the case of complex-valued coefficients.
General solution for first order elliptic systems in the plane
Mshimba, A.S.
1990-01-01
It is shown that a system of 2n real-valued partial differential equations of first order, which under certain assumptions can be transformed to the so-called 'complex normal form', admits a general solution. 15 refs
Linear measure functional differential equations with infinite delay
Monteiro, G. (Giselle Antunes); Slavík, A.
2014-01-01
We use the theory of generalized linear ordinary differential equations in Banach spaces to study linear measure functional differential equations with infinite delay. We obtain new results concerning the existence, uniqueness, and continuous dependence of solutions. Even for equations with a finite delay, our results are stronger than the existing ones. Finally, we present an application to functional differential equations with impulses.
Schwarz maps of algebraic linear ordinary differential equations
Sanabria Malagón, Camilo
2017-12-01
A linear ordinary differential equation is called algebraic if all its solution are algebraic over its field of definition. In this paper we solve the problem of finding closed form solution to algebraic linear ordinary differential equations in terms of standard equations. Furthermore, we obtain a method to compute all algebraic linear ordinary differential equations with rational coefficients by studying their associated Schwarz map through the Picard-Vessiot Theory.
A local-global problem for linear differential equations
Put, Marius van der; Reversat, Marc
2008-01-01
An inhomogeneous linear differential equation Ly = f over a global differential field can have a formal solution for each place without having a global solution. The vector space lgl(L) measures this phenomenon. This space is interpreted in terms of cohomology of linear algebraic groups and is
A local-global problem for linear differential equations
Put, Marius van der; Reversat, Marc
An inhomogeneous linear differential equation Ly = f over a global differential field can have a formal solution for each place without having a global solution. The vector space lgl(L) measures this phenomenon. This space is interpreted in terms of cohomology of linear algebraic groups and is
An Adequate First Order Logic of Intervals
Chaochen, Zhou; Hansen, Michael Reichhardt
1998-01-01
This paper introduces left and right neighbourhoods as primitive interval modalities to define other unary and binary modalities of intervals in a first order logic with interval length. A complete first order logic for the neighbourhood modalities is presented. It is demonstrated how the logic can...... support formal specification and verification of liveness and fairness, and also of various notions of real analysis....
Multivariate Discrete First Order Stochastic Dominance
Tarp, Finn; Østerdal, Lars Peter
This paper characterizes the principle of first order stochastic dominance in a multivariate discrete setting. We show that a distribution f first order stochastic dominates distribution g if and only if f can be obtained from g by iteratively shifting density from one outcome to another...
GLOBAL LINEARIZATION OF DIFFERENTIAL EQUATIONS WITH SPECIAL STRUCTURES
无
2011-01-01
This paper introduces the global linearization of the differential equations with special structures.The function in the differential equation is unbounded.We prove that the differential equation with unbounded function can be topologically linearlized if it has a special structure.
Linear algebra a first course with applications to differential equations
Apostol, Tom M
2014-01-01
Developed from the author's successful two-volume Calculus text this book presents Linear Algebra without emphasis on abstraction or formalization. To accommodate a variety of backgrounds, the text begins with a review of prerequisites divided into precalculus and calculus prerequisites. It continues to cover vector algebra, analytic geometry, linear spaces, determinants, linear differential equations and more.
Covariant differential complexes of quantum linear groups
Isaev, A.P.; Pyatov, P.N.
1993-01-01
We consider the possible covariant external algebra structures for Cartan's 1-forms (Ω) on G L q (N) and S L q (N). Our starting point is that Ω s realize an adjoint representation of quantum group and all monomials of Ω s possess the unique ordering. For the obtained external algebras we define the differential mapping d possessing the usual nilpotence condition, and the generally deformed version of Leibnitz rules. The status of the known examples of G L q (N)-differential calculi in the proposed classification scheme and the problems of S L q (N)-reduction are discussed. (author.). 26 refs
Clarisse, J.M
2007-07-01
A numerical scheme for computing linear Lagrangian perturbations of spherically symmetric flows of gas dynamics is proposed. This explicit first-order scheme uses the Roe method in Lagrangian coordinates, for computing the radial spherically symmetric mean flow, and its linearized version, for treating the three-dimensional linear perturbations. Fulfillment of the geometric conservation law discrete formulations for both the mean flow and its perturbation is ensured. This scheme capabilities are illustrated by the computation of free-surface mode evolutions at the boundaries of a spherical hollow shell undergoing an homogeneous cumulative compression, showing excellent agreement with reference results. (author)
Jimenez, J.C.
2009-06-01
Local Linearization (LL) methods conform a class of one-step explicit integrators for ODEs derived from the following primary and common strategy: the vector field of the differential equation is locally (piecewise) approximated through a first-order Taylor expansion at each time step, thus obtaining successive linear equations that are explicitly integrated. Hereafter, the LL approach may include some additional strategies to improve that basic affine approximation. Theoretical and practical results have shown that the LL integrators have a number of convenient properties. These include arbitrary order of convergence, A-stability, linearization preserving, regularity under quite general conditions, preservation of the dynamics of the exact solution around hyperbolic equilibrium points and periodic orbits, integration of stiff and high-dimensional equations, low computational cost, and others. In this paper, a review of the LL methods and their properties is presented. (author)
Subroutine for series solutions of linear differential equations
Tasso, H.; Steuerwald, J.
1976-02-01
A subroutine for Taylor series solutions of systems of ordinary linear differential equations is descriebed. It uses the old idea of Lie series but allows simple implementation and is time-saving for symbolic manipulations. (orig.) [de
Schwarzian conditions for linear differential operators with selected differential Galois groups
Abdelaziz, Y; Maillard, J-M
2017-01-01
We show that non-linear Schwarzian differential equations emerging from covariance symmetry conditions imposed on linear differential operators with hypergeometric function solutions can be generalized to arbitrary order linear differential operators with polynomial coefficients having selected differential Galois groups. For order three and order four linear differential operators we show that this pullback invariance up to conjugation eventually reduces to symmetric powers of an underlying order-two operator. We give, precisely, the conditions to have modular correspondences solutions for such Schwarzian differential equations, which was an open question in a previous paper. We analyze in detail a pullbacked hypergeometric example generalizing modular forms, that ushers a pullback invariance up to operator homomorphisms. We finally consider the more general problem of the equivalence of two different order-four linear differential Calabi–Yau operators up to pullbacks and conjugation, and clarify the cases where they have the same Yukawa couplings. (paper)
Schwarzian conditions for linear differential operators with selected differential Galois groups
Abdelaziz, Y.; Maillard, J.-M.
2017-11-01
We show that non-linear Schwarzian differential equations emerging from covariance symmetry conditions imposed on linear differential operators with hypergeometric function solutions can be generalized to arbitrary order linear differential operators with polynomial coefficients having selected differential Galois groups. For order three and order four linear differential operators we show that this pullback invariance up to conjugation eventually reduces to symmetric powers of an underlying order-two operator. We give, precisely, the conditions to have modular correspondences solutions for such Schwarzian differential equations, which was an open question in a previous paper. We analyze in detail a pullbacked hypergeometric example generalizing modular forms, that ushers a pullback invariance up to operator homomorphisms. We finally consider the more general problem of the equivalence of two different order-four linear differential Calabi-Yau operators up to pullbacks and conjugation, and clarify the cases where they have the same Yukawa couplings.
Approximate Method for Solving the Linear Fuzzy Delay Differential Equations
S. Narayanamoorthy
2015-01-01
Full Text Available We propose an algorithm of the approximate method to solve linear fuzzy delay differential equations using Adomian decomposition method. The detailed algorithm of the approach is provided. The approximate solution is compared with the exact solution to confirm the validity and efficiency of the method to handle linear fuzzy delay differential equation. To show this proper features of this proposed method, numerical example is illustrated.
Linear matrix differential equations of higher-order and applications
Mustapha Rachidi
2008-07-01
Full Text Available In this article, we study linear differential equations of higher-order whose coefficients are square matrices. The combinatorial method for computing the matrix powers and exponential is adopted. New formulas representing auxiliary results are obtained. This allows us to prove properties of a large class of linear matrix differential equations of higher-order, in particular results of Apostol and Kolodner are recovered. Also illustrative examples and applications are presented.
Linear differential equations to solve nonlinear mechanical problems: A novel approach
Nair, C. Radhakrishnan
2004-01-01
Often a non-linear mechanical problem is formulated as a non-linear differential equation. A new method is introduced to find out new solutions of non-linear differential equations if one of the solutions of a given non-linear differential equation is known. Using the known solution of the non-linear differential equation, linear differential equations are set up. The solutions of these linear differential equations are found using standard techniques. Then the solutions of the linear differe...
A controllability test for general first-order representations
U. Helmke; J. Rosenthal; J.M. Schumacher (Hans)
1995-01-01
textabstractIn this paper we derive a new controllability rank test for general first-order representations. The criterion generalizes the well-known controllability rank test for linear input-state systems as well as a controllability rank test by Mertzios et al. for descriptor systems.
Lie symmetries and differential galois groups of linear equations
Oudshoorn, W.R.; Put, M. van der
2002-01-01
For a linear ordinary differential equation the Lie algebra of its infinitesimal Lie symmetries is compared with its differential Galois group. For this purpose an algebraic formulation of Lie symmetries is developed. It turns out that there is no direct relation between the two above objects. In
INPUT-OUTPUT STRUCTURE OF LINEAR-DIFFERENTIAL ALGEBRAIC SYSTEMS
KUIJPER, M; SCHUMACHER, JM
Systems of linear differential and algebraic equations occur in various ways, for instance, as a result of automated modeling procedures and in problems involving algebraic constraints, such as zero dynamics and exact model matching. Differential/algebraic systems may represent an input-output
On the reduction of the degree of linear differential operators
Bobieński, Marcin; Gavrilov, Lubomir
2011-01-01
Let L be a linear differential operator with coefficients in some differential field k of characteristic zero with algebraically closed field of constants. Let k a be the algebraic closure of k. For a solution y 0 , Ly 0 = 0, we determine the linear differential operator of minimal degree L-tilde and coefficients in k a , such that L-tilde y 0 =0. This result is then applied to some Picard–Fuchs equations which appear in the study of perturbations of plane polynomial vector fields of Lotka–Volterra type
Rational approximations to solutions of linear differential equations.
Chudnovsky, D V; Chudnovsky, G V
1983-08-01
Rational approximations of Padé and Padé type to solutions of differential equations are considered. One of the main results is a theorem stating that a simultaneous approximation to arbitrary solutions of linear differential equations over C(x) cannot be "better" than trivial ones implied by the Dirichlet box principle. This constitutes, in particular, the solution in the linear case of Kolchin's problem that the "Roth's theorem" holds for arbitrary solutions of algebraic differential equations. Complete effective proofs for several valuations are presented based on the Wronskian methods and graded subrings of Picard-Vessiot extensions.
Links among impossible differential, integral and zero correlation linear cryptanalysis
Sun, Bing; Liu, Zhiqiang; Rijmen, Vincent
2015-01-01
is to fix this gap and establish links between impossible differential cryptanalysis and integral cryptanalysis. Firstly, by introducing the concept of structure and dual structure, we prove that a → b is an impossible differential of a structure E if and only if it is a zero correlation linear hull...... linear hull always indicates the existence of an integral distinguisher. With this observation we improve the number of rounds of integral distinguishers of Feistel structures, CAST-256, SMS4 and Camellia. Finally, we conclude that an r-round impossible differential of E always leads to an r...
Belkhatir, Zehor
2015-11-05
This paper deals with the joint estimation of the unknown input and the fractional differentiation orders of a linear fractional order system. A two-stage algorithm combining the modulating functions with a first-order Newton method is applied to solve this estimation problem. First, the modulating functions approach is used to estimate the unknown input for a given fractional differentiation orders. Then, the method is combined with a first-order Newton technique to identify the fractional orders jointly with the input. To show the efficiency of the proposed method, numerical examples illustrating the estimation of the neural activity, considered as input of a fractional model of the neurovascular coupling, along with the fractional differentiation orders are presented in both noise-free and noisy cases.
A definability theorem for first order logic
Butz, C.; Moerdijk, I.
1997-01-01
In this paper we will present a definability theorem for first order logic This theorem is very easy to state and its proof only uses elementary tools To explain the theorem let us first observe that if M is a model of a theory T in a language L then clearly any definable subset S M ie a subset S
The first order fuzzy predicate logic (I)
Sheng, Y.M.
1986-01-01
Some analysis tools of fuzzy measures, Sugeno's integrals, etc. are introduced into the semantic of the first order predicate logic to explain the concept of fuzzy quantifiers. The truth value of a fuzzy quantification proposition is represented by Sugeno's integral. With this framework, several important notions of formation rules, fuzzy valutions and fuzzy validity are discussed
Wu, Jiayang; Cao, Pan; Hu, Xiaofeng; Jiang, Xinhong; Pan, Ting; Yang, Yuxing; Qiu, Ciyuan; Tremblay, Christine; Su, Yikai
2014-10-20
We propose and experimentally demonstrate an all-optical temporal differential-equation solver that can be used to solve ordinary differential equations (ODEs) characterizing general linear time-invariant (LTI) systems. The photonic device implemented by an add-drop microring resonator (MRR) with two tunable interferometric couplers is monolithically integrated on a silicon-on-insulator (SOI) wafer with a compact footprint of ~60 μm × 120 μm. By thermally tuning the phase shifts along the bus arms of the two interferometric couplers, the proposed device is capable of solving first-order ODEs with two variable coefficients. The operation principle is theoretically analyzed, and system testing of solving ODE with tunable coefficients is carried out for 10-Gb/s optical Gaussian-like pulses. The experimental results verify the effectiveness of the fabricated device as a tunable photonic ODE solver.
High-order quantum algorithm for solving linear differential equations
Berry, Dominic W
2014-01-01
Linear differential equations are ubiquitous in science and engineering. Quantum computers can simulate quantum systems, which are described by a restricted type of linear differential equations. Here we extend quantum simulation algorithms to general inhomogeneous sparse linear differential equations, which describe many classical physical systems. We examine the use of high-order methods (where the error over a time step is a high power of the size of the time step) to improve the efficiency. These provide scaling close to Δt 2 in the evolution time Δt. As with other algorithms of this type, the solution is encoded in amplitudes of the quantum state, and it is possible to extract global features of the solution. (paper)
First order formalism for quantum gravity
Gleiser, M.; Holman, R.; Neto, N.P.
1987-05-01
We develop a first order formalism for the quantization of gravity. We take as canonical variables both the induced metric and the extrinsic curvature of the (d - 1) -dimensional hypersurfaces obtained by the foliation of the d - dimensional spacetime. After solving the constraint algebra we use the Dirac formalism to quantize the theory and obtain a new representation for the Wheeler-DeWitt equation, defined in the functional space of the extrinsic curvature. We also show how to obtain several different representations of the Wheeler-DeWitt equation by considering actions differing by a total divergence. In particular, the intrinsic and extrinsic time approaches appear in a natural way, as do equivalent representations obtained by functional Fourier transforms of appropriate variables. We conclude with some remarks about the construction of the Hilbert space within the first order formalism. 10 refs
Numerical Solution of Heun Equation Via Linear Stochastic Differential Equation
Hamidreza Rezazadeh
2014-05-01
Full Text Available In this paper, we intend to solve special kind of ordinary differential equations which is called Heun equations, by converting to a corresponding stochastic differential equation(S.D.E.. So, we construct a stochastic linear equation system from this equation which its solution is based on computing fundamental matrix of this system and then, this S.D.E. is solved by numerically methods. Moreover, its asymptotic stability and statistical concepts like expectation and variance of solutions are discussed. Finally, the attained solutions of these S.D.E.s compared with exact solution of corresponding differential equations.
Moryakov, A. V., E-mail: sailor@orc.ru [National Research Centre Kurchatov Institute (Russian Federation)
2016-12-15
An algorithm for solving the linear Cauchy problem for large systems of ordinary differential equations is presented. The algorithm for systems of first-order differential equations is implemented in the EDELWEISS code with the possibility of parallel computations on supercomputers employing the MPI (Message Passing Interface) standard for the data exchange between parallel processes. The solution is represented by a series of orthogonal polynomials on the interval [0, 1]. The algorithm is characterized by simplicity and the possibility to solve nonlinear problems with a correction of the operator in accordance with the solution obtained in the previous iterative process.
First order correction to quasiclassical scattering amplitude
Kuz'menko, A.V.
1978-01-01
First order (with respect to h) correction to quasiclassical with the aid of scattering amplitude in nonrelativistic quantum mechanics is considered. This correction is represented by two-loop diagrams and includes the double integrals. With the aid of classical equations of motion, the sum of the contributions of the two-loop diagrams is transformed into the expression which includes one-dimensional integrals only. The specific property of the expression obtained is that the integrand does not possess any singularities in the focal points of the classical trajectory. The general formula takes much simpler form in the case of one-dimensional systems
Wetting transitions: First order or second order
Teletzke, G.F.; Scriven, L.E.; Davis, H.T.
1982-01-01
A generalization of Sullivan's recently proposed theory of the equilibrium contact angle, the angle at which a fluid interface meets a solid surface, is investigated. The generalized theory admits either a first-order or second-order transition from a nonzero contact angle to perfect wetting as a critical point is approached, in contrast to Sullivan's original theory, which predicts only a second-order transition. The predictions of this computationally convenient theory are in qualitative agreement with a more rigorous theory to be presented in a future publication
Feedback nash equilibria for linear quadratic descriptor differential games
Engwerda, J.C.; Salmah, S.
2012-01-01
In this paper, we consider the non-cooperative linear feedback Nash quadratic differential game with an infinite planning horizon for descriptor systems of index one. The performance function is assumed to be indefinite. We derive both necessary and sufficient conditions under which this game has a
Asymptotic formulae for solutions of half-linear differential equations
Řehák, Pavel
2017-01-01
Roč. 292, January (2017), s. 165-177 ISSN 0096-3003 Institutional support: RVO:67985840 Keywords : half-linear differential equation * nonoscillatory solution * regular variation Subject RIV: BA - General Mathematics OBOR OECD: Applied mathematics Impact factor: 1.738, year: 2016 http://www.sciencedirect.com/science/article/pii/S0096300316304581
Oscillatory behaviour of solutions of linear neutral differential ...
The paper considers the contribution of space-time noise to the oscillatory behaviour of solutions of a linear neutral stochastic delay differential equation. It was established that under certain conditions on the time lags and their speed of adjustments, the presence of noise generates oscillation in the solution of the equation ...
On oscillation of second-order linear ordinary differential equations
Lomtatidze, A.; Šremr, Jiří
2011-01-01
Roč. 54, - (2011), s. 69-81 ISSN 1512-0015 Institutional research plan: CEZ:AV0Z10190503 Keywords : linear second-order ordinary differential equation * Kamenev theorem * oscillation Subject RIV: BA - General Mathematics http://www.rmi.ge/jeomj/memoirs/vol54/abs54-4.htm
Exponential estimates for solutions of half-linear differential equations
Řehák, Pavel
2015-01-01
Roč. 147, č. 1 (2015), s. 158-171 ISSN 0236-5294 Institutional support: RVO:67985840 Keywords : half-linear differential equation * decreasing solution * increasing solution * asymptotic behavior Subject RIV: BA - General Mathematics Impact factor: 0.469, year: 2015 http://link.springer.com/article/10.1007%2Fs10474-015-0522-9
Pareto optimality in infinite horizon linear quadratic differential games
Reddy, P.V.; Engwerda, J.C.
2013-01-01
In this article we derive conditions for the existence of Pareto optimal solutions for linear quadratic infinite horizon cooperative differential games. First, we present a necessary and sufficient characterization for Pareto optimality which translates to solving a set of constrained optimal
On nonnegative solutions of second order linear functional differential equations
Lomtatidze, Alexander; Vodstrčil, Petr
2004-01-01
Roč. 32, č. 1 (2004), s. 59-88 ISSN 1512-0015 Institutional research plan: CEZ:AV0Z1019905 Keywords : second order linear functional differential equations * nonnegative solution * two-point boundary value problem Subject RIV: BA - General Mathematics
Feedback Nash Equilibria for Linear Quadratic Descriptor Differential Games
Engwerda, J.C.; Salmah, Y.
2010-01-01
In this note we consider the non-cooperative linear feedback Nash quadratic differential game with an infinite planning horizon for descriptor systems of index one. The performance function is assumed to be indefinite. We derive both necessary and sufficient conditions under which this game has a
Magnetocaloric materials and first order phase transitions
Neves Bez, Henrique
and magnetocaloric regenerative tests. The magnetic, thermal and structural properties obtained from such measurements are then evaluated through different models, i.e. the Curie-Weiss law, the Bean-Rodbell model, the free electron model and the Debye model.The measured magnetocaloric properties of La0.67Ca0.33MnO3...... heat capacity, magnetization and entropy change measurements. By measuring bulky particles (with a particle size in the range of 5001000 μm) of La(Fe,Mn,Si)13Hz with first order phase transition, it was possible to observe very sharp transitions. This is not the case for finer ground particles which......This thesis studies the first order phase transitions of the magnetocaloric materials La0.67Ca0.33MnO3 and La(Fe,Mn,Si)13Hz trying to overcome challenges that these materials face when applied in active magnetic regenerators. The study is done through experimental characterization and modelling...
Holographic equipartition from first order action
Wang, Jingbo
2017-12-01
Recently, the idea that gravity is emergent has attract many people's attention. The "Emergent Gravity Paradigm" is a program that develop this idea from the thermodynamical point of view. It expresses the Einstein equation in the language of thermodynamics. A key equation in this paradigm is the holographic equipartition which says that, in all static spacetimes, the degrees of freedom on the boundary equal those in the bulk. And the time evolution of spacetime is drove by the departure from the holographic equipartition. In this paper, we get the holographic equipartition and its generalization from the first order formalism, that is, the connection and its conjugate momentum are considered to be the canonical variables. The final results have similar structure as those from the metric formalism. It gives another proof of holographic equipartition.
Quadratic gravity in first order formalism
Alvarez, Enrique; Anero, Jesus; Gonzalez-Martin, Sergio, E-mail: enrique.alvarez@uam.es, E-mail: jesusanero@gmail.com, E-mail: sergio.gonzalez.martin@uam.es [Departamento de Física Teórica and Instituto de Física Teórica (IFT-UAM/CSIC), Universidad Autónoma de Madrid, Cantoblanco, 28049, Madrid (Spain)
2017-10-01
We consider the most general action for gravity which is quadratic in curvature. In this case first order and second order formalisms are not equivalent. This framework is a good candidate for a unitary and renormalizable theory of the gravitational field; in particular, there are no propagators falling down faster than 1/ p {sup 2}. The drawback is of course that the parameter space of the theory is too big, so that in many cases will be far away from a theory of gravity alone. In order to analyze this issue, the interaction between external sources was examined in some detail. We find that this interaction is conveyed mainly by propagation of the three-index connection field. At any rate the theory as it stands is in the conformal invariant phase; only when Weyl invariance is broken through the coupling to matter can an Einstein-Hilbert term (and its corresponding Planck mass scale) be generated by quantum corrections.
Oscillatory solutions of the Cauchy problem for linear differential equations
Gro Hovhannisyan
2015-06-01
Full Text Available We consider the Cauchy problem for second and third order linear differential equations with constant complex coefficients. We describe necessary and sufficient conditions on the data for the existence of oscillatory solutions. It is known that in the case of real coefficients the oscillatory behavior of solutions does not depend on initial values, but we show that this is no longer true in the complex case: hence in practice it is possible to control oscillatory behavior by varying the initial conditions. Our Proofs are based on asymptotic analysis of the zeros of solutions, represented as linear combinations of exponential functions.
Mickols, W.; Maestre, M.F.
1988-01-01
A differential polarization microscope that couples the sensitivity of single-beam measurement of circular dichroism and circular differential scattering with the simultaneous measurement of linear dichroism and linear differential scattering has been developed. The microscope uses a scanning microscope stage and single-point illumination to give the very shallow depth of field found in confocal microscopy. This microscope can operate in the confocal mode as well as in the near confocal condition that can allow one to program the coherence and spatial resolution of the microscope. This microscope has been used to study the change in the structure of chromatin during the development of sperm in Drosophila
Refined Fuchs inequalities for systems of linear differential equations
Gontsov, R R
2004-01-01
We refine the Fuchs inequalities obtained by Corel for systems of linear meromorphic differential equations given on the Riemann sphere. Fuchs inequalities enable one to estimate the sum of exponents of the system over all its singular points. We refine these well-known inequalities by considering the Jordan structure of the leading coefficient of the Laurent series for the matrix of the right-hand side of the system in the neighbourhood of a singular point
System theory as applied differential geometry. [linear system
Hermann, R.
1979-01-01
The invariants of input-output systems under the action of the feedback group was examined. The approach used the theory of Lie groups and concepts of modern differential geometry, and illustrated how the latter provides a basis for the discussion of the analytic structure of systems. Finite dimensional linear systems in a single independent variable are considered. Lessons of more general situations (e.g., distributed parameter and multidimensional systems) which are increasingly encountered as technology advances are presented.
Leibov Roman
2017-01-01
This paper presents a bilinear approach to nonlinear differential equations system approximation problem. Sometimes the nonlinear differential equations right-hand sides linearization is extremely difficult or even impossible. Then piecewise-linear approximation of nonlinear differential equations can be used. The bilinear differential equations allow to improve piecewise-linear differential equations behavior and reduce errors on the border of different linear differential equations systems ...
First order deformations of the Fourier matrix
Banica, Teodor, E-mail: teo.banica@gmail.com [Department of Mathematics, Cergy-Pontoise University, 95000 Cergy-Pontoise (France)
2014-01-15
The N × N complex Hadamard matrices form a real algebraic manifold C{sub N}. The singularity at a point H ∈ C{sub N} is described by a filtration of cones T{sub H}{sup ×}C{sub N}⊂T{sub H}{sup ∘}C{sub N}⊂T{sub H}C{sub N}⊂T{sup ~}{sub H}C{sub N}, coming from the trivial, affine, smooth, and first order deformations. We study here these cones in the case where H = F{sub N} is the Fourier matrix, (w{sup ij}) with w = e{sup 2πi/N}, our main result being a simple description of T{sup ~}{sub H}C{sub N}. As a consequence, the rationality conjecture dim{sub R}(T{sup ~}{sub H}C{sub N})=dim{sub Q}(T{sup ~}{sub H}C{sub N}∩M{sub N}(Q)) holds at H = F{sub N}.
Runge-Kutta Methods for Linear Ordinary Differential Equations
Zingg, David W.; Chisholm, Todd T.
1997-01-01
Three new Runge-Kutta methods are presented for numerical integration of systems of linear inhomogeneous ordinary differential equations (ODES) with constant coefficients. Such ODEs arise in the numerical solution of the partial differential equations governing linear wave phenomena. The restriction to linear ODEs with constant coefficients reduces the number of conditions which the coefficients of the Runge-Kutta method must satisfy. This freedom is used to develop methods which are more efficient than conventional Runge-Kutta methods. A fourth-order method is presented which uses only two memory locations per dependent variable, while the classical fourth-order Runge-Kutta method uses three. This method is an excellent choice for simulations of linear wave phenomena if memory is a primary concern. In addition, fifth- and sixth-order methods are presented which require five and six stages, respectively, one fewer than their conventional counterparts, and are therefore more efficient. These methods are an excellent option for use with high-order spatial discretizations.
Linear program differentiation for single-channel speech separation
Pearlmutter, Barak A.; Olsson, Rasmus Kongsgaard
2006-01-01
Many apparently difficult problems can be solved by reduction to linear programming. Such problems are often subproblems within larger systems. When gradient optimisation of the entire larger system is desired, it is necessary to propagate gradients through the internally-invoked LP solver....... For instance, when an intermediate quantity z is the solution to a linear program involving constraint matrix A, a vector of sensitivities dE/dz will induce sensitivities dE/dA. Here we show how these can be efficiently calculated, when they exist. This allows algorithmic differentiation to be applied...... to algorithms that invoke linear programming solvers as subroutines, as is common when using sparse representations in signal processing. Here we apply it to gradient optimisation of over complete dictionaries for maximally sparse representations of a speech corpus. The dictionaries are employed in a single...
Ravi Kanth, A.S.V.; Aruna, K.
2009-01-01
In this paper, we propose a reliable algorithm to develop exact and approximate solutions for the linear and nonlinear Schroedinger equations. The approach rest mainly on two-dimensional differential transform method which is one of the approximate methods. The method can easily be applied to many linear and nonlinear problems and is capable of reducing the size of computational work. Exact solutions can also be achieved by the known forms of the series solutions. Several illustrative examples are given to demonstrate the effectiveness of the present method.
Approximate Controllability for Linear Stochastic Differential Equations in Infinite Dimensions
Goreac, D.
2009-01-01
The objective of the paper is to investigate the approximate controllability property of a linear stochastic control system with values in a separable real Hilbert space. In a first step we prove the existence and uniqueness for the solution of the dual linear backward stochastic differential equation. This equation has the particularity that in addition to an unbounded operator acting on the Y-component of the solution there is still another one acting on the Z-component. With the help of this dual equation we then deduce the duality between approximate controllability and observability. Finally, under the assumption that the unbounded operator acting on the state process of the forward equation is an infinitesimal generator of an exponentially stable semigroup, we show that the generalized Hautus test provides a necessary condition for the approximate controllability. The paper generalizes former results by Buckdahn, Quincampoix and Tessitore (Stochastic Partial Differential Equations and Applications, Series of Lecture Notes in Pure and Appl. Math., vol. 245, pp. 253-260, Chapman and Hall, London, 2006) and Goreac (Applied Analysis and Differential Equations, pp. 153-164, World Scientific, Singapore, 2007) from the finite dimensional to the infinite dimensional case
First order impulsive differential inclusions with periodic conditions
John Graef
2008-10-01
where $\\varphi: J\\times \\mathbb{R}^n\\to{\\cal P}(\\mathbb{R}^n$ is a multi-valued map. The study of the above problems use an approach based on the topological degree combined with a Poincar\\'e operator.
Darboux transformations and linear parabolic partial differential equations
Arrigo, Daniel J.; Hickling, Fred
2002-01-01
Solutions for a class of linear parabolic partial differential equation are provided. These solutions are obtained by first solving a system of (n+1) nonlinear partial differential equations. This system arises as the coefficients of a Darboux transformation and is equivalent to a matrix Burgers' equation. This matrix equation is solved using a generalized Hopf-Cole transformation. The solutions for the original equation are given in terms of solutions of the heat equation. These results are applied to the (1+1)-dimensional Schroedinger equation where all bound state solutions are obtained for a 2n-parameter family of potentials. As a special case, the solutions for integral members of the regular and modified Poeschl-Teller potentials are recovered. (author). Letter-to-the-editor
A Solution to the Fundamental Linear Fractional Order Differential Equation
Hartley, Tom T.; Lorenzo, Carl F.
1998-01-01
This paper provides a solution to the fundamental linear fractional order differential equation, namely, (sub c)d(sup q, sub t) + ax(t) = bu(t). The impulse response solution is shown to be a series, named the F-function, which generalizes the normal exponential function. The F-function provides the basis for a qth order "fractional pole". Complex plane behavior is elucidated and a simple example, the inductor terminated semi- infinite lossy line, is used to demonstrate the theory.
Linear stochastic differential equations with anticipating initial conditions
Khalifa, Narjess; Kuo, Hui-Hsiung; Ouerdiane, Habib
In this paper we use the new stochastic integral introduced by Ayed and Kuo (2008) and the results obtained by Kuo et al. (2012b) to find a solution to a drift-free linear stochastic differential equation with anticipating initial condition. Our solution is based on well-known results from...... classical Itô theory and anticipative Itô formula results from Kue et al. (2012b). We also show that the solution obtained by our method is consistent with the solution obtained by the methods of Malliavin calculus, e.g. Buckdahn and Nualart (1994)....
Oscillation of solutions of some higher order linear differential equations
Hong-Yan Xu
2009-11-01
Full Text Available In this paper, we deal with the order of growth and the hyper order of solutions of higher order linear differential equations $$f^{(k}+B_{k-1}f^{(k-1}+\\cdots+B_1f'+B_0f=F$$ where $B_j(z (j=0,1,\\ldots,k-1$ and $F$ are entire functions or polynomials. Some results are obtained which improve and extend previous results given by Z.-X. Chen, J. Wang, T.-B. Cao and C.-H. Li.
Maximum principles for boundary-degenerate linear parabolic differential operators
Feehan, Paul M. N.
2013-01-01
We develop weak and strong maximum principles for boundary-degenerate, linear, parabolic, second-order partial differential operators, $Lu := -u_t-\\tr(aD^2u)-\\langle b, Du\\rangle + cu$, with \\emph{partial} Dirichlet boundary conditions. The coefficient, $a(t,x)$, is assumed to vanish along a non-empty open subset, $\\mydirac_0!\\sQ$, called the \\emph{degenerate boundary portion}, of the parabolic boundary, $\\mydirac!\\sQ$, of the domain $\\sQ\\subset\\RR^{d+1}$, while $a(t,x)$ may be non-zero at po...
Liu, Da-Yan; Tian, Yang; Boutat, Driss; Laleg-Kirati, Taous-Meriem
2015-01-01
This paper aims at designing a digital fractional order differentiator for a class of signals satisfying a linear differential equation to estimate fractional derivatives with an arbitrary order in noisy case, where the input can be unknown or known with noises. Firstly, an integer order differentiator for the input is constructed using a truncated Jacobi orthogonal series expansion. Then, a new algebraic formula for the Riemann-Liouville derivative is derived, which is enlightened by the algebraic parametric method. Secondly, a digital fractional order differentiator is proposed using a numerical integration method in discrete noisy case. Then, the noise error contribution is analyzed, where an error bound useful for the selection of the design parameter is provided. Finally, numerical examples illustrate the accuracy and the robustness of the proposed fractional order differentiator.
Liu, Da-Yan
2015-04-30
This paper aims at designing a digital fractional order differentiator for a class of signals satisfying a linear differential equation to estimate fractional derivatives with an arbitrary order in noisy case, where the input can be unknown or known with noises. Firstly, an integer order differentiator for the input is constructed using a truncated Jacobi orthogonal series expansion. Then, a new algebraic formula for the Riemann-Liouville derivative is derived, which is enlightened by the algebraic parametric method. Secondly, a digital fractional order differentiator is proposed using a numerical integration method in discrete noisy case. Then, the noise error contribution is analyzed, where an error bound useful for the selection of the design parameter is provided. Finally, numerical examples illustrate the accuracy and the robustness of the proposed fractional order differentiator.
Belkhatir, Zehor; Laleg-Kirati, Taous-Meriem
2017-01-01
This paper proposes a two-stage estimation algorithm to solve the problem of joint estimation of the parameters and the fractional differentiation orders of a linear continuous-time fractional system with non-commensurate orders. The proposed algorithm combines the modulating functions and the first-order Newton methods. Sufficient conditions ensuring the convergence of the method are provided. An error analysis in the discrete case is performed. Moreover, the method is extended to the joint estimation of smooth unknown input and fractional differentiation orders. The performance of the proposed approach is illustrated with different numerical examples. Furthermore, a potential application of the algorithm is proposed which consists in the estimation of the differentiation orders of a fractional neurovascular model along with the neural activity considered as input for this model.
Belkhatir, Zehor
2017-05-31
This paper proposes a two-stage estimation algorithm to solve the problem of joint estimation of the parameters and the fractional differentiation orders of a linear continuous-time fractional system with non-commensurate orders. The proposed algorithm combines the modulating functions and the first-order Newton methods. Sufficient conditions ensuring the convergence of the method are provided. An error analysis in the discrete case is performed. Moreover, the method is extended to the joint estimation of smooth unknown input and fractional differentiation orders. The performance of the proposed approach is illustrated with different numerical examples. Furthermore, a potential application of the algorithm is proposed which consists in the estimation of the differentiation orders of a fractional neurovascular model along with the neural activity considered as input for this model.
Numerical solution of two-dimensional non-linear partial differential ...
linear partial differential equations using a hybrid method. The solution technique involves discritizing the non-linear system of partial differential equations (PDEs) to obtain a corresponding nonlinear system of algebraic difference equations to be ...
A Differential Monolithically Integrated Inductive Linear Displacement Measurement Microsystem
Matija Podhraški
2016-03-01
Full Text Available An inductive linear displacement measurement microsystem realized as a monolithic Application-Specific Integrated Circuit (ASIC is presented. The system comprises integrated microtransformers as sensing elements, and analog front-end electronics for signal processing and demodulation, both jointly fabricated in a conventional commercially available four-metal 350-nm CMOS process. The key novelty of the presented system is its full integration, straightforward fabrication, and ease of application, requiring no external light or magnetic field source. Such systems therefore have the possibility of substituting certain conventional position encoder types. The microtransformers are excited by an AC signal in MHz range. The displacement information is modulated into the AC signal by a metal grating scale placed over the microsystem, employing a differential measurement principle. Homodyne mixing is used for the demodulation of the scale displacement information, returned by the ASIC as a DC signal in two quadrature channels allowing the determination of linear position of the target scale. The microsystem design, simulations, and characterization are presented. Various system operating conditions such as frequency, phase, target scale material and distance have been experimentally evaluated. The best results have been achieved at 4 MHz, demonstrating a linear resolution of 20 µm with steel and copper scale, having respective sensitivities of 0.71 V/mm and 0.99 V/mm.
A general first-order global sensitivity analysis method
Xu Chonggang; Gertner, George Zdzislaw
2008-01-01
Fourier amplitude sensitivity test (FAST) is one of the most popular global sensitivity analysis techniques. The main mechanism of FAST is to assign each parameter with a characteristic frequency through a search function. Then, for a specific parameter, the variance contribution can be singled out of the model output by the characteristic frequency. Although FAST has been widely applied, there are two limitations: (1) the aliasing effect among parameters by using integer characteristic frequencies and (2) the suitability for only models with independent parameters. In this paper, we synthesize the improvement to overcome the aliasing effect limitation [Tarantola S, Gatelli D, Mara TA. Random balance designs for the estimation of first order global sensitivity indices. Reliab Eng Syst Safety 2006; 91(6):717-27] and the improvement to overcome the independence limitation [Xu C, Gertner G. Extending a global sensitivity analysis technique to models with correlated parameters. Comput Stat Data Anal 2007, accepted for publication]. In this way, FAST can be a general first-order global sensitivity analysis method for linear/nonlinear models with as many correlated/uncorrelated parameters as the user specifies. We apply the general FAST to four test cases with correlated parameters. The results show that the sensitivity indices derived by the general FAST are in good agreement with the sensitivity indices derived by the correlation ratio method, which is a non-parametric method for models with correlated parameters
Optimal overlapping of waveform relaxation method for linear differential equations
Yamada, Susumu; Ozawa, Kazufumi
2000-01-01
Waveform relaxation (WR) method is extremely suitable for solving large systems of ordinary differential equations (ODEs) on parallel computers, but the convergence of the method is generally slow. In order to accelerate the convergence, the methods which decouple the system into many subsystems with overlaps some of the components between the adjacent subsystems have been proposed. The methods, in general, converge much faster than the ones without overlapping, but the computational cost per iteration becomes larger due to the increase of the dimension of each subsystem. In this research, the convergence of the WR method for solving constant coefficients linear ODEs is investigated and the strategy to determine the number of overlapped components which minimizes the cost of the parallel computations is proposed. Numerical experiments on an SR2201 parallel computer show that the estimated number of the overlapped components by the proposed strategy is reasonable. (author)
On differential operators generating iterative systems of linear ODEs of maximal symmetry algebra
Ndogmo, J. C.
2017-06-01
Although every iterative scalar linear ordinary differential equation is of maximal symmetry algebra, the situation is different and far more complex for systems of linear ordinary differential equations, and an iterative system of linear equations need not be of maximal symmetry algebra. We illustrate these facts by examples and derive families of vector differential operators whose iterations are all linear systems of equations of maximal symmetry algebra. Some consequences of these results are also discussed.
First order actions for gravitational systems, strings and membranes
Lindstrom, U.
1988-01-01
The authors discuss first order actions in general and the construction of first order actions by eliminating Lagrange multipliers in particular. A number of first order actions for gravitational theories are presented. Part of the article reviews first order actions, some of them well-known and some lesser known. New examples of first order actions include Weyl-invariant actions for membranes, with and without rigidity terms, as well as for Abelian and non-Abelian Born-Infeld actions in two dimensions
Weakly Isolated horizons: first order actions and gauge symmetries
Corichi, Alejandro; Reyes, Juan D.; Vukašinac, Tatjana
2017-04-01
The notion of Isolated Horizons has played an important role in gravitational physics, being useful from the characterization of the endpoint of black hole mergers to (quantum) black hole entropy. With an eye towards a canonical formulation we consider general relativity in terms of connection and vierbein variables and their corresponding first order actions. We focus on two main issues: (i) The role of the internal gauge freedom that exists, in the consistent formulations of the action principle, and (ii) the role that a 3 + 1 canonical decomposition has in the allowed internal gauge freedom. More concretely, we clarify in detail how the requirement of having well posed variational principles compatible with general weakly isolated horizons (WIHs) as internal boundaries does lead to a partial gauge fixing in the first order descriptions used previously in the literature. We consider the standard Hilbert-Palatini action together with the Holst extension (needed for a consistent 3 + 1 decomposition), with and without boundary terms at the horizon. We show in detail that, for the complete configuration space—with no gauge fixing—, while the Palatini action is differentiable without additional surface terms at the inner WIH boundary, the more general Holst action is not. The introduction of a surface term at the horizon—that renders the action for asymptotically flat configurations differentiable—does make the Holst action differentiable, but only if one restricts the configuration space and partially reduces the internal Lorentz gauge. For the second issue at hand, we show that upon performing a 3 + 1 decomposition and imposing the time gauge, there is a further gauge reduction of the Hamiltonian theory in terms of Ashtekar-Barbero variables to a U(1)-gauge theory on the horizon. We also extend our analysis to the more restricted boundary conditions of (strongly) isolated horizons as inner boundary. We show that even when the
Weakly Isolated horizons: first order actions and gauge symmetries
Corichi, Alejandro; Reyes, Juan D; Vukašinac, Tatjana
2017-01-01
The notion of Isolated Horizons has played an important role in gravitational physics, being useful from the characterization of the endpoint of black hole mergers to (quantum) black hole entropy. With an eye towards a canonical formulation we consider general relativity in terms of connection and vierbein variables and their corresponding first order actions. We focus on two main issues: (i) The role of the internal gauge freedom that exists, in the consistent formulations of the action principle, and (ii) the role that a 3 + 1 canonical decomposition has in the allowed internal gauge freedom. More concretely, we clarify in detail how the requirement of having well posed variational principles compatible with general weakly isolated horizons (WIHs) as internal boundaries does lead to a partial gauge fixing in the first order descriptions used previously in the literature. We consider the standard Hilbert–Palatini action together with the Holst extension (needed for a consistent 3 + 1 decomposition), with and without boundary terms at the horizon. We show in detail that, for the complete configuration space—with no gauge fixing—, while the Palatini action is differentiable without additional surface terms at the inner WIH boundary, the more general Holst action is not. The introduction of a surface term at the horizon—that renders the action for asymptotically flat configurations differentiable—does make the Holst action differentiable, but only if one restricts the configuration space and partially reduces the internal Lorentz gauge. For the second issue at hand, we show that upon performing a 3 + 1 decomposition and imposing the time gauge, there is a further gauge reduction of the Hamiltonian theory in terms of Ashtekar–Barbero variables to a U (1)-gauge theory on the horizon. We also extend our analysis to the more restricted boundary conditions of (strongly) isolated horizons as inner boundary. We show that even when
Distributions of Autocorrelated First-Order Kinetic Outcomes: Illness Severity.
James D Englehardt
Full Text Available Many complex systems produce outcomes having recurring, power law-like distributions over wide ranges. However, the form necessarily breaks down at extremes, whereas the Weibull distribution has been demonstrated over the full observed range. Here the Weibull distribution is derived as the asymptotic distribution of generalized first-order kinetic processes, with convergence driven by autocorrelation, and entropy maximization subject to finite positive mean, of the incremental compounding rates. Process increments represent multiplicative causes. In particular, illness severities are modeled as such, occurring in proportion to products of, e.g., chronic toxicant fractions passed by organs along a pathway, or rates of interacting oncogenic mutations. The Weibull form is also argued theoretically and by simulation to be robust to the onset of saturation kinetics. The Weibull exponential parameter is shown to indicate the number and widths of the first-order compounding increments, the extent of rate autocorrelation, and the degree to which process increments are distributed exponential. In contrast with the Gaussian result in linear independent systems, the form is driven not by independence and multiplicity of process increments, but by increment autocorrelation and entropy. In some physical systems the form may be attracting, due to multiplicative evolution of outcome magnitudes towards extreme values potentially much larger and smaller than control mechanisms can contain. The Weibull distribution is demonstrated in preference to the lognormal and Pareto I for illness severities versus (a toxicokinetic models, (b biologically-based network models, (c scholastic and psychological test score data for children with prenatal mercury exposure, and (d time-to-tumor data of the ED01 study.
Man, Yiu-Kwong
2010-01-01
In this communication, we present a method for computing the Liouvillian solution of second-order linear differential equations via algebraic invariant curves. The main idea is to integrate Kovacic's results on second-order linear differential equations with the Prelle-Singer method for computing first integrals of differential equations. Some examples on using this approach are provided. (fast track communication)
Galois theory and algorithms for linear differential equations
Put, Marius van der
2005-01-01
This paper is an informal introduction to differential Galois theory. It surveys recent work on differential Galois groups, related algorithms and some applications. (c) 2005 Elsevier Ltd. All rights reserved.
High-Order Automatic Differentiation of Unmodified Linear Algebra Routines via Nilpotent Matrices
Dunham, Benjamin Z.
This work presents a new automatic differentiation method, Nilpotent Matrix Differentiation (NMD), capable of propagating any order of mixed or univariate derivative through common linear algebra functions--most notably third-party sparse solvers and decomposition routines, in addition to basic matrix arithmetic operations and power series--without changing data-type or modifying code line by line; this allows differentiation across sequences of arbitrarily many such functions with minimal implementation effort. NMD works by enlarging the matrices and vectors passed to the routines, replacing each original scalar with a matrix block augmented by derivative data; these blocks are constructed with special sparsity structures, termed "stencils," each designed to be isomorphic to a particular multidimensional hypercomplex algebra. The algebras are in turn designed such that Taylor expansions of hypercomplex function evaluations are finite in length and thus exactly track derivatives without approximation error. Although this use of the method in the "forward mode" is unique in its own right, it is also possible to apply it to existing implementations of the (first-order) discrete adjoint method to find high-order derivatives with lowered cost complexity; for example, for a problem with N inputs and an adjoint solver whose cost is independent of N--i.e., O(1)--the N x N Hessian can be found in O(N) time, which is comparable to existing second-order adjoint methods that require far more problem-specific implementation effort. Higher derivatives are likewise less expensive--e.g., a N x N x N rank-three tensor can be found in O(N2). Alternatively, a Hessian-vector product can be found in O(1) time, which may open up many matrix-based simulations to a range of existing optimization or surrogate modeling approaches. As a final corollary in parallel to the NMD-adjoint hybrid method, the existing complex-step differentiation (CD) technique is also shown to be capable of
Path integral measure for first-order and metric gravities
Aros, Rodrigo; Contreras, Mauricio; Zanelli, Jorge
2003-01-01
The equivalence between the path integrals for first-order gravity and the standard torsion-free, metric gravity in 3 + 1 dimensions is analysed. Starting with the path integral for first-order gravity, the correct measure for the path integral of the metric theory is obtained
Fuzzy Reasoning Based on First-Order Modal Logic,
Zhang, Xiaoru; Zhang, Z.; Sui, Y.; Huang, Z.
2008-01-01
As an extension of traditional modal logics, this paper proposes a fuzzy first-order modal logic based on believable degree, and gives out a description of the fuzzy first-order modal logic based on constant domain semantics. In order to make the reasoning procedure between the fuzzy assertions
Self-imaging in first-order optical systems
Alieva, T.; Bastiaans, M.J.; Nijhawan, O.P.; Guota, A.K.; Musla, A.K.; Singh, Kehar
1998-01-01
The structure and main properties of coherent and partially coherent optical fields that are self-reproducible under propagation through a first-order optical system are investigated. A phase space description of self-imaging in first-order optical systems is presented. The Wigner distribution
Linear measure functional differential equations with infinite delay
Monteiro, Giselle Antunes; Slavík, A.
2014-01-01
Roč. 287, 11-12 (2014), s. 1363-1382 ISSN 0025-584X Institutional support: RVO:67985840 Keywords : measure functional differential equations * generalized ordinary differential equations * Kurzweil-Stieltjes integral Subject RIV: BA - General Mathematics Impact factor: 0.683, year: 2014 http://onlinelibrary.wiley.com/doi/10.1002/mana.201300048/abstract
Backward stochastic differential equations from linear to fully nonlinear theory
Zhang, Jianfeng
2017-01-01
This book provides a systematic and accessible approach to stochastic differential equations, backward stochastic differential equations, and their connection with partial differential equations, as well as the recent development of the fully nonlinear theory, including nonlinear expectation, second order backward stochastic differential equations, and path dependent partial differential equations. Their main applications and numerical algorithms, as well as many exercises, are included. The book focuses on ideas and clarity, with most results having been solved from scratch and most theories being motivated from applications. It can be considered a starting point for junior researchers in the field, and can serve as a textbook for a two-semester graduate course in probability theory and stochastic analysis. It is also accessible for graduate students majoring in financial engineering.
Linear-quadratic control and quadratic differential forms for multidimensional behaviors
Napp, D.; Trentelman, H.L.
2011-01-01
This paper deals with systems described by constant coefficient linear partial differential equations (nD-systems) from a behavioral point of view. In this context we treat the linear-quadratic control problem where the performance functional is the integral of a quadratic differential form. We look
POSITIVE SOLUTIONS TO SEMI-LINEAR SECOND-ORDER ORDINARY DIFFERENTIAL EQUATIONS IN BANACH SPACE
无
2008-01-01
In this paper,we study the existence of positive periodic solution to some second- order semi-linear differential equation in Banach space.By the fixed point index theory, we prove that the semi-linear differential equation has two positive periodic solutions.
Abdelraheem, Mohamed Ahmed
2012-01-01
We use large but sparse correlation and transition-difference-probability submatrices to find the best linear and differential approximations respectively on PRESENT-like ciphers. This outperforms the branch and bound algorithm when the number of low-weight differential and linear characteristics...
Camporesi, Roberto
2011-01-01
We present an approach to the impulsive response method for solving linear constant-coefficient ordinary differential equations based on the factorization of the differential operator. The approach is elementary, we only assume a basic knowledge of calculus and linear algebra. In particular, we avoid the use of distribution theory, as well as of…
Huiying Sun
2014-01-01
Full Text Available We mainly consider the stability of discrete-time Markovian jump linear systems with state-dependent noise as well as its linear quadratic (LQ differential games. A necessary and sufficient condition involved with the connection between stochastic Tn-stability of Markovian jump linear systems with state-dependent noise and Lyapunov equation is proposed. And using the theory of stochastic Tn-stability, we give the optimal strategies and the optimal cost values for infinite horizon LQ stochastic differential games. It is demonstrated that the solutions of infinite horizon LQ stochastic differential games are concerned with four coupled generalized algebraic Riccati equations (GAREs. Finally, an iterative algorithm is presented to solve the four coupled GAREs and a simulation example is given to illustrate the effectiveness of it.
Realization of first order optical systems using thin lenses
Sudarshan, E.C.G.; Mukunda, N.; Simon, R.
1983-09-01
A first order optical system is investigated in full generality within the context of wave optics. We reduce the problem to a study of the ray transfer matrices. The simplest such systems correspond to axially symmetric propagation. Realization of such systems by centrally located lenses separated by finite distances is studied. It is shown that every axially symmetric first order system can be realized using at most three lenses. Among anisotropic systems it is proven that every symplectic ray transfer matrix, and no others, can be realized using lenses and free propagations. Suggestions for further study of the general first order system are outlined. 16 references
Integration of differential equations by the pseudo-linear (PL) approximation
Bonalumi, Riccardo A.
1998-01-01
A new method of integrating differential equations was originated with the technique of approximately calculating the integrals called the pseudo-linear (PL) procedure: this method is A-stable. This article contains the following examples: 1st order ordinary differential equations (ODEs), 2nd order linear ODEs, stiff system of ODEs (neutron kinetics), one-dimensional parabolic (diffusion) partial differential equations. In this latter case, this PL method coincides with the Crank-Nicholson method
Hyers-Ulam stability for second-order linear differential equations with boundary conditions
Pasc Gavruta
2011-06-01
Full Text Available We prove the Hyers-Ulam stability of linear differential equations of second-order with boundary conditions or with initial conditions. That is, if y is an approximate solution of the differential equation $y''+ eta (x y = 0$ with $y(a = y(b =0$, then there exists an exact solution of the differential equation, near y.
First-order regional seismotectonic model for South Africa
Singh, M
2011-10-01
Full Text Available A first-order seismotectonic model was created for South Africa. This was done using four logical steps: geoscientific data collection, characterisation, assimilation and zonation. Through the definition of subunits of concentrations of earthquake...
First-order transitions and the multihistogram method
Bhanot, G.; Lippert, T.; Schilling, K.; Ueberholz, P.
1992-01-01
We describe how the multihistogram method can be used to get reliable results from simulations in the critical region of first-order transitions even in the presence of severe hysteresis effects. (orig.)
Focal decompositions for linear differential equations of the second order
L. Birbrair
2003-01-01
two-points problems to itself such that the image of the focal decomposition associated to the first equation is a focal decomposition associated to the second one. In this paper, we present a complete classification for linear second-order equations with respect to this equivalence relation.
The Embedding Method for Linear Partial Differential Equations
The recently suggested embedding method to solve linear boundary value problems is here extended to cover situations where the domain of interest is unbounded or multiply connected. The extensions involve the use of complete sets of exterior and interior eigenfunctions on canonical domains. Applications to typical ...
Reduction of static field equation of Faddeev model to first order PDE
Hirayama, Minoru; Shi Changguang
2007-01-01
A method to solve the static field equation of the Faddeev model is presented. For a special combination of the concerned field, we adopt a form which is compatible with the field equation and involves two arbitrary complex functions. As a result, the static field equation is reduced to a set of first order partial differential equations
Geometry of Lagrangian first-order classical field theories
Echeverria-Enriquez, A.; Munoz-Lecanda, M.C.; Roman-Roy, N.
1996-01-01
We construct a lagrangian geometric formulation for first-order field theories using the canonical structures of first-order jet bundles, which are taken as the phase spaces of the systems in consideration. First of all, we construct all the geometric structures associated with a first-order jet bundle and, using them, we develop the lagrangian formalism, defining the canonical forms associated with a lagrangian density and the density of lagrangian energy, obtaining the Euler-Lagrange equations in two equivalent ways: as the result of a variational problem and developing the jet field formalism (which is a formulation more similar to the case of mechanical systems). A statement and proof of Noether's theorem is also given, using the latter formalism. Finally, some classical examples are briefly studied. (orig.)
Geometry of Lagrangian first-order classical field theories
Echeverria-Enriquez, A. [Univ. Politecnica de Cataluna, Barcelona (Spain). Departamento de Matematica Aplicada y Telematica; Munoz-Lecanda, M.C. [Univ. Politecnica de Cataluna, Barcelona (Spain). Departamento de Matematica Aplicada y Telematica; Roman-Roy, N. [Univ. Politecnica de Cataluna, Barcelona (Spain). Departamento de Matematica Aplicada y Telematica
1996-10-01
We construct a lagrangian geometric formulation for first-order field theories using the canonical structures of first-order jet bundles, which are taken as the phase spaces of the systems in consideration. First of all, we construct all the geometric structures associated with a first-order jet bundle and, using them, we develop the lagrangian formalism, defining the canonical forms associated with a lagrangian density and the density of lagrangian energy, obtaining the Euler-Lagrange equations in two equivalent ways: as the result of a variational problem and developing the jet field formalism (which is a formulation more similar to the case of mechanical systems). A statement and proof of Noether`s theorem is also given, using the latter formalism. Finally, some classical examples are briefly studied. (orig.)
Jamison, J. W.
1994-01-01
CFORM was developed by the Kennedy Space Center Robotics Lab to assist in linear control system design and analysis using closed form and transient response mechanisms. The program computes the closed form solution and transient response of a linear (constant coefficient) differential equation. CFORM allows a choice of three input functions: the Unit Step (a unit change in displacement); the Ramp function (step velocity); and the Parabolic function (step acceleration). It is only accurate in cases where the differential equation has distinct roots, and does not handle the case for roots at the origin (s=0). Initial conditions must be zero. Differential equations may be input to CFORM in two forms - polynomial and product of factors. In some linear control analyses, it may be more appropriate to use a related program, Linear Control System Design and Analysis (KSC-11376), which uses root locus and frequency response methods. CFORM was written in VAX FORTRAN for a VAX 11/780 under VAX VMS 4.7. It has a central memory requirement of 30K. CFORM was developed in 1987.
Formalization of the Resolution Calculus for First-Order Logic
Schlichtkrull, Anders
2016-01-01
A formalization in Isabelle/HOL of the resolution calculus for first-order logic is presented. Its soundness and completeness are formally proven using the substitution lemma, semantic trees, Herbrand’s theorem, and the lifting lemma. In contrast to previous formalizations of resolution, it consi......A formalization in Isabelle/HOL of the resolution calculus for first-order logic is presented. Its soundness and completeness are formally proven using the substitution lemma, semantic trees, Herbrand’s theorem, and the lifting lemma. In contrast to previous formalizations of resolution...
Martini, Ruud; Kersten, P.H.M.
1983-01-01
Using 1-1 mappings, the complete symmetry groups of contact transformations of general linear second-order ordinary differential equations are determined from two independent solutions of those equations, and applied to the harmonic oscillator with and without damping.
Some Additional Remarks on the Cumulant Expansion for Linear Stochastic Differential Equations
Roerdink, J.B.T.M.
1984-01-01
We summarize our previous results on cumulant expansions for linear stochastic differential equations with correlated multipliclative and additive noise. The application of the general formulas to equations with statistically independent multiplicative and additive noise is reconsidered in detail,
Some additional remarks on the cumulant expansion for linear stochastic differential equations
Roerdink, J.B.T.M.
1984-01-01
We summarize our previous results on cumular expasions for linear stochastic differential equations with correlated multipliclative and additive noise. The application of the general formulas to equations with statistically independent multiplicative and additive noise is reconsidered in detail,
Sloss, J. M.; Kranzler, S. K.
1972-01-01
The equivalence of a considered integral equation form with an infinite system of linear equations is proved, and the localization of the eigenvalues of the infinite system is expressed. Error estimates are derived, and the problems of finding upper bounds and lower bounds for the eigenvalues are solved simultaneously.
Increase in speed of Wilkinson-type ADC and improvement of differential non-linearity
Kinbara, S [Japan Atomic Energy Research Inst., Tokai, Ibaraki. Tokai Research Establishment
1977-06-01
It is shown that the differential non-linearity of a Wilkinson-type analog-to-digital converter (ADC) is dominated by the unbalance of even-numbered periods caused by the action of interference resulting from operation of a channel scaler. To improve this situation, new methods were tested which allow such action of interference to be dispersed. Measurements show that a differential non-linearity value of +- 0.043% is attainable for a clock rate of 300 MHz.
Growth of meromorphic solutions of higher-order linear differential equations
Wenjuan Chen
2009-01-01
Full Text Available In this paper, we investigate the higher-order linear differential equations with meromorphic coefficients. We improve and extend a result of M.S. Liu and C.L. Yuan, by using the estimates for the logarithmic derivative of a transcendental meromorphic function due to Gundersen, and the extended Winman-Valiron theory which proved by J. Wang and H.X. Yi. In addition, we also consider the nonhomogeneous linear differential equations.
Mejlbro, Leif
1997-01-01
An alternative formula for the solution of linear differential equations of order n is suggested. When applicable, the suggested method requires fewer and simpler computations than the well-known method using Wronskians.......An alternative formula for the solution of linear differential equations of order n is suggested. When applicable, the suggested method requires fewer and simpler computations than the well-known method using Wronskians....
First order normalization in the perturbed restricted three–body ...
This paper performs the first order normalization that will be employed in the study of the nonlinear stability of triangular points of the perturbed restricted three – body problem with variable mass. The problem is perturbed in the sense that small perturbations are given in the coriolis and centrifugal forces. It is with variable ...
The Resolution Calculus for First-Order Logic
Schlichtkrull, Anders
2016-01-01
This theory is a formalization of the resolution calculus for first-order logic. It is proven sound and complete. The soundness proof uses the substitution lemma, which shows a correspondence between substitutions and updates to an environment. The completeness proof uses semantic trees, i.e. trees...
An improved solution of first order kinetics for biochemical oxygen ...
This paper evaluated selected Biochemical Oxygen Demand first order kinetics methods. Domesticinstitutional wastewaters were collected twice in a month for three months from the Obafemi Awolowo University, Ile-Ife waste stabilization ponds. Biochemical Oxygen Demand concentrations at different days were determined ...
Oscillation criteria for first-order forced nonlinear difference equations
Grace Said R; Agarwal Ravi P; Smith Tim
2006-01-01
Some new criteria for the oscillation of first-order forced nonlinear difference equations of the form Δx(n)+q1(n)xμ(n+1) = q2(n)xλ(n+1)+e(n), where λ, μ are the ratios of positive odd integers 0 <μ < 1 and λ > 1, are established.
First-order optical systems with unimodular eigenvalues
Bastiaans, M.J.; Alieva, T.
2006-01-01
It is shown that a lossless first-order optical system whose real symplectic ray transformation matrix can be diagonalized and has only unimodular eigenvalues, is similar to a separable fractional Fourier transformer in the sense that the ray transformation matrices of the unimodular system and the
Probabilistic peak detection for first-order chromatographic data
Lopatka, M.; Vivó-Truyols, G.; Sjerps, M.J.
2014-01-01
We present a novel algorithm for probabilistic peak detection in first-order chromatographic data. Unlike conventional methods that deliver a binary answer pertaining to the expected presence or absence of a chromatographic peak, our method calculates the probability of a point being affected by
Multidimensional first-order dominance comparisons of population wellbeing
Arndt, Thomas Channing; Siersbæk, Nikolaj; Østerdal, Lars Peter Raahave
In this paper, we convey the concept of first-order dominance (FOD) with particular focus on applications to multidimensional population welfare comparisons. We give an account of the fundamental equivalent definitions of FOD, illustrated with simple numerical examples. An implementable method...
Multidimensional First-Order Dominance Comparisons of Population Wellbeing
Siersbæk, Nikolaj; Østerdal, Lars Peter Raahave; Arndt, Thomas Channing
2017-01-01
This chapter conveys the concept of first-order dominance (FOD) with particular focus on applications to multidimensional population welfare comparisons. It gives an account of the fundamental equivalent definitions of FOD both in the one-dimensional and multidimensional setting, illustrated...
First-order chemistry in the surface-flux layer
Kristensen, L.; Andersen, C.E.; Ejsing Jørgensen, Hans
1997-01-01
of a characteristic turbulent time scale and the scalar mean lifetime. We show that if we use only first-order closure and neglect the effect of the Damkohler ratio on the turbulent diffusivity we obtain another analytic solution for the profiles of the flux and the mean concentration which, from an experimental...
Dumbser, Michael; Guercilena, Federico; Köppel, Sven; Rezzolla, Luciano; Zanotti, Olindo
2018-04-01
We present a strongly hyperbolic first-order formulation of the Einstein equations based on the conformal and covariant Z4 system (CCZ4) with constraint-violation damping, which we refer to as FO-CCZ4. As CCZ4, this formulation combines the advantages of a conformal and traceless formulation, with the suppression of constraint violations given by the damping terms, but being first order in time and space, it is particularly suited for a discontinuous Galerkin (DG) implementation. The strongly hyperbolic first-order formulation has been obtained by making careful use of first and second-order ordering constraints. A proof of strong hyperbolicity is given for a selected choice of standard gauges via an analytical computation of the entire eigenstructure of the FO-CCZ4 system. The resulting governing partial differential equations system is written in nonconservative form and requires the evolution of 58 unknowns. A key feature of our formulation is that the first-order CCZ4 system decouples into a set of pure ordinary differential equations and a reduced hyperbolic system of partial differential equations that contains only linearly degenerate fields. We implement FO-CCZ4 in a high-order path-conservative arbitrary-high-order-method-using-derivatives (ADER)-DG scheme with adaptive mesh refinement and local time-stepping, supplemented with a third-order ADER-WENO subcell finite-volume limiter in order to deal with singularities arising with black holes. We validate the correctness of the formulation through a series of standard tests in vacuum, performed in one, two and three spatial dimensions, and also present preliminary results on the evolution of binary black-hole systems. To the best of our knowledge, these are the first successful three-dimensional simulations of moving punctures carried out with high-order DG schemes using a first-order formulation of the Einstein equations.
A differential-geometric approach to generalized linear models with grouped predictors
Augugliaro, Luigi; Mineo, Angelo M.; Wit, Ernst C.
We propose an extension of the differential-geometric least angle regression method to perform sparse group inference in a generalized linear model. An efficient algorithm is proposed to compute the solution curve. The proposed group differential-geometric least angle regression method has important
Mallet, D. G.; McCue, S. W.
2009-01-01
The solution of linear ordinary differential equations (ODEs) is commonly taught in first-year undergraduate mathematics classrooms, but the understanding of the concept of a solution is not always grasped by students until much later. Recognizing what it is to be a solution of a linear ODE and how to postulate such solutions, without resorting to…
Kalmykov, Mikhail Yu.; Kniehl, Bernd A.
2012-05-01
We argue that the Mellin-Barnes representations of Feynman diagrams can be used for obtaining linear systems of homogeneous differential equations for the original Feynman diagrams with arbitrary powers of propagators without recourse to the integration-by-parts technique. These systems of differential equation can be used (i) for the differential reductions to sets of basic functions and (ii) for counting the numbers of master-integrals.
Hyers-Ulam stability of linear second-order differential equations in complex Banach spaces
Yongjin Li
2013-08-01
Full Text Available We prove the Hyers-Ulam stability of linear second-order differential equations in complex Banach spaces. That is, if y is an approximate solution of the differential equation $y''+ alpha y'(t +eta y = 0$ or $y''+ alpha y'(t +eta y = f(t$, then there exists an exact solution of the differential equation near to y.
Asymptotic behavior of solutions of linear multi-order fractional differential equation systems
Diethelm, Kai; Siegmund, Stefan; Tuan, H. T.
2017-01-01
In this paper, we investigate some aspects of the qualitative theory for multi-order fractional differential equation systems. First, we obtain a fundamental result on the existence and uniqueness for multi-order fractional differential equation systems. Next, a representation of solutions of homogeneous linear multi-order fractional differential equation systems in series form is provided. Finally, we give characteristics regarding the asymptotic behavior of solutions to some classes of line...
Differentiability of Palmer's linearization Theorem and converse result for density functions
Castañeda, Alvaro; Robledo, Gonzalo
2014-01-01
We study differentiability properties in a particular case of the Palmer's linearization Theorem, which states the existence of an homeomorphism $H$ between the solutions of a linear ODE system having exponential dichotomy and a quasilinear system. Indeed, if the linear system is uniformly asymptotically stable, sufficient conditions ensuring that $H$ is a $C^{2}$ preserving orientation diffeomorphism are given. As an application, we generalize a converse result of density functions for a non...
A linear functional differential equation with distributions in the input
Vadim Z. Tsalyuk
2003-10-01
Full Text Available This paper studies the functional differential equation $$ dot x(t = int_a^t {d_s R(t,s, x(s} + F'(t, quad t in [a,b], $$ where $F'$ is a generalized derivative, and $R(t,cdot$ and $F$ are functions of bounded variation. A solution is defined by the difference $x - F$ being absolutely continuous and satisfying the inclusion $$ frac{d}{dt} (x(t - F(t in int_a^t {d_s R(t,s,x(s}. $$ Here, the integral in the right is the multivalued Stieltjes integral presented in cite{VTs1} (in this article we review and extend the results in cite{VTs1}. We show that the solution set for the initial-value problem is nonempty, compact, and convex. A solution $x$ is said to have memory if there exists the function $x$ such that $x(a = x(a$, $x(b = x(b$, $ x(t in [x(t-0,x(t+0]$ for $t in (a,b$, and $frac{d}{dt} (x(t - F(t = int_a^t {d_s R(t,s,{x}(s}$, where Lebesgue-Stieltjes integral is used. We show that such solutions form a nonempty, compact, and convex set. It is shown that solutions with memory obey the Cauchy-type formula $$ x(t in C(t,ax(a + int_a^t C(t,s, dF(s. $$
From the hypergeometric differential equation to a non-linear Schrödinger one
Plastino, A.; Rocca, M.C.
2015-01-01
We show that the q-exponential function is a hypergeometric function. Accordingly, it obeys the hypergeometric differential equation. We demonstrate that this differential equation can be transformed into a non-linear Schrödinger equation (NLSE). This NLSE exhibits both similarities and differences vis-a-vis the Nobre–Rego-Monteiro–Tsallis one. - Highlights: • We show that the q-exponential is a hypergeometric function. • It thus obeys the hypergeometric differential equation (HDE). • We show that the HDE can be cast as a non-linear Schrödinger equation. • This is different from the Nobre, Rego-Monteiro, Tsallis one.
Introduction to differential equations
Taylor, Michael E
2011-01-01
The mathematical formulations of problems in physics, economics, biology, and other sciences are usually embodied in differential equations. The analysis of the resulting equations then provides new insight into the original problems. This book describes the tools for performing that analysis. The first chapter treats single differential equations, emphasizing linear and nonlinear first order equations, linear second order equations, and a class of nonlinear second order equations arising from Newton's laws. The first order linear theory starts with a self-contained presentation of the exponen
Grigoriu, Mircea; Samorodnitsky, Gennady
2004-01-01
Two methods are considered for assessing the asymptotic stability of the trivial solution of linear stochastic differential equations driven by Poisson white noise, interpreted as the formal derivative of a compound Poisson process. The first method attempts to extend a result for diffusion processes satisfying linear stochastic differential equations to the case of linear equations with Poisson white noise. The developments for the method are based on Ito's formula for semimartingales and Lyapunov exponents. The second method is based on a geometric ergodic theorem for Markov chains providing a criterion for the asymptotic stability of the solution of linear stochastic differential equations with Poisson white noise. Two examples are presented to illustrate the use and evaluate the potential of the two methods. The examples demonstrate limitations of the first method and the generality of the second method
A Bayesian Interpretation of First-Order Phase Transitions
Davis, Sergio; Peralta, Joaquín; Navarrete, Yasmín; González, Diego; Gutiérrez, Gonzalo
2016-03-01
In this work we review the formalism used in describing the thermodynamics of first-order phase transitions from the point of view of maximum entropy inference. We present the concepts of transition temperature, latent heat and entropy difference between phases as emergent from the more fundamental concept of internal energy, after a statistical inference analysis. We explicitly demonstrate this point of view by making inferences on a simple game, resulting in the same formalism as in thermodynamical phase transitions. We show that analogous quantities will inevitably arise in any problem of inferring the result of a yes/no question, given two different states of knowledge and information in the form of expectation values. This exposition may help to clarify the role of these thermodynamical quantities in the context of different first-order phase transitions such as the case of magnetic Hamiltonians (e.g. the Potts model).
A First-Order One-Pass CPS Transformation
Danvy, Olivier; Nielsen, Lasse Reichstein
2001-01-01
We present a new transformation of λ-terms into continuation-passing style (CPS). This transformation operates in one pass and is both compositional and first-order. Previous CPS transformations only enjoyed two out of the three properties of being first-order, one-pass, and compositional......, but the new transformation enjoys all three properties. It is proved correct directly by structural induction over source terms instead of indirectly with a colon translation, as in Plotkin's original proof. Similarly, it makes it possible to reason about CPS-transformed terms by structural induction over...... source terms, directly.The new CPS transformation connects separately published approaches to the CPS transformation. It has already been used to state a new and simpler correctness proof of a direct-style transformation, and to develop a new and simpler CPS transformation of control-flow information....
A First-Order One-Pass CPS Transformation
Danvy, Olivier; Nielsen, Lasse Reichstein
2002-01-01
We present a new transformation of call-by-value lambdaterms into continuation-passing style (CPS). This transformation operates in one pass and is both compositional and first-order. Because it operates in one pass, it directly yields compact CPS programs that are comparable to what one would...... write by hand. Because it is compositional, it allows proofs by structural induction. Because it is first-order, reasoning about it does not require the use of a logical relation. This new CPS transformation connects two separate lines of research. It has already been used to state a new and simpler...... correctness proof of a direct-style transformation, and to develop a new and simpler CPS transformation of control-flow information....
A First-Order One-Pass CPS Transformation
Danvy, Olivier; Nielsen, Lasse Reichstein
2003-01-01
We present a new transformation of λ-terms into continuation-passing style (CPS). This transformation operates in one pass and is both compositional and first-order. Previous CPS transformations only enjoyed two out of the three properties of being first-order, one-pass, and compositional......, but the new transformation enjoys all three properties. It is proved correct directly by structural induction over source terms instead of indirectly with a colon translation, as in Plotkin's original proof. Similarly, it makes it possible to reason about CPS-transformed terms by structural induction over...... source terms, directly.The new CPS transformation connects separately published approaches to the CPS transformation. It has already been used to state a new and simpler correctness proof of a direct-style transformation, and to develop a new and simpler CPS transformation of control-flow information....
First-order error budgeting for LUVOIR mission
Lightsey, Paul A.; Knight, J. Scott; Feinberg, Lee D.; Bolcar, Matthew R.; Shaklan, Stuart B.
2017-09-01
Future large astronomical telescopes in space will have architectures that will have complex and demanding requirements to meet the science goals. The Large UV/Optical/IR Surveyor (LUVOIR) mission concept being assessed by the NASA/Goddard Space Flight Center is expected to be 9 to 15 meters in diameter, have a segmented primary mirror and be diffraction limited at a wavelength of 500 nanometers. The optical stability is expected to be in the picometer range for minutes to hours. Architecture studies to support the NASA Science and Technology Definition teams (STDTs) are underway to evaluate systems performance improvements to meet the science goals. To help define the technology needs and assess performance, a first order error budget has been developed. Like the JWST error budget, the error budget includes the active, adaptive and passive elements in spatial and temporal domains. JWST performance is scaled using first order approximations where appropriate and includes technical advances in telescope control.
Gravitational radiation from first-order phase transitions
Child, Hillary L.; Giblin, John T. Jr.
2012-01-01
It is believed that first-order phase transitions at or around the GUT scale will produce high-frequency gravitational radiation. This radiation is a consequence of the collisions and coalescence of multiple bubbles during the transition. We employ high-resolution lattice simulations to numerically evolve a system of bubbles using only scalar fields, track the anisotropic stress during the process and evolve the metric perturbations associated with gravitational radiation. Although the radiation produced during the bubble collisions has previously been estimated, we find that the coalescence phase enhances this radiation even in the absence of a coupled fluid or turbulence. We comment on how these simulations scale and propose that the same enhancement should be found at the Electroweak scale; this modification should make direct detection of a first-order electroweak phase transition easier
Energy Budget of Cosmological First-order Phase Transitions
Espinosa, Jose R; No, Jose M; Servant, Geraldine
2010-01-01
The study of the hydrodynamics of bubble growth in first-order phase transitions is very relevant for electroweak baryogenesis, as the baryon asymmetry depends sensitively on the bubble wall velocity, and also for predicting the size of the gravity wave signal resulting from bubble collisions, which depends on both the bubble wall velocity and the plasma fluid velocity. We perform such study in different bubble expansion regimes, namely deflagrations, detonations, hybrids (steady states) and runaway solutions (accelerating wall), without relying on a specific particle physics model. We compute the efficiency of the transfer of vacuum energy to the bubble wall and the plasma in all regimes. We clarify the condition determining the runaway regime and stress that in most models of strong first-order phase transitions this will modify expectations for the gravity wave signal. Indeed, in this case, most of the kinetic energy is concentrated in the wall and almost no turbulent fluid motions are expected since the s...
Displacement Convexity for First-Order Mean-Field Games
Seneci, Tommaso
2018-05-01
In this thesis, we consider the planning problem for first-order mean-field games (MFG). These games degenerate into optimal transport when there is no coupling between players. Our aim is to extend the concept of displacement convexity from optimal transport to MFGs. This extension gives new estimates for solutions of MFGs. First, we introduce the Monge-Kantorovich problem and examine related results on rearrangement maps. Next, we present the concept of displacement convexity. Then, we derive first-order MFGs, which are given by a system of a Hamilton-Jacobi equation coupled with a transport equation. Finally, we identify a large class of functions, that depend on solutions of MFGs, which are convex in time. Among these, we find several norms. This convexity gives bounds for the density of solutions of the planning problem.
Local divergence and curvature divergence in first order optics
Mafusire, Cosmas; Krüger, Tjaart P. J.
2018-06-01
The far-field divergence of a light beam propagating through a first order optical system is presented as a square root of the sum of the squares of the local divergence and the curvature divergence. The local divergence is defined as the ratio of the beam parameter product to the beam width whilst the curvature divergence is a ratio of the space-angular moment also to the beam width. It is established that the beam’s focusing parameter can be defined as a ratio of the local divergence to the curvature divergence. The relationships between the two divergences and other second moment-based beam parameters are presented. Their various mathematical properties are presented such as their evolution through first order systems. The efficacy of the model in the analysis of high power continuous wave laser-based welding systems is briefly discussed.
Gravitational radiation from first-order phase transitions
Child, Hillary L.; Giblin, John T. Jr., E-mail: childh@kenyon.edu, E-mail: giblinj@kenyon.edu [Department of Physics, Kenyon College, 201 North College Road, Gambier, OH 43022 (United States)
2012-10-01
It is believed that first-order phase transitions at or around the GUT scale will produce high-frequency gravitational radiation. This radiation is a consequence of the collisions and coalescence of multiple bubbles during the transition. We employ high-resolution lattice simulations to numerically evolve a system of bubbles using only scalar fields, track the anisotropic stress during the process and evolve the metric perturbations associated with gravitational radiation. Although the radiation produced during the bubble collisions has previously been estimated, we find that the coalescence phase enhances this radiation even in the absence of a coupled fluid or turbulence. We comment on how these simulations scale and propose that the same enhancement should be found at the Electroweak scale; this modification should make direct detection of a first-order electroweak phase transition easier.
First-Order Polynomial Heisenberg Algebras and Coherent States
Castillo-Celeita, M; Fernández C, D J
2016-01-01
The polynomial Heisenberg algebras (PHA) are deformations of the Heisenberg- Weyl algebra characterizing the underlying symmetry of the supersymmetric partners of the Harmonic oscillator. When looking for the simplest system ruled by PHA, however, we end up with the harmonic oscillator. In this paper we are going to realize the first-order PHA through the harmonic oscillator. The associated coherent states will be also constructed, which turn out to be the well known even and odd coherent states. (paper)
Nucleation of relativistic first-order phase transitions
Csernai, L.P.; Kapusta, J.I.
1992-01-01
The authors apply the general formalism of Langer to compute the nucleation rate for systems of relativistic particles with zero or small baryon number density and which undergo first-order phase transitions. In particular, the pre-exponential factor is computed and it is proportional to the viscosity. The initial growth rate of a critical size bubble or droplet is limited by the ability of dissipative processes to transport latent heat away from the surface. 30 refs., 4 figs
First order phase transition of expanding matter and its fragmentation
Chikazumi, Shinpei; Iwamoto, Akira
2002-01-01
Using an expanding matter model with a Lennard-Jones potential, the instability of the expanding system is investigated. The pressure, the temperature, and the density fluctuations are calculated as functions of density during the time evolution of the expanding matter, which are compared to the coexistence curve calculated by the Gibbs ensemble. The expanding matter undergoes the first order phase transition in the limit of the quasistatic expansion. The resultant fragment mass distributions are also investigated. (author)
Code Generation for a Simple First-Order Prover
Villadsen, Jørgen; Schlichtkrull, Anders; Halkjær From, Andreas
2016-01-01
We present Standard ML code generation in Isabelle/HOL of a sound and complete prover for first-order logic, taking formalizations by Tom Ridge and others as the starting point. We also define a set of so-called unfolding rules and show how to use these as a simple prover, with the aim of using t...... the approach for teaching logic and verification to computer science students at the bachelor level....
First order phase transition of a long polymer chain
Aristoff, David; Radin, Charles
2011-01-01
We consider a model consisting of a self-avoiding polygon occupying a variable density of the sites of a square lattice. A fixed energy is associated with each 90 0 bend of the polygon. We use a grand canonical ensemble, introducing parameters μ and β to control average density and average (total) energy of the polygon, and show by Monte Carlo simulation that the model has a first order, nematic phase transition across a curve in the β-μ plane.
Issues concerning gravity waves from first-order phase transitions
Kosowsky, A.
1993-01-01
The stochastic background of gravitational radiation is a unique and potentially valuable source of information about the early universe. Photons thermally decoupled when the universe was around 100,000 years old; electromagnetic radiation cannot directly provide information about the epoch earlier than this. In contrast, gravitons presumably decoupled around the Planck time, when the universe was only 10 -44 seconds old. Since gravity wave propagate virtually unimpeded, any energetic event in the evolution of the universe will leave an imprint on the gravity wave background. Turner and Wilczek first suggested that first-order phase transitions, and particularly transitions which occur via the nucleation, expansion, and percolation of vacuum bubbles, will be a particularly efficient source of gravitational radiation. Detailed calculations with scalar-field vacuum bubbles confirm this conjecture and show that strongly first-order phase transitions are probably the strongest stochastic gravity-wave source yet conjectured. In this work the author first reviews the vacuum bubble calculations, stressing their physical assumptions. The author then discusses realistic scenarios for first-order phase transitions and describes how the calculations must be modified and extended to produce reliable results. 11 refs
Tornøe, Christoffer Wenzel; Agersø, Henrik; Madsen, Henrik
2004-01-01
The standard software for non-linear mixed-effect analysis of pharmacokinetic/phar-macodynamic (PK/PD) data is NONMEM while the non-linear mixed-effects package NLME is an alternative as tong as the models are fairly simple. We present the nlmeODE package which combines the ordinary differential...... equation (ODE) solver package odesolve and the non-Linear mixed effects package NLME thereby enabling the analysis of complicated systems of ODEs by non-linear mixed-effects modelling. The pharmacokinetics of the anti-asthmatic drug theophylline is used to illustrate the applicability of the nlme...
Temporal aggregation in first order cointegrated vector autoregressive models
La Cour, Lisbeth Funding; Milhøj, Anders
We study aggregation - or sample frequencies - of time series, e.g. aggregation from weekly to monthly or quarterly time series. Aggregation usually gives shorter time series but spurious phenomena, in e.g. daily observations, can on the other hand be avoided. An important issue is the effect of ...... of aggregation on the adjustment coefficient in cointegrated systems. We study only first order vector autoregressive processes for n dimensional time series Xt, and we illustrate the theory by a two dimensional and a four dimensional model for prices of various grades of gasoline...
Temporal aggregation in first order cointegrated vector autoregressive
la Cour, Lisbeth Funding; Milhøj, Anders
2006-01-01
We study aggregation - or sample frequencies - of time series, e.g. aggregation from weekly to monthly or quarterly time series. Aggregation usually gives shorter time series but spurious phenomena, in e.g. daily observations, can on the other hand be avoided. An important issue is the effect of ...... of aggregation on the adjustment coefficient in cointegrated systems. We study only first order vector autoregressive processes for n dimensional time series Xt, and we illustrate the theory by a two dimensional and a four dimensional model for prices of various grades of gasoline....
First Order Description of Black Holes in Moduli Space
Andrianopoli, Laura; Orazi, Emanuele; Trigiante, Mario
2007-01-01
We show that the second order field equations characterizing extremal solutions for spherically symmetric, stationary black holes are in fact implied by a system of first order equations given in terms of a prepotential W. This confirms and generalizes the results in hep-th/0702088. When the black holes are solutions of extended supergravities we are able to find an explicit expression for the prepotentials which reproduce all the attractors of the four dimensional N>2 theories. We discuss a possible extension of our considerations to the non extremal case.
First Order Dominance Techniques and Multidimensional Poverty Indices
Permanyer, Iñaki; Hussain, M. Azhar
2017-01-01
In this empirically driven paper we compare the performance of two techniques in the literature of poverty measurement with ordinal data: multidimensional poverty indices and first order dominance techniques (FOD). Combining multiple scenario simulated data with observed data from 48 Demographic...... between those country comparisons that are sensitive to alternative specifications of basic measurement assumptions and those which are not. To the extent that the FOD approach is able to uncover the socio-economic gradient that exists between countries, it can be proposed as a viable complement...
Semistability of first-order evolution variational inequalities
Hassan Saoud
2015-10-01
Full Text Available Semistability is the property whereby the solutions of a dynamical system converge to a Lyapunov stable equilibrium point determined by the system initial conditions. We extend the theory of semistability to a class of first-order evolution variational inequalities, and study the finite-time semistability. These results are Lyapunov-based and are obtained without any assumptions of sign definiteness on the Lyapunov function. Our results are supported by some examples from unilateral mechanics and electrical circuits involving nonsmooth elements such as Coulomb's friction forces and diodes.
Quasivariational Solutions for First Order Quasilinear Equations with Gradient Constraint
Rodrigues, José Francisco; Santos, Lisa
2012-08-01
We prove the existence of solutions for a quasi-variational inequality of evolution with a first order quasilinear operator and a variable convex set which is characterized by a constraint on the absolute value of the gradient that depends on the solution itself. The only required assumption on the nonlinearity of this constraint is its continuity and positivity. The method relies on an appropriate parabolic regularization and suitable a priori estimates. We also obtain the existence of stationary solutions by studying the asymptotic behaviour in time. In the variational case, corresponding to a constraint independent of the solution, we also give uniqueness results.
Non-cooperative stochastic differential game theory of generalized Markov jump linear systems
Zhang, Cheng-ke; Zhou, Hai-ying; Bin, Ning
2017-01-01
This book systematically studies the stochastic non-cooperative differential game theory of generalized linear Markov jump systems and its application in the field of finance and insurance. The book is an in-depth research book of the continuous time and discrete time linear quadratic stochastic differential game, in order to establish a relatively complete framework of dynamic non-cooperative differential game theory. It uses the method of dynamic programming principle and Riccati equation, and derives it into all kinds of existence conditions and calculating method of the equilibrium strategies of dynamic non-cooperative differential game. Based on the game theory method, this book studies the corresponding robust control problem, especially the existence condition and design method of the optimal robust control strategy. The book discusses the theoretical results and its applications in the risk control, option pricing, and the optimal investment problem in the field of finance and insurance, enriching the...
Stability of numerical method for semi-linear stochastic pantograph differential equations
Yu Zhang
2016-01-01
Full Text Available Abstract As a particular expression of stochastic delay differential equations, stochastic pantograph differential equations have been widely used in nonlinear dynamics, quantum mechanics, and electrodynamics. In this paper, we mainly study the stability of analytical solutions and numerical solutions of semi-linear stochastic pantograph differential equations. Some suitable conditions for the mean-square stability of an analytical solution are obtained. Then we proved the general mean-square stability of the exponential Euler method for a numerical solution of semi-linear stochastic pantograph differential equations, that is, if an analytical solution is stable, then the exponential Euler method applied to the system is mean-square stable for arbitrary step-size h > 0 $h>0$ . Numerical examples further illustrate the obtained theoretical results.
First-order discrete Faddeev gravity at strongly varying fields
Khatsymovsky, V. M.
2017-11-01
We consider the Faddeev formulation of general relativity (GR), which can be characterized by a kind of d-dimensional tetrad (typically d = 10) and a non-Riemannian connection. This theory is invariant w.r.t. the global, but not local, rotations in the d-dimensional space. There can be configurations with a smooth or flat metric, but with the tetrad that changes abruptly at small distances, a kind of “antiferromagnetic” structure. Previously, we discussed a first-order representation for the Faddeev gravity, which uses the orthogonal connection in the d-dimensional space as an independent variable. Using the discrete form of this formulation, we considered the spectrum of (elementary) area. This spectrum turns out to be physically reasonable just on a classical background with large connection like rotations by π, that is, with such an “antiferromagnetic” structure. In the discrete first-order Faddeev gravity, we consider such a structure with periodic cells and large connection and strongly changing tetrad field inside the cell. We show that this system in the continuum limit reduces to a generalization of the Faddeev system. The action is a sum of related actions of the Faddeev type and is still reduced to the GR action.
Şuayip Yüzbaşı
2017-03-01
Full Text Available In this paper, we suggest a matrix method for obtaining the approximate solutions of the delay linear Fredholm integro-differential equations with constant coefficients using the shifted Legendre polynomials. The problem is considered with mixed conditions. Using the required matrix operations, the delay linear Fredholm integro-differential equation is transformed into a matrix equation. Additionally, error analysis for the method is presented using the residual function. Illustrative examples are given to demonstrate the efficiency of the method. The results obtained in this study are compared with the known results.
Chemical networks with inflows and outflows: a positive linear differential inclusions approach.
Angeli, David; De Leenheer, Patrick; Sontag, Eduardo D
2009-01-01
Certain mass-action kinetics models of biochemical reaction networks, although described by nonlinear differential equations, may be partially viewed as state-dependent linear time-varying systems, which in turn may be modeled by convex compact valued positive linear differential inclusions. A result is provided on asymptotic stability of such inclusions, and applied to a ubiquitous biochemical reaction network with inflows and outflows, known as the futile cycle. We also provide a characterization of exponential stability of general homogeneous switched systems which is not only of interest in itself, but also plays a role in the analysis of the futile cycle. 2009 American Institute of Chemical Engineers
ADM For Solving Linear Second-Order Fredholm Integro-Differential Equations
Karim, Mohd F.; Mohamad, Mahathir; Saifullah Rusiman, Mohd; Che-Him, Norziha; Roslan, Rozaini; Khalid, Kamil
2018-04-01
In this paper, we apply Adomian Decomposition Method (ADM) as numerically analyse linear second-order Fredholm Integro-differential Equations. The approximate solutions of the problems are calculated by Maple package. Some numerical examples have been considered to illustrate the ADM for solving this equation. The results are compared with the existing exact solution. Thus, the Adomian decomposition method can be the best alternative method for solving linear second-order Fredholm Integro-Differential equation. It converges to the exact solution quickly and in the same time reduces computational work for solving the equation. The result obtained by ADM shows the ability and efficiency for solving these equations.
The numerical solution of linear multi-term fractional differential equations: systems of equations
Edwards, John T.; Ford, Neville J.; Simpson, A. Charles
2002-11-01
In this paper, we show how the numerical approximation of the solution of a linear multi-term fractional differential equation can be calculated by reduction of the problem to a system of ordinary and fractional differential equations each of order at most unity. We begin by showing how our method applies to a simple class of problems and we give a convergence result. We solve the Bagley Torvik equation as an example. We show how the method can be applied to a general linear multi-term equation and give two further examples.
Zhou, L.-Q.; Meleshko, S. V.
2017-07-01
The group analysis method is applied to a system of integro-differential equations corresponding to a linear thermoviscoelastic model. A recently developed approach for calculating the symmetry groups of such equations is used. The general solution of the determining equations for the system is obtained. Using subalgebras of the admitted Lie algebra, two classes of partially invariant solutions of the considered system of integro-differential equations are studied.
GDTM-Padé technique for the non-linear differential-difference equation
Lu Jun-Feng
2013-01-01
Full Text Available This paper focuses on applying the GDTM-Padé technique to solve the non-linear differential-difference equation. The bell-shaped solitary wave solution of Belov-Chaltikian lattice equation is considered. Comparison between the approximate solutions and the exact ones shows that this technique is an efficient and attractive method for solving the differential-difference equations.
Non-linear partial differential equations an algebraic view of generalized solutions
Rosinger, Elemer E
1990-01-01
A massive transition of interest from solving linear partial differential equations to solving nonlinear ones has taken place during the last two or three decades. The availability of better computers has often made numerical experimentations progress faster than the theoretical understanding of nonlinear partial differential equations. The three most important nonlinear phenomena observed so far both experimentally and numerically, and studied theoretically in connection with such equations have been the solitons, shock waves and turbulence or chaotical processes. In many ways, these phenomen
Musa Danjuma SHEHU
2008-06-01
Full Text Available This paper lays emphasis on formulation of two dimensional differential games via optimal control theory and consideration of control systems whose dynamics is described by a system of Ordinary Differential equation in the form of linear equation under the influence of two controls U(. and V(.. Base on this, strategies were constructed. Hence we determine the optimal strategy for a control say U(. under a perturbation generated by the second control V(. within a given manifold M.
Multi-point boundary value problems for linear functional-differential equations
Domoshnitsky, A.; Hakl, Robert; Půža, Bedřich
2017-01-01
Roč. 24, č. 2 (2017), s. 193-206 ISSN 1072-947X Institutional support: RVO:67985840 Keywords : boundary value problems * linear functional- differential equations * functional- differential inequalities Subject RIV: BA - General Mathematics OBOR OECD: Applied mathematics Impact factor: 0.290, year: 2016 https://www.degruyter.com/view/j/gmj.2017.24.issue-2/gmj-2016-0076/gmj-2016-0076.xml
Granita; Bahar, A.
2015-01-01
This paper discusses on linear birth and death with immigration and emigration (BIDE) process to stochastic differential equation (SDE) model. Forward Kolmogorov equation in continuous time Markov chain (CTMC) with a central-difference approximation was used to find Fokker-Planckequation corresponding to a diffusion process having the stochastic differential equation of BIDE process. The exact solution, mean and variance function of BIDE process was found
Granita, E-mail: granitafc@gmail.com [Dept. Mathematical Education, State Islamic University of Sultan Syarif Kasim Riau, 28293 Indonesia and Dept. of Mathematical Science, Universiti Teknologi Malaysia, 81310,Johor (Malaysia); Bahar, A. [Dept. of Mathematical Science, Universiti Teknologi Malaysia, 81310,Johor Malaysia and UTM Center for Industrial and Applied Mathematics (UTM-CIAM) (Malaysia)
2015-03-09
This paper discusses on linear birth and death with immigration and emigration (BIDE) process to stochastic differential equation (SDE) model. Forward Kolmogorov equation in continuous time Markov chain (CTMC) with a central-difference approximation was used to find Fokker-Planckequation corresponding to a diffusion process having the stochastic differential equation of BIDE process. The exact solution, mean and variance function of BIDE process was found.
Multi-point boundary value problems for linear functional-differential equations
Domoshnitsky, A.; Hakl, Robert; Půža, Bedřich
2017-01-01
Roč. 24, č. 2 (2017), s. 193-206 ISSN 1072-947X Institutional support: RVO:67985840 Keywords : boundary value problems * linear functional-differential equations * functional-differential inequalities Subject RIV: BA - General Mathematics OBOR OECD: Applied mathematics Impact factor: 0.290, year: 2016 https://www.degruyter.com/view/j/gmj.2017.24.issue-2/gmj-2016-0076/gmj-2016-0076. xml
Linear variable differential transformer sensor using glass-covered amorphous wires as active core
Chiriac, H.; Hristoforou, E.; Neagu, Maria; Pieptanariu, M.
2000-01-01
Results concerning linear variable differential transformer (LVDT) displacement sensor using as movable core glass-covered amorphous wires are presented. The LVDT response is linear for a displacement of the movable core up to about 14 mm, with an accuracy of 1 μm. LVDT using glass-covered amorphous wire as an active core presents a high sensitivity and good mechanical and corrosion resistance
Determination of astaxanthin in Haematococcus pluvialis by first-order derivative spectrophotometry.
Liu, Xiao Juan; Juan, Liu Xiao; Wu, Ying Hua; Hua, Wu Ying; Zhao, Li Chao; Chao, Zhao Li; Xiao, Su Yao; Yao, Xiao Su; Zhou, Ai Mei; Mei, Zhou Ai; Liu, Xin; Xin, Liu
2011-01-01
A highly selective, convenient, and precise method, first-order derivative spectrophotometry, was applied for the determination of astaxanthin in Haematococcus pluvialis. Ethyl acetate and ethanol (1:1, v/v) were found to be the best extraction solvent tested due to their high efficiency and low toxicity compared with nine other organic solvents. Astaxanthin coexisting with chlorophyll and beta-carotene was analyzed by first-order derivative spectrophotometry in order to optimize the conditions for the determination of astaxanthin. The results show that when detected at 432 nm, the interfering substances could be eliminated. The dynamic linear range was 2.0-8.0 microg/mL, with a correlation coefficient of 0.9916. The detection threshold was 0.41 microg/mL. The RSD for the determination of astaxanthin was in the range of 0.01-0.06%; the results of recovery test were 98.1-108.0%. The statistical analysis between first-order derivative spectrophotometry and HPLC by T-testing did not exceed their critical values, revealing no significant differences between these two methods. It was proved that first-order derivative spectrophotometry is a rapid and convenient method for the determination of astaxanthin in H. pluvialis that can eliminate the negative effect resulting from the coexistence of astaxanthin with chlorophyll and beta-carotene.
Structural Optimization based on the Concept of First Order Analysis
Shinji, Nishiwaki; Hidekazu, Nishigaki; Yasuaki, Tsurumi; Yoshio, Kojima; Noboru, Kikuchi
2002-01-01
Computer Aided Engineering (CAE) has been successfully utilized in mechanical industries such as the automotive industry. It is, however, difficult for most mechanical design engineers to directly use CAE due to the sophisticated nature of the operations involved. In order to mitigate this problem, a new type of CAE, First Order Analysis (FOA) has been proposed. This paper presents the outcome of research concerning the development of a structural topology optimization methodology within FOA. This optimization method is constructed based on discrete and function-oriented elements such as beam and panel elements, and sequential convex programming. In addition, examples are provided to show the utility of the methodology presented here for mechanical design engineers
Entanglement scaling at first order quantum phase transitions
Yuste, A.; Cartwright, C.; De Chiara, G.; Sanpera, A.
2018-04-01
First order quantum phase transitions (1QPTs) are signalled, in the thermodynamic limit, by discontinuous changes in the ground state properties. These discontinuities affect expectation values of observables, including spatial correlations. When a 1QPT is crossed in the vicinity of a second order one, due to the correlation length divergence of the latter, the corresponding ground state is modified and it becomes increasingly difficult to determine the order of the transition when the size of the system is finite. Here we show that, in such situations, it is possible to apply finite size scaling (FSS) to entanglement measures, as it has recently been done for the order parameters and the energy gap, in order to recover the correct thermodynamic limit (Campostrini et al 2014 Phys. Rev. Lett. 113 070402). Such a FSS can unambiguously discriminate between first and second order phase transitions in the vicinity of multicritical points even when the singularities displayed by entanglement measures lead to controversial results.
Basic first-order model theory in Mizar
Marco Bright Caminati
2010-01-01
Full Text Available The author has submitted to Mizar Mathematical Library a series of five articles introducing a framework for the formalization of classical first-order model theory.In them, Goedel's completeness and Lowenheim-Skolem theorems have also been formalized for the countable case, to offer a first application of it and to showcase its utility.This is an overview and commentary on some key aspects of this setup.It features exposition and discussion of a new encoding of basic definitions and theoretical gears needed for the task, remarks about the design strategies and approaches adopted in their implementation, and more general reflections about proof checking induced by the work done.
Kinetics and thermodynamics of first-order Markov chain copolymerization
Gaspard, P.; Andrieux, D. [Center for Nonlinear Phenomena and Complex Systems, Université Libre de Bruxelles, Code Postal 231, Campus Plaine, B-1050 Brussels (Belgium)
2014-07-28
We report a theoretical study of stochastic processes modeling the growth of first-order Markov copolymers, as well as the reversed reaction of depolymerization. These processes are ruled by kinetic equations describing both the attachment and detachment of monomers. Exact solutions are obtained for these kinetic equations in the steady regimes of multicomponent copolymerization and depolymerization. Thermodynamic equilibrium is identified as the state at which the growth velocity is vanishing on average and where detailed balance is satisfied. Away from equilibrium, the analytical expression of the thermodynamic entropy production is deduced in terms of the Shannon disorder per monomer in the copolymer sequence. The Mayo-Lewis equation is recovered in the fully irreversible growth regime. The theory also applies to Bernoullian chains in the case where the attachment and detachment rates only depend on the reacting monomer.
Correlation functions in first-order phase transitions
Garrido, V.; Crespo, D.
1997-09-01
Most of the physical properties of systems underlying first-order phase transitions can be obtained from the spatial correlation functions. In this paper, we obtain expressions that allow us to calculate all the correlation functions from the droplet size distribution. Nucleation and growth kinetics is considered, and exact solutions are obtained for the case of isotropic growth by using self-similarity properties. The calculation is performed by using the particle size distribution obtained by a recently developed model (populational Kolmogorov-Johnson-Mehl-Avrami model). Since this model is less restrictive than that used in previously existing theories, the result is that the correlation functions can be obtained for any dependence of the kinetic parameters. The validity of the method is tested by comparison with the exact correlation functions, which had been obtained in the available cases by the time-cone method. Finally, the correlation functions corresponding to the microstructure developed in partitioning transformations are obtained.
Reversible first-order transition in Pauli percolation
Maksymenko, Mykola; Moessner, Roderich; Shtengel, Kirill
2015-06-01
Percolation plays an important role in fields and phenomena as diverse as the study of social networks, the dynamics of epidemics, the robustness of electricity grids, conduction in disordered media, and geometric properties in statistical physics. We analyze a new percolation problem in which the first-order nature of an equilibrium percolation transition can be established analytically and verified numerically. The rules for this site percolation model are physical and very simple, requiring only the introduction of a weight W (n )=n +1 for a cluster of size n . This establishes that a discontinuous percolation transition can occur with qualitatively more local interactions than in all currently considered examples of explosive percolation; and that, unlike these, it can be reversible. This greatly extends both the applicability of such percolation models in principle and their reach in practice.
REGIONAL FIRST ORDER PERIODIC AUTOREGRESSIVE MODELS FOR MONTHLY FLOWS
Ceyhun ÖZÇELİK
2008-01-01
Full Text Available First order periodic autoregressive models is of mostly used models in modeling of time dependency of hydrological flow processes. In these models, periodicity of the correlogram is preserved as well as time dependency of processes. However, the parameters of these models, namely, inter-monthly lag-1 autocorrelation coefficients may be often estimated erroneously from short samples, since they are statistics of high order moments. Therefore, to constitute a regional model may be a solution that can produce more reliable and decisive estimates, and derive models and model parameters in any required point of the basin considered. In this study, definitions of homogeneous region for lag-1 autocorrelation coefficients are made; five parametric and non parametric models are proposed to set regional models of lag-1 autocorrelation coefficients. Regional models are applied on 30 stream flow gauging stations in Seyhan and Ceyhan basins, and tested by criteria of relative absolute bias, simple and relative root of mean square errors.
Testing First-Order Logic Axioms in AutoCert
Ahn, Ki Yung; Denney, Ewen
2009-01-01
AutoCert [2] is a formal verification tool for machine generated code in safety critical domains, such as aerospace control code generated from MathWorks Real-Time Workshop. AutoCert uses Automated Theorem Provers (ATPs) [5] based on First-Order Logic (FOL) to formally verify safety and functional correctness properties of the code. These ATPs try to build proofs based on user provided domain-specific axioms, which can be arbitrary First-Order Formulas (FOFs). These axioms are the most crucial part of the trusted base, since proofs can be submitted to a proof checker removing the need to trust the prover and AutoCert itself plays the part of checking the code generator. However, formulating axioms correctly (i.e. precisely as the user had really intended) is non-trivial in practice. The challenge of axiomatization arise from several dimensions. First, the domain knowledge has its own complexity. AutoCert has been used to verify mathematical requirements on navigation software that carries out various geometric coordinate transformations involving matrices and quaternions. Axiomatic theories for such constructs are complex enough that mistakes are not uncommon. Second, adjusting axioms for ATPs can add even more complexity. The axioms frequently need to be modified in order to have them in a form suitable for use with ATPs. Such modifications tend to obscure the axioms further. Thirdly, speculating validity of the axioms from the output of existing ATPs is very hard since theorem provers typically do not give any examples or counterexamples.
Factorization of a class of almost linear second-order differential equations
Estevez, P G; Kuru, S; Negro, J; Nieto, L M
2007-01-01
A general type of almost linear second-order differential equations, which are directly related to several interesting physical problems, is characterized. The solutions of these equations are obtained using the factorization technique, and their non-autonomous invariants are also found by means of scale transformations
Ai-Min Yang
2014-01-01
Full Text Available The local fractional Laplace variational iteration method was applied to solve the linear local fractional partial differential equations. The local fractional Laplace variational iteration method is coupled by the local fractional variational iteration method and Laplace transform. The nondifferentiable approximate solutions are obtained and their graphs are also shown.
Solutions of half-linear differential equations in the classes Gamma and Pi
Řehák, Pavel; Taddei, V.
2016-01-01
Roč. 29, 7-8 (2016), s. 683-714 ISSN 0893-4983 Institutional support: RVO:67985840 Keywords : half-linear differential equation * positive solution * asymptotic formula Subject RIV: BA - General Mathematics Impact factor: 0.565, year: 2016 http://projecteuclid.org/euclid.die/1462298681
Eck, van H.J.N.; Koppers, W.R.; Rooij, van G.J.; Goedheer, W.J.; Engeln, R.A.H.; Schram, D.C.; Lopes Cardozo, N.J.; Kleyn, A.W.
2009-01-01
The direct simulation Monte Carlo (DSMC) method was used to investigate the efficiency of differential pumping in linear plasma generators operating at high gas flows. Skimmers are used to separate the neutrals from the plasma beam, which is guided from the source to the target by a strong axial
Comparison of nonlinearities in oscillation theory of half-linear differential equations
Řehák, Pavel
2008-01-01
Roč. 121, č. 2 (2008), s. 93-105 ISSN 0236-5294 R&D Projects: GA AV ČR KJB100190701 Institutional research plan: CEZ:AV0Z10190503 Keywords : half-linear differential equation * comparison theorem * Riccati technique Subject RIV: BA - General Mathematics Impact factor: 0.317, year: 2008
Successive approximation analog to digital conversion system with good differential linearity
Carter, D E; Randers-Pehrson, G [Ohio Univ., Athens (USA). Dept. of Physics
1982-08-15
A high speed modified successive approximation 4 input ADC system has been designed and constructed. Throughput rates of 250 kHz at 12 bit conversion gain with good differential linearity is achieved at low cost, using the MPX4 ADC system.
The Use of Graphs in Specific Situations of the Initial Conditions of Linear Differential Equations
Buendía, Gabriela; Cordero, Francisco
2013-01-01
In this article, we present a discussion on the role of graphs and its significance in the relation between the number of initial conditions and the order of a linear differential equation, which is known as the initial value problem. We propose to make a functional framework for the use of graphs that intends to broaden the explanations of the…
Tisdell, Christopher C.
2017-01-01
For over 50 years, the learning of teaching of "a priori" bounds on solutions to linear differential equations has involved a Euclidean approach to measuring the size of a solution. While the Euclidean approach to "a priori" bounds on solutions is somewhat manageable in the learning and teaching of the proofs involving…
A block Krylov subspace time-exact solution method for linear ordinary differential equation systems
Bochev, Mikhail A.
2013-01-01
We propose a time-exact Krylov-subspace-based method for solving linear ordinary differential equation systems of the form $y'=-Ay+g(t)$ and $y"=-Ay+g(t)$, where $y(t)$ is the unknown function. The method consists of two stages. The first stage is an accurate piecewise polynomial approximation of
Roerdink, J.B.T.M.
1981-01-01
The cumulant expansion for linear stochastic differential equations is extended to the general case in which the coefficient matrix, the inhomogeneous part and the initial condition are all random and, moreover, statistically interdependent. The expansion now involves not only the autocorrelation
Myshkis type oscillation criteria for second-order linear delay differential equations
Opluštil, Z.; Šremr, Jiří
2015-01-01
Roč. 178, č. 1 (2015), s. 143-161 ISSN 0026-9255 Institutional support: RVO:67985840 Keywords : linear second-order delay differential equation * oscillation criteria Subject RIV: BA - General Mathematics Impact factor: 0.664, year: 2015 http://link.springer.com/article/10.1007%2Fs00605-014-0719-y
Frank, T D
2005-01-01
Stationary distributions of processes are derived that involve a time delay and are defined by a linear stochastic neutral delay differential equation. The distributions are Gaussian distributions. The variances of the Gaussian distributions are either monotonically increasing or decreasing functions of the time delays. The variances become infinite when fixed points of corresponding deterministic processes become unstable. (letter to the editor)
Linear hyperbolic functional-differential equations with essentially bounded right-hand side
Domoshnitsky, A.; Lomtatidze, Alexander; Maghakyan, A.; Šremr, Jiří
2011-01-01
Roč. 2011, - (2011), s. 242965 ISSN 1085-3375 Institutional research plan: CEZ:AV0Z10190503 Keywords : linear functional-differential equation of hyperbolic type * Darboux problem * unique solvability Subject RIV: BA - General Mathematics Impact factor: 1.318, year: 2011 http://www.hindawi.com/journals/ aaa /2011/242965/
Some oscillation criteria for the second-order linear delay differential equation
Opluštil, Z.; Šremr, Jiří
2011-01-01
Roč. 136, č. 2 (2011), s. 195-204 ISSN 0862-7959 Institutional research plan: CEZ:AV0Z10190503 Keywords : second-order linear differential equation with a delay * oscillatory solution Subject RIV: BA - General Mathematics http://www.dml.cz/handle/10338.dmlcz/141582
Yoshitsugu Takei
2015-01-01
Full Text Available Using two concrete examples, we discuss the multisummability of WKB solutions of singularly perturbed linear ordinary differential equations. Integral representations of solutions and a criterion for the multisummability based on the Cauchy-Heine transform play an important role in the proof.
Boyko, Vyacheslav M; Popovych, Roman O; Shapoval, Nataliya M
2013-01-01
Lie symmetries of systems of second-order linear ordinary differential equations with constant coefficients are exhaustively described over both the complex and real fields. The exact lower and upper bounds for the dimensions of the maximal Lie invariance algebras possessed by such systems are obtained using an effective algebraic approach.
Analysis of a monetary union enlargement in the framework of linear-quadratic differential games
Plasmans, J.E.J.; Engwerda, J.C.; van Aarle, B.; Michalak, T.
2009-01-01
"This paper studies the effects of a monetary union enlargement using the techniques and outcomes from an extensive research project on macroeconomic policy coordination in the EMU. Our approach is characterized by two main pillars: (i) linear-quadratic differential games to capture externalities,
FOSLS (first-order systems least squares): An overivew
Manteuffel, T.A. [Univ. of Colorado, Boulder, CO (United States)
1996-12-31
The process of modeling a physical system involves creating a mathematical model, forming a discrete approximation, and solving the resulting linear or nonlinear system. The mathematical model may take many forms. The particular form chosen may greatly influence the ease and accuracy with which it may be discretized as well as the properties of the resulting linear or nonlinear system. If a model is chosen incorrectly it may yield linear systems with undesirable properties such as nonsymmetry or indefiniteness. On the other hand, if the model is designed with the discretization process and numerical solution in mind, it may be possible to avoid these undesirable properties.
Perturbations of linear delay differential equations at the verge of instability.
Lingala, N; Namachchivaya, N Sri
2016-06-01
The characteristic equation for a linear delay differential equation (DDE) has countably infinite roots on the complex plane. This paper considers linear DDEs that are on the verge of instability, i.e., a pair of roots of the characteristic equation lies on the imaginary axis of the complex plane and all other roots have negative real parts. It is shown that when small noise perturbations are present, the probability distribution of the dynamics can be approximated by the probability distribution of a certain one-dimensional stochastic differential equation (SDE) without delay. This is advantageous because equations without delay are easier to simulate and one-dimensional SDEs are analytically tractable. When the perturbations are also linear, it is shown that the stability depends on a specific complex number. The theory is applied to study oscillators with delayed feedback. Some errors in other articles that use multiscale approach are pointed out.
Athanasios D. Karageorgos
2009-01-01
Full Text Available In many applications, and generally speaking in many dynamical differential systems, the problem of transferring the initial state of the system to a desired state in (almost zero-time time is desirable but difficult to achieve. Theoretically, this can be achieved by using a linear combination of Dirac -function and its derivatives. Obviously, such an input is physically unrealizable. However, we can think of it approximately as a combination of small pulses of very high magnitude and infinitely small duration. In this paper, the approximation process of the distributional behaviour of higher-order linear descriptor (regular differential systems is presented. Thus, new analytical formulae based on linear algebra methods and generalized inverses theory are provided. Our approach is quite general and some significant conditions are derived. Finally, a numerical example is presented and discussed.
Elliptic boundary value problems with fractional regularity data the first order approach
Amenta, Alex
2018-01-01
In this monograph the authors study the well-posedness of boundary value problems of Dirichlet and Neumann type for elliptic systems on the upper half-space with coefficients independent of the transversal variable and with boundary data in fractional Hardy-Sobolev and Besov spaces. The authors use the so-called "first order approach" which uses minimal assumptions on the coefficients and thus allows for complex coefficients and for systems of equations. This self-contained exposition of the first order approach offers new results with detailed proofs in a clear and accessible way and will become a valuable reference for graduate students and researchers working in partial differential equations and harmonic analysis.
High-Density Quantum Sensing with Dissipative First Order Transitions.
Raghunandan, Meghana; Wrachtrup, Jörg; Weimer, Hendrik
2018-04-13
The sensing of external fields using quantum systems is a prime example of an emergent quantum technology. Generically, the sensitivity of a quantum sensor consisting of N independent particles is proportional to sqrt[N]. However, interactions invariably occurring at high densities lead to a breakdown of the assumption of independence between the particles, posing a severe challenge for quantum sensors operating at the nanoscale. Here, we show that interactions in quantum sensors can be transformed from a nuisance into an advantage when strong interactions trigger a dissipative phase transition in an open quantum system. We demonstrate this behavior by analyzing dissipative quantum sensors based upon nitrogen-vacancy defect centers in diamond. Using both a variational method and a numerical simulation of the master equation describing the open quantum many-body system, we establish the existence of a dissipative first order transition that can be used for quantum sensing. We investigate the properties of this phase transition for two- and three-dimensional setups, demonstrating that the transition can be observed using current experimental technology. Finally, we show that quantum sensors based on dissipative phase transitions are particularly robust against imperfections such as disorder or decoherence, with the sensitivity of the sensor not being limited by the T_{2} coherence time of the device. Our results can readily be applied to other applications in quantum sensing and quantum metrology where interactions are currently a limiting factor.
High-Density Quantum Sensing with Dissipative First Order Transitions
Raghunandan, Meghana; Wrachtrup, Jörg; Weimer, Hendrik
2018-04-01
The sensing of external fields using quantum systems is a prime example of an emergent quantum technology. Generically, the sensitivity of a quantum sensor consisting of N independent particles is proportional to √{N }. However, interactions invariably occurring at high densities lead to a breakdown of the assumption of independence between the particles, posing a severe challenge for quantum sensors operating at the nanoscale. Here, we show that interactions in quantum sensors can be transformed from a nuisance into an advantage when strong interactions trigger a dissipative phase transition in an open quantum system. We demonstrate this behavior by analyzing dissipative quantum sensors based upon nitrogen-vacancy defect centers in diamond. Using both a variational method and a numerical simulation of the master equation describing the open quantum many-body system, we establish the existence of a dissipative first order transition that can be used for quantum sensing. We investigate the properties of this phase transition for two- and three-dimensional setups, demonstrating that the transition can be observed using current experimental technology. Finally, we show that quantum sensors based on dissipative phase transitions are particularly robust against imperfections such as disorder or decoherence, with the sensitivity of the sensor not being limited by the T2 coherence time of the device. Our results can readily be applied to other applications in quantum sensing and quantum metrology where interactions are currently a limiting factor.
Probabilistic peak detection for first-order chromatographic data.
Lopatka, M; Vivó-Truyols, G; Sjerps, M J
2014-03-19
We present a novel algorithm for probabilistic peak detection in first-order chromatographic data. Unlike conventional methods that deliver a binary answer pertaining to the expected presence or absence of a chromatographic peak, our method calculates the probability of a point being affected by such a peak. The algorithm makes use of chromatographic information (i.e. the expected width of a single peak and the standard deviation of baseline noise). As prior information of the existence of a peak in a chromatographic run, we make use of the statistical overlap theory. We formulate an exhaustive set of mutually exclusive hypotheses concerning presence or absence of different peak configurations. These models are evaluated by fitting a segment of chromatographic data by least-squares. The evaluation of these competing hypotheses can be performed as a Bayesian inferential task. We outline the potential advantages of adopting this approach for peak detection and provide several examples of both improved performance and increased flexibility afforded by our approach. Copyright © 2014 Elsevier B.V. All rights reserved.
Oscillation and non-oscillation criterion for Riemann–Weber type half-linear differential equations
Petr Hasil
2016-08-01
Full Text Available By the combination of the modified half-linear Prüfer method and the Riccati technique, we study oscillatory properties of half-linear differential equations. Taking into account the transformation theory of half-linear equations and using some known results, we show that the analysed equations in the Riemann–Weber form with perturbations in both terms are conditionally oscillatory. Within the process, we identify the critical oscillation values of their coefficients and, consequently, we decide when the considered equations are oscillatory and when they are non-oscillatory. As a direct corollary of our main result, we solve the so-called critical case for a certain type of half-linear non-perturbed equations.
Tisdell, Christopher C.
2017-11-01
For over 50 years, the learning of teaching of a priori bounds on solutions to linear differential equations has involved a Euclidean approach to measuring the size of a solution. While the Euclidean approach to a priori bounds on solutions is somewhat manageable in the learning and teaching of the proofs involving second-order, linear problems with constant co-efficients, we believe it is not pedagogically optimal. Moreover, the Euclidean method becomes pedagogically unwieldy in the proofs involving higher-order cases. The purpose of this work is to propose a simpler pedagogical approach to establish a priori bounds on solutions by considering a different way of measuring the size of a solution to linear problems, which we refer to as the Uber size. The Uber form enables a simplification of pedagogy from the literature and the ideas are accessible to learners who have an understanding of the Fundamental Theorem of Calculus and the exponential function, both usually seen in a first course in calculus. We believe that this work will be of mathematical and pedagogical interest to those who are learning and teaching in the area of differential equations or in any of the numerous disciplines where linear differential equations are used.
Classical solutions of mixed problems for quasilinear first order PFDEs on a cylindrical domain
Wojciech Czernous
2014-01-01
Full Text Available We abandon the setting of the domain as a Cartesian product of real intervals, customary for first order PFDEs (partial functional differential equations with initial boundary conditions. We give a new set of conditions on the possibly unbounded domain \\(\\Omega\\ with Lipschitz differentiable boundary. Well-posedness is then reliant on a variant of the normal vector condition. There is a neighbourhood of \\(\\partial\\Omega\\ with the property that if a characteristic trajectory has a point therein, then its every earlier point lies there as well. With local assumptions on coefficients and on the free term, we prove existence and Lipschitz dependence on data of classical solutions on \\((0,c\\times\\Omega\\ to the initial boundary value problem, for small \\(c\\. Regularity of solutions matches this domain, and the proof uses the Banach fixed-point theorem. Our general model of functional dependence covers problems with deviating arguments and integro-differential equations.
Ghadie, Mohamed A; Japkowicz, Nathalie; Perkins, Theodore J
2015-08-15
Stem cell differentiation is largely guided by master transcriptional regulators, but it also depends on the expression of other types of genes, such as cell cycle genes, signaling genes, metabolic genes, trafficking genes, etc. Traditional approaches to understanding gene expression patterns across multiple conditions, such as principal components analysis or K-means clustering, can group cell types based on gene expression, but they do so without knowledge of the differentiation hierarchy. Hierarchical clustering can organize cell types into a tree, but in general this tree is different from the differentiation hierarchy itself. Given the differentiation hierarchy and gene expression data at each node, we construct a weighted Euclidean distance metric such that the minimum spanning tree with respect to that metric is precisely the given differentiation hierarchy. We provide a set of linear constraints that are provably sufficient for the desired construction and a linear programming approach to identify sparse sets of weights, effectively identifying genes that are most relevant for discriminating different parts of the tree. We apply our method to microarray gene expression data describing 38 cell types in the hematopoiesis hierarchy, constructing a weighted Euclidean metric that uses just 175 genes. However, we find that there are many alternative sets of weights that satisfy the linear constraints. Thus, in the style of random-forest training, we also construct metrics based on random subsets of the genes and compare them to the metric of 175 genes. We then report on the selected genes and their biological functions. Our approach offers a new way to identify genes that may have important roles in stem cell differentiation. tperkins@ohri.ca Supplementary data are available at Bioinformatics online. © The Author 2015. Published by Oxford University Press. All rights reserved. For Permissions, please e-mail: journals.permissions@oup.com.
New gaussian points for the solution of first order ordinary ...
Numerical experiments carried out using the new Gaussian points revealed there efficiency on stiff differential equations. The results also reveal that methods using the new Gaussian points are more accurate than those using the standard Gaussian points on non-stiff initial value problems. Keywords: Gaussian points ...
LaChapelle, J.
2004-01-01
A path integral is presented that solves a general class of linear second order partial differential equations with Dirichlet/Neumann boundary conditions. Elementary kernels are constructed for both Dirichlet and Neumann boundary conditions. The general solution can be specialized to solve elliptic, parabolic, and hyperbolic partial differential equations with boundary conditions. This extends the well-known path integral solution of the Schroedinger/diffusion equation in unbounded space. The construction is based on a framework for functional integration introduced by Cartier/DeWitt-Morette
q-analogue of summability of formal solutions of some linear q-difference-differential equations
Hidetoshi Tahara
2015-01-01
Full Text Available Let \\(q\\gt 1\\. The paper considers a linear \\(q\\-difference-differential equation: it is a \\(q\\-difference equation in the time variable \\(t\\, and a partial differential equation in the space variable \\(z\\. Under suitable conditions and by using \\(q\\-Borel and \\(q\\-Laplace transforms (introduced by J.-P. Ramis and C. Zhang, the authors show that if it has a formal power series solution \\(\\hat{X}(t,z\\ one can construct an actual holomorphic solution which admits \\(\\hat{X}(t,z\\ as a \\(q\\-Gevrey asymptotic expansion of order \\(1\\.
New results for exponential synchronization of linearly coupled ordinary differential systems
Tong Ping; Chen Shi-Hua
2017-01-01
This paper investigates the exponential synchronization of linearly coupled ordinary differential systems. The intrinsic nonlinear dynamics may not satisfy the QUAD condition or weak-QUAD condition. First, it gives a new method to analyze the exponential synchronization of the systems. Second, two theorems and their corollaries are proposed for the local or global exponential synchronization of the coupled systems. Finally, an application to the linearly coupled Hopfield neural networks and several simulations are provided for verifying the effectiveness of the theoretical results. (paper)
Mervan Pašić
2016-10-01
Full Text Available We study non-monotone positive solutions of the second-order linear differential equations: $(p(tx'' + q(t x = e(t$, with positive $p(t$ and $q(t$. For the first time, some criteria as well as the existence and nonexistence of non-monotone positive solutions are proved in the framework of some properties of solutions $\\theta (t$ of the corresponding integrable linear equation: $(p(t\\theta''=e(t$. The main results are illustrated by many examples dealing with equations which allow exact non-monotone positive solutions not necessarily periodic. Finally, we pose some open questions.
Methods of measurement of integral and differential linearity distortions of spectrometry sets
Fuan, Jacques; Grimont, Bernard; Marin, Roland; Richard, Jean-Pierre
1969-05-01
The objective of this document is to describe different measurement methods, and more particularly to present a software for the processing of obtained results in order to avoid interpretation by the investigator. In a first part, the authors define the parameters of integral and differential linearity, outlines their importance in measurements performed by spectrometry, and describe the use of these parameters. In the second part, they propose various methods of measurement of these linearity parameters, report experimental applications of these methods and compare the obtained results
Park, Yujin; Kazantzis, Nikolaos; Parlos, Alexander G.; Chong, Kil To
2013-01-01
Highlights: • Numerical solution for stiff differential equations using matrix exponential method. • The approximation is based on First Order Hold assumption. • Various input examples applied to the point kinetics equations. • The method shows superior useful and effective activity. - Abstract: A system of nonlinear differential equations is derived to model the dynamics of neutron density and the delayed neutron precursors within a point kinetics equation modeling framework for a nuclear reactor. The point kinetic equations are mathematically characterized as stiff, occasionally nonlinear, ordinary differential equations, posing significant challenges when numerical solutions are sought and traditionally resulting in the need for smaller time step intervals within various computational schemes. In light of the above realization, the present paper proposes a new discretization method inspired by system-theoretic notions and technically based on a combination of the matrix exponential method (MEM) and the First-Order Hold (FOH) assumption. Under the proposed time discretization structure, the sampled-data representation of the nonlinear point kinetic system of equations is derived. The performance of the proposed time discretization procedure is evaluated using several case studies with sinusoidal reactivity profiles and multiple input examples (reactivity and neutron source function). It is shown, that by applying the proposed method under a First-Order Hold for the neutron density and the precursor concentrations at each time step interval, the stiffness problem associated with the point kinetic equations can be adequately addressed and resolved. Finally, as evidenced by the aforementioned detailed simulation studies, the proposed method retains its validity and accuracy for a wide range of reactor operating conditions, including large sampling periods dictated by physical and/or technical limitations associated with the current state of sensor and
Tunable first-order resistorless all-pass filter with low output impedance.
Beg, Parveen
2014-01-01
This paper presents a voltage mode cascadable single active element tunable first-order all-pass filter with a single passive component. The active element used to realise the filter is a new building block termed as differential difference dual-X current conveyor with a buffered output (DD-DXCCII). The filter is thus realized with the help of a DD-DXCCII, a capacitor, and a MOS transistor. By exploiting the low output impedance, a higher order filter is also realized. Nonideal and parasitic study is also carried out on the realised filters. The proposed DD-DXCCII filters are simulated using TSMC the 0.25 µm technology.
M. A.P. PURCARU
2017-12-01
Full Text Available This paper aims at highlighting some aspects related to assessment as regards its use as a differentiated training strategy for Linear Algebra and Analytic and Differential Geometry courses and seminars. Thus, the following methods of continuous differentiated assessment are analyzed and exemplified: the portfolio, the role play, some interactive methods and practical examinations.
Experimental First Order Pairing Phase Transition in Atomic Nuclei
Moretto, L G; Larsen, A C; Giacoppo, F; Guttormsen, M; Siem, S
2015-01-01
The natural log of experimental nuclear level densities at low energy is linear with energy. This can be interpreted in terms of a nearly 1st order phase transition from a superfluid to an ideal gas of quasi particles. The transition temperature coincides with the BCS critical temperature and yields gap parameters in good agreement with the values extracted from even- odd mass differences from rotational states. This converging evidence supports the relevance of the BCS theory to atomic nuclei
Dorren, H.J.S.
1998-01-01
It is shown that the Korteweg–de Vries (KdV) equation can be transformed into an ordinary linear partial differential equation in the wave number domain. Explicit solutions of the KdV equation can be obtained by subsequently solving this linear differential equation and by applying a cascade of
Camporesi, Roberto
2016-01-01
We present an approach to the impulsive response method for solving linear constant-coefficient ordinary differential equations of any order based on the factorization of the differential operator. The approach is elementary, we only assume a basic knowledge of calculus and linear algebra. In particular, we avoid the use of distribution theory, as…
On one two-point BVP for the fourth order linear ordinary differential equation
Mukhigulashvili, Sulkhan; Manjikashvili, M.
2017-01-01
Roč. 24, č. 2 (2017), s. 265-275 ISSN 1072-947X Institutional support: RVO:67985840 Keywords : fourth order linear ordinary differential equations * two-point boundary value problems Subject RIV: BA - General Mathematics OBOR OECD: Applied mathematics Impact factor: 0.290, year: 2016 https://www.degruyter.com/view/j/gmj.2017.24.issue-2/gmj-2016-0077/gmj-2016-0077.xml
Stability Analysis for Fractional-Order Linear Singular Delay Differential Systems
Hai Zhang
2014-01-01
Full Text Available We investigate the delay-independently asymptotic stability of fractional-order linear singular delay differential systems. Based on the algebraic approach, the sufficient conditions are presented to ensure the asymptotic stability for any delay parameter. By applying the stability criteria, one can avoid solving the roots of transcendental equations. An example is also provided to illustrate the effectiveness and applicability of the theoretical results.
On oscillations of solutions to second-order linear delay differential equations
Opluštil, Z.; Šremr, Jiří
2013-01-01
Roč. 20, č. 1 (2013), s. 65-94 ISSN 1072-947X Institutional support: RVO:67985840 Keywords : linear second-order delay differential equation * oscillatory solution Subject RIV: BA - General Mathematics Impact factor: 0.340, year: 2013 http://www.degruyter.com/view/j/gmj.2013.20.issue-1/gmj-2013-0001/gmj-2013-0001.xml?format=INT
Frank, T D; Beek, P J
2001-08-01
Recently, Küchler and Mensch [Stochastics Stochastics Rep. 40, 23 (1992)] derived exact stationary probability densities for linear stochastic delay differential equations. This paper presents an alternative derivation of these solutions by means of the Fokker-Planck approach introduced by Guillouzic [Phys. Rev. E 59, 3970 (1999); 61, 4906 (2000)]. Applications of this approach, which is argued to have greater generality, are discussed in the context of stochastic models for population growth and tracking movements.
Salih Yalcinbas
2016-01-01
Full Text Available In this paper, a new collocation method based on the Fibonacci polynomials is introduced to solve the high-order linear Volterra integro-differential equations under the conditions. Numerical examples are included to demonstrate the applicability and validity of the proposed method and comparisons are made with the existing results. In addition, an error estimation based on the residual functions is presented for this method. The approximate solutions are improved by using this error estimation.
On oscillations of solutions to second-order linear delay differential equations
Opluštil, Z.; Šremr, Jiří
2013-01-01
Roč. 20, č. 1 (2013), s. 65-94 ISSN 1072-947X Institutional support: RVO:67985840 Keywords : linear second-order delay differential equation * oscillatory solution Subject RIV: BA - General Mathematics Impact factor: 0.340, year: 2013 http://www.degruyter.com/view/j/gmj.2013.20.issue-1/gmj-2013-0001/gmj-2013-0001. xml ?format=INT
On one two-point BVP for the fourth order linear ordinary differential equation
Mukhigulashvili, Sulkhan; Manjikashvili, M.
2017-01-01
Roč. 24, č. 2 (2017), s. 265-275 ISSN 1072-947X Institutional support: RVO:67985840 Keywords : fourth order linear ordinary differential equations * two-point boundary value problems Subject RIV: BA - General Mathematics OBOR OECD: Applied mathematics Impact factor: 0.290, year: 2016 https://www.degruyter.com/view/j/gmj.2017.24.issue-2/gmj-2016-0077/gmj-2016-0077. xml
A General Construction of Linear Differential Equations with Solutions of Prescribed Properties
Neuman, František
2004-01-01
Roč. 17, č. 1 (2004), s. 71-76 ISSN 0893-9659 R&D Projects: GA AV ČR IAA1019902; GA ČR GA201/99/0295 Institutional research plan: CEZ:AV0Z1019905 Keywords : construction of linear differential equations * prescribed qualitative properties of solutions Subject RIV: BA - General Mathematics Impact factor: 0.414, year: 2004
Ito, Kazufumi; Teglas, Russell
1987-01-01
The numerical scheme based on the Legendre-tau approximation is proposed to approximate the feedback solution to the linear quadratic optimal control problem for hereditary differential systems. The convergence property is established using Trotter ideas. The method yields very good approximations at low orders and provides an approximation technique for computing closed-loop eigenvalues of the feedback system. A comparison with existing methods (based on averaging and spline approximations) is made.
Ito, K.; Teglas, R.
1984-01-01
The numerical scheme based on the Legendre-tau approximation is proposed to approximate the feedback solution to the linear quadratic optimal control problem for hereditary differential systems. The convergence property is established using Trotter ideas. The method yields very good approximations at low orders and provides an approximation technique for computing closed-loop eigenvalues of the feedback system. A comparison with existing methods (based on averaging and spline approximations) is made.
Maximum principles for boundary-degenerate second-order linear elliptic differential operators
Feehan, Paul M. N.
2012-01-01
We prove weak and strong maximum principles, including a Hopf lemma, for smooth subsolutions to equations defined by linear, second-order, partial differential operators whose principal symbols vanish along a portion of the domain boundary. The boundary regularity property of the smooth subsolutions along this boundary vanishing locus ensures that these maximum principles hold irrespective of the sign of the Fichera function. Boundary conditions need only be prescribed on the complement in th...
Asymptotic integration of a linear fourth order differential equation of Poincaré type
Anibal Coronel
2015-11-01
Full Text Available This article deals with the asymptotic behavior of nonoscillatory solutions of fourth order linear differential equation where the coefficients are perturbations of constants. We define a change of variable and deduce that the new variable satisfies a third order nonlinear differential equation. We assume three hypotheses. The first hypothesis is related to the constant coefficients and set up that the characteristic polynomial associated with the fourth order linear equation has simple and real roots. The other two hypotheses are related to the behavior of the perturbation functions and establish asymptotic integral smallness conditions of the perturbations. Under these general hypotheses, we obtain four main results. The first two results are related to the application of a fixed point argument to prove that the nonlinear third order equation has a unique solution. The next result concerns with the asymptotic behavior of the solutions of the nonlinear third order equation. The fourth main theorem is introduced to establish the existence of a fundamental system of solutions and to precise the formulas for the asymptotic behavior of the linear fourth order differential equation. In addition, we present an example to show that the results introduced in this paper can be applied in situations where the assumptions of some classical theorems are not satisfied.
Camporesi, Roberto
2016-01-01
We present an approach to the impulsive response method for solving linear constant-coefficient ordinary differential equations of any order based on the factorization of the differential operator. The approach is elementary, we only assume a basic knowledge of calculus and linear algebra. In particular, we avoid the use of distribution theory, as well as of the other more advanced approaches: Laplace transform, linear systems, the general theory of linear equations with variable coefficients and variation of parameters. The approach presented here can be used in a first course on differential equations for science and engineering majors.
Köyluoglu, H.U.; Nielsen, Søren R.K.; Cakmak, A.S.
1994-01-01
perturbation method using stochastic differential equations. The joint statistical moments entering the perturbation solution are determined by considering an augmented dynamic system with state variables made up of the displacement and velocity vector and their first and second derivatives with respect......The paper deals with the first and second order statistical moments of the response of linear systems with random parameters subject to random excitation modelled as white-noise multiplied by an envelope function with random parameters. The method of analysis is basically a second order...... to the random parameters of the problem. Equations for partial derivatives are obtained from the partial differentiation of the equations of motion. The zero time-lag joint statistical moment equations for the augmented state vector are derived from the Itô differential formula. General formulation is given...
Fractional order differentiation by integration: An application to fractional linear systems
Liu, Dayan
2013-02-04
In this article, we propose a robust method to compute the output of a fractional linear system defined through a linear fractional differential equation (FDE) with time-varying coefficients, where the input can be noisy. We firstly introduce an estimator of the fractional derivative of an unknown signal, which is defined by an integral formula obtained by calculating the fractional derivative of a truncated Jacobi polynomial series expansion. We then approximate the FDE by applying to each fractional derivative this formal algebraic integral estimator. Consequently, the fractional derivatives of the solution are applied on the used Jacobi polynomials and then we need to identify the unknown coefficients of the truncated series expansion of the solution. Modulating functions method is used to estimate these coefficients by solving a linear system issued from the approximated FDE and some initial conditions. A numerical result is given to confirm the reliability of the proposed method. © 2013 IFAC.
Kravchenko, Vladislav V [Departmento de Telecomunicaciones, SEPI, Escuela Superior de IngenierIa Mecanica y Electrica, Instituto Politecnico Nacional, CP 07738 Mexico DF (Mexico)
2005-01-28
Given a particular solution of a one-dimensional stationary Schroedinger equation this equation of second order can be reduced to a first-order linear ordinary differential equation. This is done with the aid of an auxiliary Riccati differential equation. In the present work we show that the same fact is true in a multidimensional situation also. For simplicity we consider the case of two or three independent variables. One particular solution of the stationary Schroedinger equation allows us to reduce this second-order equation to a linear first-order quaternionic differential equation. As in the one-dimensional case this is done with the aid of an auxiliary quaternionic Riccati equation. The resulting first-order quaternionic equation is equivalent to the static Maxwell system and is closely related to the Dirac equation. In the case of two independent variables it is the well-known Vekua equation from theory of pseudoanalytic (or generalized analytic) functions. Nevertheless, we show that even in this case it is very useful to consider not only complex valued functions, solutions of the Vekua equation, but complete quaternionic functions. In this way the first-order quaternionic equation represents two separate Vekua equations, one of which gives us solutions of the Schroedinger equation and the other one can be considered as an auxiliary equation of a simpler structure. Moreover for the auxiliary equation we always have the corresponding Bers generating pair (F, G), the base of the Bers theory of pseudoanalytic functions, and what is very important, the Bers derivatives of solutions of the auxiliary equation give us solutions of the main Vekua equation and as a consequence of the Schroedinger equation. Based on this fact we obtain an analogue of the Cauchy integral theorem for solutions of the stationary Schroedinger equation. Other results from theory of pseudoanalytic functions can be written for solutions of the Schroedinger equation. Moreover, for an ample
Beltrán-Prieto Juan Carlos
2016-01-01
Full Text Available The mathematical modelling of diffusion of a bleaching agent into a porous material is studied in the present paper. Law of mass conservation was applied to analize the mass transfer of a reactant from the bulk into the external surface of a solid geometrically described as a flat plate. After diffusion of the reactant, surface reaction following kinetics of first order was considered to take place. The solution of the differential equation that described the process leaded to an equation that represents the concentration profile in function of distance, porosity and Thiele modulus. The case of interfacial mass resistance is also discused. In this case, finite difference method was used for the solution of the differential equation taking into account the respective boundary conditions. The profile of concentration can be obtained after numerical especification of Thiele modulus and Biot number.
Some aspects of the inverse problem for general first order systems
Sarlet, W.; Cantrijn, F.
1978-01-01
In this paper we investigate the most general systems of first-order ordinary differential equations which satisfy the integrability conditions of the inverse problem for canonical formulations, i.e., are derivable from a variational principle. It is shown that they have a structure which is invariant under arbitrary coordinate-transformations. A special class of transformations, called identity-isotopic transformations, is described. It is illustrated how these transformations share all properties with classical canonical transformations except one: the solutions of the system, viewed as transformations from the set of initial values, generally are not identity-isotopic. This failure is shown to be due to the explicit time-dependence of the functions which characterise the system, and the special role of this time-dependence is further clarified using the possibility of a reduction to conventional Hamiltonian systems. All properties are derived here within the framework of an analytic treatment of a system of differential equations
Oscillator strengths, first-order properties, and nuclear gradients for local ADC(2)
Schütz, Martin, E-mail: martin.schuetz@chemie.uni-regensburg.de [Institute of Physical and Theoretical Chemistry, University of Regensburg, Universitätsstraße 31, D-93040 Regensburg (Germany)
2015-06-07
We describe theory and implementation of oscillator strengths, orbital-relaxed first-order properties, and nuclear gradients for the local algebraic diagrammatic construction scheme through second order. The formalism is derived via time-dependent linear response theory based on a second-order unitary coupled cluster model. The implementation presented here is a modification of our previously developed algorithms for Laplace transform based local time-dependent coupled cluster linear response (CC2LR); the local approximations thus are state specific and adaptive. The symmetry of the Jacobian leads to considerable simplifications relative to the local CC2LR method; as a result, a gradient evaluation is about four times less expensive. Test calculations show that in geometry optimizations, usually very similar geometries are obtained as with the local CC2LR method (provided that a second-order method is applicable). As an exemplary application, we performed geometry optimizations on the low-lying singlet states of chlorophyllide a.
Du, Yigang; Fan, Rui; Li, Yong
2016-01-01
An ultrasound imaging framework modeled with the first order nonlinear pressure–velocity relations (NPVR) based simulation and implemented by a half-time staggered solution and pseudospectral method is presented in this paper. The framework is capable of simulating linear and nonlinear ultrasound...... propagation and reflections in a heterogeneous medium with different sound speeds and densities. It can be initialized with arbitrary focus, excitation and apodization for multiple individual channels in both 2D and 3D spatial fields. The simulated channel data can be generated using this framework......, and ultrasound image can be obtained by beamforming the simulated channel data. Various results simulated by different algorithms are illustrated for comparisons. The root mean square (RMS) errors for each compared pulses are calculated. The linear propagation is validated by an angular spectrum approach (ASA...
Oscillator strengths, first-order properties, and nuclear gradients for local ADC(2).
Schütz, Martin
2015-06-07
We describe theory and implementation of oscillator strengths, orbital-relaxed first-order properties, and nuclear gradients for the local algebraic diagrammatic construction scheme through second order. The formalism is derived via time-dependent linear response theory based on a second-order unitary coupled cluster model. The implementation presented here is a modification of our previously developed algorithms for Laplace transform based local time-dependent coupled cluster linear response (CC2LR); the local approximations thus are state specific and adaptive. The symmetry of the Jacobian leads to considerable simplifications relative to the local CC2LR method; as a result, a gradient evaluation is about four times less expensive. Test calculations show that in geometry optimizations, usually very similar geometries are obtained as with the local CC2LR method (provided that a second-order method is applicable). As an exemplary application, we performed geometry optimizations on the low-lying singlet states of chlorophyllide a.
Oscillator strengths, first-order properties, and nuclear gradients for local ADC(2)
Schütz, Martin
2015-01-01
We describe theory and implementation of oscillator strengths, orbital-relaxed first-order properties, and nuclear gradients for the local algebraic diagrammatic construction scheme through second order. The formalism is derived via time-dependent linear response theory based on a second-order unitary coupled cluster model. The implementation presented here is a modification of our previously developed algorithms for Laplace transform based local time-dependent coupled cluster linear response (CC2LR); the local approximations thus are state specific and adaptive. The symmetry of the Jacobian leads to considerable simplifications relative to the local CC2LR method; as a result, a gradient evaluation is about four times less expensive. Test calculations show that in geometry optimizations, usually very similar geometries are obtained as with the local CC2LR method (provided that a second-order method is applicable). As an exemplary application, we performed geometry optimizations on the low-lying singlet states of chlorophyllide a
Reformulation of the symmetries of first-order general relativity
Montesinos, Merced; González, Diego; Celada, Mariano; Díaz, Bogar
2017-10-01
We report a new internal gauge symmetry of the n-dimensional Palatini action with cosmological term (n>3 ) that is the generalization of three-dimensional local translations. This symmetry is obtained through the direct application of the converse of Noether’s second theorem on the theory under consideration. We show that diffeomorphisms can be expressed as linear combinations of it and local Lorentz transformations with field-dependent parameters up to terms involving the variational derivatives of the action. As a result, the new internal symmetry together with local Lorentz transformations can be adopted as the fundamental gauge symmetries of general relativity. Although their gauge algebra is open in general, it allows us to recover, without resorting to the equations of motion, the very well-known Lie algebra satisfied by translations and Lorentz transformations in three dimensions. We also report the analog of the new gauge symmetry for the Holst action with cosmological term, finding that it explicitly depends on the Immirzi parameter. The same result concerning its relation to diffeomorphisms and the open character of the gauge algebra also hold in this case. Finally, we consider the non-minimal coupling of a scalar field to gravity in n dimensions and establish that the new gauge symmetry is affected by this matter field. Our results indicate that general relativity in dimension greater than three can be thought of as a gauge theory.
V. N. Chetverikov
2014-01-01
Full Text Available Invertible linear differential operators with one independent variable are investigated. The problem of description of such operators is important, because it is connected with transformations and the classification of control systems, in particular, with the flatness problem.Each invertible linear differential operator represents a square matrix of scalar differential operators. Its product with an operator-column is an operator-column whose order does not exceed the sum of orders of initial operators. The operators-columns, the product with which leads to order fall, i.e. the order of the product is less than sum of orders of factors, are interesting for the description of invertible operators. In this paper the classification of invertible operators is based on dimensions dk,p of intersections of modules Gp and Fk for various k and p, where Gp is the module of all operators-columns of order not above p, and Fk is the module of compositions of the invertible operator with all operators-columns of order not above k. The invertible operators that have identical sets of numbers dk,p form one class.In the paper the general properties of tables of numbers dk,p for invertible operators are investigated. A correspondence between invertible operators and elementary-geometrical models which in the paper are named by d-schemes of squares is constructed. The invertible operator is ambiguously defined by its d-scheme of squares. The mathematical structure that must be set for its unique definition and an algorithm for the construction of the invertible operator are offered.In the proof of the main result, methods of the theory of chain complexes and their spectral sequences are used. In the paper all necessary concepts of this theory are formulated and the corresponding facts are proved.Results of the paper can be used for solving problems in which invertible linear differential operators are arisen. Namely, it is necessary to formulate the conditions on
Analytical approach to linear fractional partial differential equations arising in fluid mechanics
Momani, Shaher; Odibat, Zaid
2006-01-01
In this Letter, we implement relatively new analytical techniques, the variational iteration method and the Adomian decomposition method, for solving linear fractional partial differential equations arising in fluid mechanics. The fractional derivatives are described in the Caputo sense. The two methods in applied mathematics can be used as alternative methods for obtaining analytic and approximate solutions for different types of fractional differential equations. In these methods, the solution takes the form of a convergent series with easily computable components. The corresponding solutions of the integer order equations are found to follow as special cases of those of fractional order equations. Some numerical examples are presented to illustrate the efficiency and reliability of the two methods
Shah, A A; Xing, W W; Triantafyllidis, V
2017-04-01
In this paper, we develop reduced-order models for dynamic, parameter-dependent, linear and nonlinear partial differential equations using proper orthogonal decomposition (POD). The main challenges are to accurately and efficiently approximate the POD bases for new parameter values and, in the case of nonlinear problems, to efficiently handle the nonlinear terms. We use a Bayesian nonlinear regression approach to learn the snapshots of the solutions and the nonlinearities for new parameter values. Computational efficiency is ensured by using manifold learning to perform the emulation in a low-dimensional space. The accuracy of the method is demonstrated on a linear and a nonlinear example, with comparisons with a global basis approach.
Sailer, Andre Philippe
2009-04-15
The International Linear Collider (ILC) is an electron-positron-collider with a variable center-of-mass energy {radical}(2) between 200 and 500 GeV. The small bunch sizes needed to reach the design luminosity of L{sub Peak}=2.10{sup 34} cm{sup -2}s{sup -1} necessary for the physics goals of the ILC, cause the particles to radiate beamstrahlung during the bunch crossings. Beamstrahlung reduces the center-of-mass energy from its nominal value to the effective center-of-mass energy {radical}(2'). The spectrum of the effective center-of-mass energy {radical}(2') is the differential luminosity dL/d{radical}(2'), which has to be known to precisely measure particle masses through threshold scans. The differential luminosity can be measured by using Bhabha events. The real differential luminosity is simulated by the GuineaPig software. The energy spectrum of the Bhabha events is measured by the detector and compared to the energy spectrum of Monte Carlo (MC) Bhabha events with a known differential luminosity given by an approximate parameterization. The parameterization is used to assign each MC event a weight. By re-weighting the events, until the energy spectra from the real and the MC Bhabha events match, the differential luminosity can be measured. The approximate parameterization of the differential luminosity is given by the Circe parameterization introduced by T. Ohl (1997), which does not include the correlation between the particle energies due to beamstrahlung. The Circe parameterization is extended to include the correlation and better describe the differential luminosity. With this new parameterization of the differential luminosity it is possible to predict the observed production cross section of a MC toy particle with a mass of 250 GeV/c{sup 2} to a precision better than 0.2%. Using the re-weighting fit with the extended parameterization also allows the measurement of the beam energy spreads of {sigma}{sub E}=0.0014 for electrons and {sigma
Sailer, Andre Philippe
2009-04-01
The International Linear Collider (ILC) is an electron-positron-collider with a variable center-of-mass energy √(2) between 200 and 500 GeV. The small bunch sizes needed to reach the design luminosity of L Peak =2.10 34 cm -2 s -1 necessary for the physics goals of the ILC, cause the particles to radiate beamstrahlung during the bunch crossings. Beamstrahlung reduces the center-of-mass energy from its nominal value to the effective center-of-mass energy √(2'). The spectrum of the effective center-of-mass energy √(2') is the differential luminosity dL/d√(2'), which has to be known to precisely measure particle masses through threshold scans. The differential luminosity can be measured by using Bhabha events. The real differential luminosity is simulated by the GuineaPig software. The energy spectrum of the Bhabha events is measured by the detector and compared to the energy spectrum of Monte Carlo (MC) Bhabha events with a known differential luminosity given by an approximate parameterization. The parameterization is used to assign each MC event a weight. By re-weighting the events, until the energy spectra from the real and the MC Bhabha events match, the differential luminosity can be measured. The approximate parameterization of the differential luminosity is given by the Circe parameterization introduced by T. Ohl (1997), which does not include the correlation between the particle energies due to beamstrahlung. The Circe parameterization is extended to include the correlation and better describe the differential luminosity. With this new parameterization of the differential luminosity it is possible to predict the observed production cross section of a MC toy particle with a mass of 250 GeV/c 2 to a precision better than 0.2%. Using the re-weighting fit with the extended parameterization also allows the measurement of the beam energy spreads of σ E =0.0014 for electrons and σ E = 0.0010 for positrons with a precision of a few percent. The total error
Matrix form of Legendre polynomials for solving linear integro-differential equations of high order
Kammuji, M.; Eshkuvatov, Z. K.; Yunus, Arif A. M.
2017-04-01
This paper presents an effective approximate solution of high order of Fredholm-Volterra integro-differential equations (FVIDEs) with boundary condition. Legendre truncated series is used as a basis functions to estimate the unknown function. Matrix operation of Legendre polynomials is used to transform FVIDEs with boundary conditions into matrix equation of Fredholm-Volterra type. Gauss Legendre quadrature formula and collocation method are applied to transfer the matrix equation into system of linear algebraic equations. The latter equation is solved by Gauss elimination method. The accuracy and validity of this method are discussed by solving two numerical examples and comparisons with wavelet and methods.
Reproducing kernel method with Taylor expansion for linear Volterra integro-differential equations
Azizallah Alvandi
2017-06-01
Full Text Available This research aims of the present a new and single algorithm for linear integro-differential equations (LIDE. To apply the reproducing Hilbert kernel method, there is made an equivalent transformation by using Taylor series for solving LIDEs. Shown in series form is the analytical solution in the reproducing kernel space and the approximate solution $ u_{N} $ is constructed by truncating the series to $ N $ terms. It is easy to prove the convergence of $ u_{N} $ to the analytical solution. The numerical solutions from the proposed method indicate that this approach can be implemented easily which shows attractive features.
Datta, Dhurjati Prasad; Bose, Manoj Kumar
2004-01-01
We present a new one parameter family of second derivative discontinuous solutions to the simplest scale invariant linear ordinary differential equation. We also point out how the construction could be extended to generate families of higher derivative discontinuous solutions as well. The discontinuity can occur only for a subset of even order derivatives, viz., 2nd, 4th, 8th, 16th,.... The solutions are shown to break the discrete parity (reflection) symmetry of the underlying equation. These results are expected to gain significance in the contemporary search of a new dynamical principle for understanding complex phenomena in nature
"Real-Time Optical Laboratory Linear Algebra Solution Of Partial Differential Equations"
Casasent, David; Jackson, James
1986-03-01
A Space Integrating (SI) Optical Linear Algebra Processor (OLAP) employing space and frequency-multiplexing, new partitioning and data flow, and achieving high accuracy performance with a non base-2 number system is described. Laboratory data on the performance of this system and the solution of parabolic Partial Differential Equations (PDEs) is provided. A multi-processor OLAP system is also described for the first time. It use in the solution of multiple banded matrices that frequently arise is then discussed. The utility and flexibility of this processor compared to digital systolic architectures should be apparent.
Hasegawa, Chihiro; Duffull, Stephen B
2018-02-01
Pharmacokinetic-pharmacodynamic systems are often expressed with nonlinear ordinary differential equations (ODEs). While there are numerous methods to solve such ODEs these methods generally rely on time-stepping solutions (e.g. Runge-Kutta) which need to be matched to the characteristics of the problem at hand. The primary aim of this study was to explore the performance of an inductive approximation which iteratively converts nonlinear ODEs to linear time-varying systems which can then be solved algebraically or numerically. The inductive approximation is applied to three examples, a simple nonlinear pharmacokinetic model with Michaelis-Menten elimination (E1), an integrated glucose-insulin model and an HIV viral load model with recursive feedback systems (E2 and E3, respectively). The secondary aim of this study was to explore the potential advantages of analytically solving linearized ODEs with two examples, again E3 with stiff differential equations and a turnover model of luteinizing hormone with a surge function (E4). The inductive linearization coupled with a matrix exponential solution provided accurate predictions for all examples with comparable solution time to the matched time-stepping solutions for nonlinear ODEs. The time-stepping solutions however did not perform well for E4, particularly when the surge was approximated by a square wave. In circumstances when either a linear ODE is particularly desirable or the uncertainty in matching the integrator to the ODE system is of potential risk, then the inductive approximation method coupled with an analytical integration method would be an appropriate alternative.
A Polarimetric First-Order Model of Soil Moisture Effects on the DInSAR Coherence
Simon Zwieback
2015-06-01
Full Text Available Changes in soil moisture between two radar acquisitions can impact the observed coherence in differential interferometry: both coherence magnitude |Υ| and phase Φ are affected. The influence on the latter potentially biases the estimation of deformations. These effects have been found to be variable in magnitude and sign, as well as dependent on polarization, as opposed to predictions by existing models. Such diversity can be explained when the soil is modelled as a half-space with spatially varying dielectric properties and a rough interface. The first-order perturbative solution achieves–upon calibration with airborne L band data–median correlations ρ at HH polarization of 0.77 for the phase Φ, of 0.50 for |Υ|, and for the phase triplets ≡ of 0.56. The predictions are sensitive to the choice of dielectric mixing model, in particular the absorptive properties; the differences between the mixing models are found to be partially compensatable by varying the relative importance of surface and volume scattering. However, for half of the agricultural fields the Hallikainen mixing model cannot reproduce the observed sensitivities of the phase to soil moisture. In addition, the first-order expansion does not predict any impact on the HV coherence, which is however empirically found to display similar sensitivities to soil moisture as the co-pol channels HH and VV. These results indicate that the first-order solution, while not able to reproduce all observed phenomena, can capture some of the more salient patterns of the effect of soil moisture changes on the HH and VV DInSAR signals. Hence it may prove useful in separating the deformations from the moisture signals, thus yielding improved displacement estimates or new ways for inferring soil moisture.
Deterministic simulation of first-order scattering in virtual X-ray imaging
Freud, N. E-mail: nicolas.freud@insa-lyon.fr; Duvauchelle, P.; Pistrui-Maximean, S.A.; Letang, J.-M.; Babot, D
2004-07-01
A deterministic algorithm is proposed to compute the contribution of first-order Compton- and Rayleigh-scattered radiation in X-ray imaging. This algorithm has been implemented in a simulation code named virtual X-ray imaging. The physical models chosen to account for photon scattering are the well-known form factor and incoherent scattering function approximations, which are recalled in this paper and whose limits of validity are briefly discussed. The proposed algorithm, based on a voxel discretization of the inspected object, is presented in detail, as well as its results in simple configurations, which are shown to converge when the sampling steps are chosen sufficiently small. Simple criteria for choosing correct sampling steps (voxel and pixel size) are established. The order of magnitude of the computation time necessary to simulate first-order scattering images amounts to hours with a PC architecture and can even be decreased down to minutes, if only a profile is computed (along a linear detector). Finally, the results obtained with the proposed algorithm are compared to the ones given by the Monte Carlo code Geant4 and found to be in excellent accordance, which constitutes a validation of our algorithm. The advantages and drawbacks of the proposed deterministic method versus the Monte Carlo method are briefly discussed.
Neutron Transport in Spatially Random Media: An Assessment of the Accuracy of First Order Smoothing
Williams, M.M.R.
2000-01-01
A formalism has been developed for studying the transmission of neutrons through a spatially stochastic medium. The stochastic components are represented by absorbing plates of randomly varying strength and random position. This type of geometry enables the Feinberg-Galanin-Horning method to be employed and leads to the solution of a coupled set of linear equations for the flux at the plate positions. The matrix of the coefficients contains members that are random and these are solved by simulation. That is, the strength and plate positions are sampled from uniform distributions and the equations solved many times (in this case 10 5 simulations are carried out). Probability distributions for the plate transmission and reflection factors are constructed from which the mean and variance can be computed.These essentially exact solutions enable closure approximations to be assessed for accuracy. To this end, we have compared the mean and variance obtained from the first order smoothing approximation of Keller with the exact results and have found excellent agreement for the mean values but note deviations of up to 40% for the variance. Nevertheless, for the problems considered here, first order smoothing appears to be of practical value and is very efficient numerically in comparison with simulation
Mechhoud, Sarra; Laleg-Kirati, Taous-Meriem
2016-01-01
In this paper, boundary adaptive estimation of solar radiation in a solar collector plant is investigated. The solar collector is described by a 1D first-order hyperbolic partial differential equation where the solar radiation models the source term
Suzuki, Makoto; Sugimura, Yuko; Yamada, Sumio; Omori, Yoshitsugu; Miyamoto, Masaaki; Yamamoto, Jun-ichi
2013-01-01
Cognitive disorders in the acute stage of stroke are common and are important independent predictors of adverse outcome in the long term. Despite the impact of cognitive disorders on both patients and their families, it is still difficult to predict the extent or duration of cognitive impairments. The objective of the present study was, therefore, to provide data on predicting the recovery of cognitive function soon after stroke by differential modeling with logarithmic and linear regression. This study included two rounds of data collection comprising 57 stroke patients enrolled in the first round for the purpose of identifying the time course of cognitive recovery in the early-phase group data, and 43 stroke patients in the second round for the purpose of ensuring that the correlation of the early-phase group data applied to the prediction of each individual's degree of cognitive recovery. In the first round, Mini-Mental State Examination (MMSE) scores were assessed 3 times during hospitalization, and the scores were regressed on the logarithm and linear of time. In the second round, calculations of MMSE scores were made for the first two scoring times after admission to tailor the structures of logarithmic and linear regression formulae to fit an individual's degree of functional recovery. The time course of early-phase recovery for cognitive functions resembled both logarithmic and linear functions. However, MMSE scores sampled at two baseline points based on logarithmic regression modeling could estimate prediction of cognitive recovery more accurately than could linear regression modeling (logarithmic modeling, R(2) = 0.676, PLogarithmic modeling based on MMSE scores could accurately predict the recovery of cognitive function soon after the occurrence of stroke. This logarithmic modeling with mathematical procedures is simple enough to be adopted in daily clinical practice.
Unsteady Solution of Non-Linear Differential Equations Using Walsh Function Series
Gnoffo, Peter A.
2015-01-01
Walsh functions form an orthonormal basis set consisting of square waves. The discontinuous nature of square waves make the system well suited for representing functions with discontinuities. The product of any two Walsh functions is another Walsh function - a feature that can radically change an algorithm for solving non-linear partial differential equations (PDEs). The solution algorithm of non-linear differential equations using Walsh function series is unique in that integrals and derivatives may be computed using simple matrix multiplication of series representations of functions. Solutions to PDEs are derived as functions of wave component amplitude. Three sample problems are presented to illustrate the Walsh function series approach to solving unsteady PDEs. These include an advection equation, a Burgers equation, and a Riemann problem. The sample problems demonstrate the use of the Walsh function solution algorithms, exploiting Fast Walsh Transforms in multi-dimensions (O(Nlog(N))). Details of a Fast Walsh Reciprocal, defined here for the first time, enable inversion of aWalsh Symmetric Matrix in O(Nlog(N)) operations. Walsh functions have been derived using a fractal recursion algorithm and these fractal patterns are observed in the progression of pairs of wave number amplitudes in the solutions. These patterns are most easily observed in a remapping defined as a fractal fingerprint (FFP). A prolongation of existing solutions to the next highest order exploits these patterns. The algorithms presented here are considered a work in progress that provide new alternatives and new insights into the solution of non-linear PDEs.
Observer-Based Bilinear Control of First-Order Hyperbolic PDEs: Application to the Solar Collector
Mechhoud, Sarra
2015-12-18
In this paper, we investigate the problem of bilinear control of a solar collector plant using the available boundary and solar irradiance measurements. The solar collector is described by a first-order 1D hyperbolic partial differential equation where the pump volumetric flow rate acts as the plant control input. By combining a boundary state observer and an internal energy-based control law, a nonlinear observer based feedback controller is proposed. With a feed-forward control term, the effect of the solar radiation is cancelled. Using the Lyapunov approach we prove that the proposed control guarantees the global exponential stability of both the plant and the tracking error. Simulation results are provided to illustrate the performance of the proposed method.
Tunable First-Order Resistorless All-Pass Filter with Low Output Impedance
Parveen Beg
2014-01-01
Full Text Available This paper presents a voltage mode cascadable single active element tunable first-order all-pass filter with a single passive component. The active element used to realise the filter is a new building block termed as differential difference dual-X current conveyor with a buffered output (DD-DXCCII. The filter is thus realized with the help of a DD-DXCCII, a capacitor, and a MOS transistor. By exploiting the low output impedance, a higher order filter is also realized. Nonideal and parasitic study is also carried out on the realised filters. The proposed DD-DXCCII filters are simulated using TSMC the 0.25 µm technology.
The Effect of First-Order Bending Resonance of Wheelset at High Speed on Wheel-Rail Contact Behavior
Shuoqiao Zhong
2013-01-01
Full Text Available The first-order bending deformation of wheelset is considered in the modeling vehicle/track coupling dynamic system to investigate its effect on wheel/rail contact behavior. In considering the effect of the first-order bending resonance on the rolling contact of wheel/rail, a new wheel/rail contact model is derived in detail in the modeling vehicle/track coupling dynamic system, in which the many intermediate coordinate systems and complex coordinate system transformations are used. The bending mode shape and its corresponding frequency of the wheelset are obtained through the modal analysis by using commercial software ANSYS. The modal superposition method is used to solve the differential equations of wheelset motion considering its flexible deformation due to the first-order bending resonance. In order to verify the present model and clarify the influence of the first-order bending deformation of wheelset on wheel/track contact behavior, a harmonic track irregularity with a fixed wavelength and a white-noise roughness are, respectively used as the excitations in the two models of vehicle-rail coupling dynamic system, one considers the effect of wheelset bending deformation, and the other does not. The numerical results indicate that the wheelset first-order bending deformation has an influence on wheel/rail rolling contact behavior and is easily excited under wheel/rail roughness excitation.
Sanz, Luis; Alonso, Juan Antonio
2017-12-01
In this work we develop approximate aggregation techniques in the context of slow-fast linear population models governed by stochastic differential equations and apply the results to the treatment of populations with spatial heterogeneity. Approximate aggregation techniques allow one to transform a complex system involving many coupled variables and in which there are processes with different time scales, by a simpler reduced model with a fewer number of 'global' variables, in such a way that the dynamics of the former can be approximated by that of the latter. In our model we contemplate a linear fast deterministic process together with a linear slow process in which the parameters are affected by additive noise, and give conditions for the solutions corresponding to positive initial conditions to remain positive for all times. By letting the fast process reach equilibrium we build a reduced system with a lesser number of variables, and provide results relating the asymptotic behaviour of the first- and second-order moments of the population vector for the original and the reduced system. The general technique is illustrated by analysing a multiregional stochastic system in which dispersal is deterministic and the rate growth of the populations in each patch is affected by additive noise.
Deboeck, Pascal R.; Boker, Steven M.; Bergeman, C. S.
2008-01-01
Among the many methods available for modeling intraindividual time series, differential equation modeling has several advantages that make it promising for applications to psychological data. One interesting differential equation model is that of the damped linear oscillator (DLO), which can be used to model variables that have a tendency to…
First-order irreversible thermodynamic approach to a nonsteady RLC circuit as an energy converter
Valencia, G; Arias, L A
2015-01-01
In this work we show a RLC-circuit as energy converter within the context of first-order irreversible thermodynamics (FOIT). For our analysis, we propose an isothermic model with transient elements and passive elements. With the help of the dynamic equations, the Kirchhoff equations, we found the generalized fluxes and forces of the circuit, the equation system shows symmetry of the cross terms, this property is characteristic of the steady state linear systems, but in this case phenomenological coefficients are function of time. Then, we can use these relations, similar to the linear Onsager relations, to construct the characteristic functions of the RLC energy converter: the power output, efficiency, dissipation and ecological function, and study its energetic performance. The study of performance of the converter is based on two parameters, the coupling parameter and the ''forces ratio'' parameter, in this case as functions of time. We find that the behavior of the non-steady state converter is similar to the behavior of steady state energy converter. We will explain the linear and symmetric behavior of the converter in the frequencies space rather than in the time space. Finally, we establish optimal operation regimes of economic degree of coupling for this energy converter
Barbu, Viorel
2016-01-01
This textbook is a comprehensive treatment of ordinary differential equations, concisely presenting basic and essential results in a rigorous manner. Including various examples from physics, mechanics, natural sciences, engineering and automatic theory, Differential Equations is a bridge between the abstract theory of differential equations and applied systems theory. Particular attention is given to the existence and uniqueness of the Cauchy problem, linear differential systems, stability theory and applications to first-order partial differential equations. Upper undergraduate students and researchers in applied mathematics and systems theory with a background in advanced calculus will find this book particularly useful. Supplementary topics are covered in an appendix enabling the book to be completely self-contained.
Growth and Zeros of Meromorphic Solutions to Second-Order Linear Differential Equations
Maamar Andasmas
2016-04-01
Full Text Available The main purpose of this article is to investigate the growth of meromorphic solutions to homogeneous and non-homogeneous second order linear differential equations f00+Af0+Bf = F, where A(z, B (z and F (z are meromorphic functions with finite order having only finitely many poles. We show that, if there exist a positive constants σ > 0, α > 0 such that |A(z| ≥ eα|z|σ as |z| → +∞, z ∈ H, where dens{|z| : z ∈ H} > 0 and ρ = max{ρ(B, ρ(F} < σ, then every transcendental meromorphic solution f has an infinite order. Further, we give some estimates of their hyper-order, exponent and hyper-exponent of convergence of distinct zeros.
Linear Pursuit Differential Game under Phase Constraint on the State of Evader
Askar Rakhmanov
2016-01-01
Full Text Available We consider a linear pursuit differential game of one pursuer and one evader. Controls of the pursuer and evader are subjected to integral and geometric constraints, respectively. In addition, phase constraint is imposed on the state of evader, whereas pursuer moves throughout the space. We say that pursuit is completed, if inclusion y(t1-x(t1∈M is satisfied at some t1>0, where x(t and y(t are states of pursuer and evader, respectively, and M is terminal set. Conditions of completion of pursuit in the game from all initial points of players are obtained. Strategy of the pursuer is constructed so that the phase vector of the pursuer first is brought to a given set, and then pursuit is completed.
Zhang, Ling
2017-01-01
The main purpose of this paper is to investigate the strong convergence and exponential stability in mean square of the exponential Euler method to semi-linear stochastic delay differential equations (SLSDDEs). It is proved that the exponential Euler approximation solution converges to the analytic solution with the strong order [Formula: see text] to SLSDDEs. On the one hand, the classical stability theorem to SLSDDEs is given by the Lyapunov functions. However, in this paper we study the exponential stability in mean square of the exact solution to SLSDDEs by using the definition of logarithmic norm. On the other hand, the implicit Euler scheme to SLSDDEs is known to be exponentially stable in mean square for any step size. However, in this article we propose an explicit method to show that the exponential Euler method to SLSDDEs is proved to share the same stability for any step size by the property of logarithmic norm.
Interval Oscillation Criteria for Super-Half-Linear Impulsive Differential Equations with Delay
Zhonghai Guo
2012-01-01
Full Text Available We study the following second-order super-half-linear impulsive differential equations with delay [r(tφγ(x′(t]′+p(tφγ(x(t-σ+q(tf(x(t-σ=e(t, t≠τk, x(t+=akx(t, x′(t+=bkx′(t, t=τk, where t≥t0∈ℝ, φ*(u=|u|*-1u, σ is a nonnegative constant, {τk} denotes the impulsive moments sequence with τ1σ. By some classical inequalities, Riccati transformation, and two classes of functions, we give several interval oscillation criteria which generalize and improve some known results. Moreover, we also give two examples to illustrate the effectiveness and nonemptiness of our results.
Ling Zhang
2017-10-01
Full Text Available Abstract The main purpose of this paper is to investigate the strong convergence and exponential stability in mean square of the exponential Euler method to semi-linear stochastic delay differential equations (SLSDDEs. It is proved that the exponential Euler approximation solution converges to the analytic solution with the strong order 1 2 $\\frac{1}{2}$ to SLSDDEs. On the one hand, the classical stability theorem to SLSDDEs is given by the Lyapunov functions. However, in this paper we study the exponential stability in mean square of the exact solution to SLSDDEs by using the definition of logarithmic norm. On the other hand, the implicit Euler scheme to SLSDDEs is known to be exponentially stable in mean square for any step size. However, in this article we propose an explicit method to show that the exponential Euler method to SLSDDEs is proved to share the same stability for any step size by the property of logarithmic norm.
Paris, R.B.; Wood, A.D.
1984-11-01
The asymptotic expansions of solutions of a class of linear ordinary differential equations of arbitrary order n, containing a factor zsup(m) multiplying the lower order derivatives, are investigated for large values of z in the complex plane. Four classes of solutions are considered which exhibit the following behaviour as /z/ → infinity in certain sectors: (i) solutions whose behaviour is either exponentially large or algebraic (involving p ( < n) algebraic expansions), (ii) solutions which are exponentially small (iii) solutions with a single algebraic expansion and (iv) solutions which are even and odd functions of z whenever n+m is even. The asymptotic expansions of these solutions in a full neigbourhood of the point at infinity are obtained by means of the theory of the solutions in the case m=O developed in a previous paper
Lawson, Daniel J; Holtrop, Grietje; Flint, Harry
2011-07-01
Process models specified by non-linear dynamic differential equations contain many parameters, which often must be inferred from a limited amount of data. We discuss a hierarchical Bayesian approach combining data from multiple related experiments in a meaningful way, which permits more powerful inference than treating each experiment as independent. The approach is illustrated with a simulation study and example data from experiments replicating the aspects of the human gut microbial ecosystem. A predictive model is obtained that contains prediction uncertainty caused by uncertainty in the parameters, and we extend the model to capture situations of interest that cannot easily be studied experimentally. Copyright © 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.
Tariq, Hareem E-mail: htariq@ligo.caltech.edu; Takamori, Akiteru; Vetrano, Flavio; Wang Chenyang; Bertolini, Alessandro; Calamai, Giovanni; DeSalvo, Riccardo; Gennai, Alberto; Holloway, Lee; Losurdo, Giovanni; Marka, Szabolcs; Mazzoni, Massimo; Paoletti, Federico; Passuello, Diego; Sannibale, Virginio; Stanga, Ruggero
2002-08-21
Low-power, ultra-high-vacuum compatible, non-contacting position sensors with nanometer resolution and centimeter dynamic range have been developed, built and tested. They have been designed at Virgo as the sensors for low-frequency modal damping of Seismic Attenuation System chains in Gravitational Wave interferometers and sub-micron absolute mirror positioning. One type of these linear variable differential transformers (LVDTs) has been designed to be also insensitive to transversal displacement thus allowing 3D movement of the sensor head while still precisely reading its position along the sensitivity axis. A second LVDT geometry has been designed to measure the displacement of the vertical seismic attenuation filters from their nominal position. Unlike the commercial LVDTs, mostly based on magnetic cores, the LVDTs described here exert no force on the measured structure.
Linear variable differential transformer and its uses for in-core fuel rod behavior measurements
Wolf, J.R.
1979-01-01
The linear variable differential transformer (LVDT) is an electromechanical transducer which produces an ac voltage proportional to the displacement of a movable ferromagnetic core. When the core is connected to the cladding of a nuclear fuel rod, it is capable of producing extremely accurate measurements of fuel rod elongation caused by thermal expansion. The LVDT is used in the Thermal Fuels Behavior Program at the U.S. Idaho National Engineering Laboratory (INEL) for measurements of nuclear fuel rod elongation and as an indication of critical heat flux and the occurrence of departure from nucleate boiling. These types of measurements provide important information about the behavior of nuclear fuel rods under normal and abnormal operating conditions. The objective of the paper is to provide a complete account of recent advances made in LVDT design and experimental data from in-core nuclear reactor tests which use the LVDT
Fast solution of elliptic partial differential equations using linear combinations of plane waves.
Pérez-Jordá, José M
2016-02-01
Given an arbitrary elliptic partial differential equation (PDE), a procedure for obtaining its solution is proposed based on the method of Ritz: the solution is written as a linear combination of plane waves and the coefficients are obtained by variational minimization. The PDE to be solved is cast as a system of linear equations Ax=b, where the matrix A is not sparse, which prevents the straightforward application of standard iterative methods in order to solve it. This sparseness problem can be circumvented by means of a recursive bisection approach based on the fast Fourier transform, which makes it possible to implement fast versions of some stationary iterative methods (such as Gauss-Seidel) consuming O(NlogN) memory and executing an iteration in O(Nlog(2)N) time, N being the number of plane waves used. In a similar way, fast versions of Krylov subspace methods and multigrid methods can also be implemented. These procedures are tested on Poisson's equation expressed in adaptive coordinates. It is found that the best results are obtained with the GMRES method using a multigrid preconditioner with Gauss-Seidel relaxation steps.
J. W. Horng
2010-12-01
Full Text Available A voltage-mode high input impedance first-order highpass, lowpass and allpass filters using two differential voltage current conveyors (DVCCs, one grounded capacitor and one grounded resistor is presented. The highpass, lowpass and allpass signals can be obtained simultaneously from the circuit configuration. The suggested filter uses a canonical number of passive components without requiring any component matching condition. The simulation results confirm the theoretical analysis.
Sub-optimal control of fuzzy linear dynamical systems under granular differentiability concept.
Mazandarani, Mehran; Pariz, Naser
2018-05-01
This paper deals with sub-optimal control of a fuzzy linear dynamical system. The aim is to keep the state variables of the fuzzy linear dynamical system close to zero in an optimal manner. In the fuzzy dynamical system, the fuzzy derivative is considered as the granular derivative; and all the coefficients and initial conditions can be uncertain. The criterion for assessing the optimality is regarded as a granular integral whose integrand is a quadratic function of the state variables and control inputs. Using the relative-distance-measure (RDM) fuzzy interval arithmetic and calculus of variations, the optimal control law is presented as the fuzzy state variables feedback. Since the optimal feedback gains are obtained as fuzzy functions, they need to be defuzzified. This will result in the sub-optimal control law. This paper also sheds light on the restrictions imposed by the approaches which are based on fuzzy standard interval arithmetic (FSIA), and use strongly generalized Hukuhara and generalized Hukuhara differentiability concepts for obtaining the optimal control law. The granular eigenvalues notion is also defined. Using an RLC circuit mathematical model, it is shown that, due to their unnatural behavior in the modeling phenomenon, the FSIA-based approaches may obtain some eigenvalues sets that might be different from the inherent eigenvalues set of the fuzzy dynamical system. This is, however, not the case with the approach proposed in this study. The notions of granular controllability and granular stabilizability of the fuzzy linear dynamical system are also presented in this paper. Moreover, a sub-optimal control for regulating a Boeing 747 in longitudinal direction with uncertain initial conditions and parameters is gained. In addition, an uncertain suspension system of one of the four wheels of a bus is regulated using the sub-optimal control introduced in this paper. Copyright © 2018 ISA. Published by Elsevier Ltd. All rights reserved.
Efficient robust control of first order scalar conservation laws using semi-analytical solutions
Li, Yanning; Canepa, Edward S.; Claudel, Christian G.
2014-01-01
This article presents a new robust control framework for transportation problems in which the state is modeled by a first order scalar conservation law. Using an equivalent formulation based on a Hamilton-Jacobi equation, we pose the problem of controlling the state of the system on a network link, using initial density control and boundary flow control, as a Linear Program. We then show that this framework can be extended to arbitrary control problems involving the control of subsets of the initial and boundary conditions. Unlike many previously investigated transportation control schemes, this method yields a globally optimal solution and is capable of handling shocks (i.e. discontinuities in the state of the system). We also demonstrate that the same framework can handle robust control problems, in which the uncontrollable components of the initial and boundary conditions are encoded in intervals on the right hand side of inequalities in the linear program. The lower bound of the interval which defines the smallest feasible solution set is used to solve the robust LP/MILP. Since this framework leverages the intrinsic properties of the Hamilton-Jacobi equation used to model the state of the system, it is extremely fast. Several examples are given to demonstrate the performance of the robust control solution and the trade-off between the robustness and the optimality.
Gravitationally compact objects as nucleation sites for first-order vacuum phase transitions
Samuel, D.A.; Hiscock, W.A.
1992-01-01
A characteristic of first-order phase transitions is their ability to be initiated by nucleation sites. In this paper we consider the role that gravitationally compact objects may play as nucleation sites for first-order phase transitions within quantum fields. As the presence of nucleation sites may prevent the onset of supercooling, the existence of nucleation sites for phase transitions within quantum fields may play an important role in some inflationary models of the Universe, in which the Universe is required to exist in a supercooled state for a period of time. In this paper we calculate the Euclidean action for an O(3) bubble nucleating about a gravitationally compact object, taken to be a boson star for simplicity. The gravitational field of the boson star is taken to be a small perturbation on flat space, and the O(3) action is calculated to linear order as a perturbation on the O(4) action. The Euclidean bubble profile is found by solving the (Higgs) scalar field equation numerically; the thin-wall approximation is not used. The gravitationally compact objects are found to have the effect of reducing the Euclidean action of the nucleating bubble, as compared to the Euclidean action for the bubble in flat spacetime. The effect is strongest when the size of the gravitationally compact object is comparable to the size of the nucleating bubble. Further, the size of the decrease in action increases as the nucleating ''star'' is made more gravitationally compact. Thus, gravitationally compact objects may play the role of nucleation sites. However, their importance to the process of false-vacuum decay is strongly dependent upon their number density within the Universe
Linearly constrained minimax optimization
Madsen, Kaj; Schjær-Jacobsen, Hans
1978-01-01
We present an algorithm for nonlinear minimax optimization subject to linear equality and inequality constraints which requires first order partial derivatives. The algorithm is based on successive linear approximations to the functions defining the problem. The resulting linear subproblems...
Dilna, N.; Rontó, András
2010-01-01
Roč. 60, č. 3 (2010), s. 327-338 ISSN 0139-9918 R&D Projects: GA ČR(CZ) GA201/06/0254 Institutional research plan: CEZ:AV0Z10190503 Keywords : non-linear boundary value-problem * functional differential equation * non-local condition * unique solvability * differential inequality Subject RIV: BA - General Mathematics Impact factor: 0.316, year: 2010 http://link.springer.com/article/10.2478%2Fs12175-010-0015-9
Differential equations a concise course
Bear, H S
2011-01-01
Concise introduction for undergraduates includes, among other topics, a survey of first order equations, discussions of complex-valued solutions, linear differential operators, inverse operators and variation of parameters method, the Laplace transform, Picard's existence theorem, and an exploration of various interpretations of systems of equations. Numerous clearly stated theorems and proofs, examples, and problems followed by solutions.
Brezinski, M E
2018-01-01
Optical coherence tomography has become an important imaging technology in cardiology and ophthalmology, with other applications under investigations. Major advances in optical coherence tomography (OCT) imaging are likely to occur through a quantum field approach to the technology. In this paper, which is the first part in a series on the topic, the quantum basis of OCT first order correlations is expressed in terms of full field quantization. Specifically first order correlations are treated as the linear sum of single photon interferences along indistinguishable paths. Photons and the electromagnetic (EM) field are described in terms of quantum harmonic oscillators. While the author feels the study of quantum second order correlations will lead to greater paradigm shifts in the field, addressed in part II, advances from the study of quantum first order correlations are given. In particular, ranging errors are discussed (with remedies) from vacuum fluctuations through the detector port, photon counting errors, and position probability amplitude uncertainty. In addition, the principles of quantum field theory and first order correlations are needed for studying second order correlations in part II.
Brezinski, ME
2018-01-01
Optical coherence tomography has become an important imaging technology in cardiology and ophthalmology, with other applications under investigations. Major advances in optical coherence tomography (OCT) imaging are likely to occur through a quantum field approach to the technology. In this paper, which is the first part in a series on the topic, the quantum basis of OCT first order correlations is expressed in terms of full field quantization. Specifically first order correlations are treated as the linear sum of single photon interferences along indistinguishable paths. Photons and the electromagnetic (EM) field are described in terms of quantum harmonic oscillators. While the author feels the study of quantum second order correlations will lead to greater paradigm shifts in the field, addressed in part II, advances from the study of quantum first order correlations are given. In particular, ranging errors are discussed (with remedies) from vacuum fluctuations through the detector port, photon counting errors, and position probability amplitude uncertainty. In addition, the principles of quantum field theory and first order correlations are needed for studying second order correlations in part II.
Machado, J.M.
1984-01-01
A review of first order matrix theory (linear approximation) used for calculating component elements of a particle accelerator employing the synchrotron principle of alternated gradient, is presented. Based on this theory, criteria for dimensioning synchrotron designed, exclusively for producing electromagnetic radiation, are established. The problem to find out optimum disposition of elements (straight line sections, quadrupolar magnetic lens, etc.) which take advantages of deflector magnets of the DCI synchrotron (Orsay Linear Accelerator Laboratory, French) aiming to construct a synchrotron designed to operate as electromagnetic radiation source, is solved. (M.C.K.) [pt
Zia, Haider
2017-06-01
This paper describes an updated exponential Fourier based split-step method that can be applied to a greater class of partial differential equations than previous methods would allow. These equations arise in physics and engineering, a notable example being the generalized derivative non-linear Schrödinger equation that arises in non-linear optics with self-steepening terms. These differential equations feature terms that were previously inaccessible to model accurately with low computational resources. The new method maintains a 3rd order error even with these additional terms and models the equation in all three spatial dimensions and time. The class of non-linear differential equations that this method applies to is shown. The method is fully derived and implementation of the method in the split-step architecture is shown. This paper lays the mathematical ground work for an upcoming paper employing this method in white-light generation simulations in bulk material.
Rosenblatt, Marcus; Timmer, Jens; Kaschek, Daniel
2016-01-01
Ordinary differential equation models have become a wide-spread approach to analyze dynamical systems and understand underlying mechanisms. Model parameters are often unknown and have to be estimated from experimental data, e.g., by maximum-likelihood estimation. In particular, models of biological systems contain a large number of parameters. To reduce the dimensionality of the parameter space, steady-state information is incorporated in the parameter estimation process. For non-linear models, analytical steady-state calculation typically leads to higher-order polynomial equations for which no closed-form solutions can be obtained. This can be circumvented by solving the steady-state equations for kinetic parameters, which results in a linear equation system with comparatively simple solutions. At the same time multiplicity of steady-state solutions is avoided, which otherwise is problematic for optimization. When solved for kinetic parameters, however, steady-state constraints tend to become negative for particular model specifications, thus, generating new types of optimization problems. Here, we present an algorithm based on graph theory that derives non-negative, analytical steady-state expressions by stepwise removal of cyclic dependencies between dynamical variables. The algorithm avoids multiple steady-state solutions by construction. We show that our method is applicable to most common classes of biochemical reaction networks containing inhibition terms, mass-action and Hill-type kinetic equations. Comparing the performance of parameter estimation for different analytical and numerical methods of incorporating steady-state information, we show that our approach is especially well-tailored to guarantee a high success rate of optimization.
Towards the Implementation of First-Order Temporal Resolution:the Expanding Domain Case
Konev, B; Dixon, C; Degtyarev, A; Fisher, M; Hustadt, U
2003-01-01
First-order temporal logic is a concise and powerful notation, with many potential applications in both Computer Science and Artificial Intelligence. While the full logic is highly complex, recent work on monodic first-order temporal logics has identified important enumerable and even decidable fragments. In this paper, we develop a clausal resolution method for the monodic fragment of first-order temporal logic over expanding domains. We first define a normal form for monodic formulae and th...
Generalized frameworks for first-order evolution inclusions based on Yosida approximations
Ram U. Verma
2011-04-01
Full Text Available First, general frameworks for the first-order evolution inclusions are developed based on the A-maximal relaxed monotonicity, and then using the Yosida approximation the solvability of a general class of first-order nonlinear evolution inclusions is investigated. The role the A-maximal relaxed monotonicity is significant in the sense that it not only empowers the first-order nonlinear evolution inclusions but also generalizes the existing Yosida approximations and its characterizations in the current literature.
Abdel-Halim Hassan, I.H.
2008-01-01
In this paper, we will compare the differential transformation method DTM and Adomian decomposition method ADM to solve partial differential equations (PDEs). The definition and operations of differential transform method was introduced by Zhou [Zhou JK. Differential transformation and its application for electrical circuits. Wuuhahn, China: Huarjung University Press; 1986 [in Chinese
Global dynamics for switching systems and their extensions by linear differential equations
Huttinga, Zane; Cummins, Bree; Gedeon, Tomáš; Mischaikow, Konstantin
2018-03-01
Switching systems use piecewise constant nonlinearities to model gene regulatory networks. This choice provides advantages in the analysis of behavior and allows the global description of dynamics in terms of Morse graphs associated to nodes of a parameter graph. The parameter graph captures spatial characteristics of a decomposition of parameter space into domains with identical Morse graphs. However, there are many cellular processes that do not exhibit threshold-like behavior and thus are not well described by a switching system. We consider a class of extensions of switching systems formed by a mixture of switching interactions and chains of variables governed by linear differential equations. We show that the parameter graphs associated to the switching system and any of its extensions are identical. For each parameter graph node, there is an order-preserving map from the Morse graph of the switching system to the Morse graph of any of its extensions. We provide counterexamples that show why possible stronger relationships between the Morse graphs are not valid.
Basic design of radiation-resistant LVDTs: Linear Variable Differential Transformer
Sohn, J. M.; Park, S. J.; Kang, Y. H. (and others)
2008-02-15
A LVDT(Linear Variable Differential Transformer) for measuring the pressure level was used to measure the pressure of a nuclear fuel rod during the neutron irradiation test in a research reactor. A LVDT for measuring the elongation was also used to measure the elongation of nuclear fuels, and the creep and fatigue of materials during a neutron irradiation test in a research reactor. In this report, the basic design of two radiation-resistant LVDTs for measuring the pressure level and elongation are described. These LVDTs are used a under radiation environment such as a research reactor. In the basic design step, we analyzed the domestic and foreign technical status for radiation-resistant LVDTs, made part and assembly drawings and established simple procedures for their assembling. Only a few companies in the world can produce radiation-resistant LVDTs. Not only these are extremely expensive, but the prices are continuously rising. Also, it takes a long time to procure a LVDT, as it can only be bought about by an order-production. The localization of radiation-resistant LVDTs is necessary in order to provide them quickly and at a low cost. These radiation-resistant LVDTs will be used at neutron irradiation devices such as instrumented fuel capsules, special purpose capsules and a fuel test loop in research reactors. We expect that the use of neutron irradiation tests will be revitalized by the localization of radiation-resistant LVDTs.
Global dynamics for switching systems and their extensions by linear differential equations.
Huttinga, Zane; Cummins, Bree; Gedeon, Tomáš; Mischaikow, Konstantin
2018-03-15
Switching systems use piecewise constant nonlinearities to model gene regulatory networks. This choice provides advantages in the analysis of behavior and allows the global description of dynamics in terms of Morse graphs associated to nodes of a parameter graph. The parameter graph captures spatial characteristics of a decomposition of parameter space into domains with identical Morse graphs. However, there are many cellular processes that do not exhibit threshold-like behavior and thus are not well described by a switching system. We consider a class of extensions of switching systems formed by a mixture of switching interactions and chains of variables governed by linear differential equations. We show that the parameter graphs associated to the switching system and any of its extensions are identical. For each parameter graph node, there is an order-preserving map from the Morse graph of the switching system to the Morse graph of any of its extensions. We provide counterexamples that show why possible stronger relationships between the Morse graphs are not valid.
Tülin Acar
2012-01-01
Full Text Available The aim of this research is to compare the result of the differential item functioning (DIF determining with hierarchical generalized linear model (HGLM technique and the results of the DIF determining with logistic regression (LR and item response theory–likelihood ratio (IRT-LR techniques on the test items. For this reason, first in this research, it is determined whether the students encounter DIF with HGLM, LR, and IRT-LR techniques according to socioeconomic status (SES, in the Turkish, Social Sciences, and Science subtest items of the Secondary School Institutions Examination. When inspecting the correlations among the techniques in terms of determining the items having DIF, it was discovered that there was significant correlation between the results of IRT-LR and LR techniques in all subtests; merely in Science subtest, the results of the correlation between HGLM and IRT-LR techniques were found significant. DIF applications can be made on test items with other DIF analysis techniques that were not taken to the scope of this research. The analysis results, which were determined by using the DIF techniques in different sample sizes, can be compared.
Abarbanel, Saul; Gottlieb, David; Carpenter, Mark H.
1994-01-01
It has been previously shown that the temporal integration of hyperbolic partial differential equations (PDE's) may, because of boundary conditions, lead to deterioration of accuracy of the solution. A procedure for removal of this error in the linear case has been established previously. In the present paper we consider hyperbolic (PDE's) (linear and non-linear) whose boundary treatment is done via the SAT-procedure. A methodology is present for recovery of the full order of accuracy, and has been applied to the case of a 4th order explicit finite difference scheme.
Morphing Continuum Theory: A First Order Approximation to the Balance Laws
Wonnell, Louis; Cheikh, Mohamad Ibrahim; Chen, James
2017-11-01
Morphing Continuum Theory is constructed under the framework of Rational Continuum Mechanics (RCM) for fluid flows with inner structure. This multiscale theory has been successfully emplyed to model turbulent flows. The framework of RCM ensures the mathematical rigor of MCT, but contains new material constants related to the inner structure. The physical meanings of these material constants have yet to be determined. Here, a linear deviation from the zeroth-order Boltzmann-Curtiss distribution function is derived. When applied to the Boltzmann-Curtiss equation, a first-order approximation of the MCT governing equations is obtained. The integral equations are then related to the appropriate material constants found in the heat flux, Cauchy stress, and moment stress terms in the governing equations. These new material properties associated with the inner structure of the fluid are compared with the corresponding integrals, and a clearer physical interpretation of these coefficients emerges. The physical meanings of these material properties is determined by analyzing previous results obtained from numerical simulations of MCT for compressible and incompressible flows. The implications for the physics underlying the MCT governing equations will also be discussed. This material is based upon work supported by the Air Force Office of Scientific Research under Award Number FA9550-17-1-0154.
Tricomi, FG
2013-01-01
Based on his extensive experience as an educator, F. G. Tricomi wrote this practical and concise teaching text to offer a clear idea of the problems and methods of the theory of differential equations. The treatment is geared toward advanced undergraduates and graduate students and addresses only questions that can be resolved with rigor and simplicity.Starting with a consideration of the existence and uniqueness theorem, the text advances to the behavior of the characteristics of a first-order equation, boundary problems for second-order linear equations, asymptotic methods, and diff
First-order dominance: stronger characterization and a bivariate checking algorithm
Range, Troels Martin; Østerdal, Lars Peter Raahave
2018-01-01
How to determine whether one distribution first-order dominates another is a fundamental problem that has many applications in economics, finance, probability theory, and statistics. Nevertheless, little is known about how to efficiently check first-order dominance for finite multivariate distrib...
First-order corrections to random-phase approximation GW calculations in silicon and diamond
Ummels, R.T.M.; Bobbert, P.A.; van Haeringen, W.
1998-01-01
We report on ab initio calculations of the first-order corrections in the screened interaction W to the random-phase approximation polarizability and to the GW self-energy, using a noninteracting Green's function, for silicon and diamond. It is found that the first-order vertex and self-consistency
Phan Thanh An; Phan Le Na; Ngo Quoc Chung
2004-05-01
We describe a practical implementation for finding parametric domain for asymptotic stability with probability one of zero solution of linear Ito stochastic differential equations based on Korenevskij and Mitropolskij's sufficient condition and our sufficient conditions. Numerical results show that all of these sufficient conditions are crucial in the implementation. (author)
OSCILLATION OF A SECOND-ORDER HALF-LINEAR NEUTRAL DAMPED DIFFERENTIAL EQUATION WITH TIME-DELAY
无
2012-01-01
In this paper,the oscillation for a class of second-order half-linear neutral damped differential equation with time-delay is studied.By means of Yang-inequality,the generalized Riccati transformation and a certain function,some new sufficient conditions for the oscillation are given for all solutions to the equation.
Kiguradze, I.; Šremr, Jiří
2011-01-01
Roč. 74, č. 17 (2011), s. 6537-6552 ISSN 0362-546X Institutional research plan: CEZ:AV0Z10190503 Keywords : half-linear differential system * non-local boundary value problem * solvability Subject RIV: BA - General Mathematics Impact factor: 1.536, year: 2011 http://www.sciencedirect.com/science/article/pii/S0362546X11004573
Musthofa, M.W.; Salmah, S.; Engwerda, Jacob; Suparwanto, A.
This paper studies the robust optimal control problem for descriptor systems. We applied differential game theory to solve the disturbance attenuation problem. The robust control problem was converted into a reduced ordinary zero-sum game. Within a linear quadratic setting, we solved the problem for
Inverse Boundary Value Problem for Non-linear Hyperbolic Partial Differential Equations
Nakamura, Gen; Vashisth, Manmohan
2017-01-01
In this article we are concerned with an inverse boundary value problem for a non-linear wave equation of divergence form with space dimension $n\\geq 3$. This non-linear wave equation has a trivial solution, i.e. zero solution. By linearizing this equation at the trivial solution, we have the usual linear isotropic wave equation with the speed $\\sqrt{\\gamma(x)}$ at each point $x$ in a given spacial domain. For any small solution $u=u(t,x)$ of this non-linear equation, we have the linear isotr...
Time-course window estimator for ordinary differential equations linear in the parameters
Vujacic, Ivan; Dattner, Itai; Gonzalez, Javier; Wit, Ernst
In many applications obtaining ordinary differential equation descriptions of dynamic processes is scientifically important. In both, Bayesian and likelihood approaches for estimating parameters of ordinary differential equations, the speed and the convergence of the estimation procedure may
First-order Convex Optimization Methods for Signal and Image Processing
Jensen, Tobias Lindstrøm
2012-01-01
In this thesis we investigate the use of first-order convex optimization methods applied to problems in signal and image processing. First we make a general introduction to convex optimization, first-order methods and their iteration complexity. Then we look at different techniques, which can...... be used with first-order methods such as smoothing, Lagrange multipliers and proximal gradient methods. We continue by presenting different applications of convex optimization and notable convex formulations with an emphasis on inverse problems and sparse signal processing. We also describe the multiple...
Saccone, F.D. [Laboratorio de Solidos Amorfos, Departamento de Fisica, Facultad de Ingenieria, Universidad de Buenos Aires (Argentina) and CONICET (Argentina)]. E-mail: fsaccon@fi.uba.ar; Pampillo, L.G. [Laboratorio de Solidos Amorfos, Departamento de Fisica, Facultad de Ingenieria, Universidad de Buenos Aires (Argentina); Oliva, M.I. [Facultad de Matematica, Astronomia y Fisica, Universidad Nacional de Cordoba (Argentina); CONICET (Argentina); Bercoff, P.G. [Facultad de Matematica, Astronomia y Fisica, Universidad Nacional de Cordoba (Argentina); CONICET (Argentina); Bertorello, H.R. [Facultad de Matematica, Astronomia y Fisica, Universidad Nacional de Cordoba (Argentina); CONICET (Argentina); Sirkin, H.R.M. [Laboratorio de Solidos Amorfos, Departamento de Fisica, Facultad de Ingenieria, Universidad de Buenos Aires (Argentina); CONICET (Argentina)
2007-09-01
Structural and magnetic properties of melt-spun Nd{sub 4.5}Fe{sub 72}Co{sub 3}Cr{sub 2}Al{sub 1}B{sub 17.5} ribbons were studied by means of differential scanning calorimetry, Moessbauer effect spectroscopy, X-ray diffraction and first-order reversal curve distributions. The presence of a solid solution (Fe, Co) in ribbons annealed at 685 C for 10 min was detected from Moessbauer spectra. Correlations between the observed structural changes at higher annealing temperatures and modifications in the interaction fields of precipitated phases are discussed.
Kravchenko, Viktor G; Kravchenko, Vladislav V
2003-01-01
We show that an ample class of physically meaningful partial differential systems of first order such as the Dirac equation with different one-component potentials, static Maxwell's system and the system describing the force-free magnetic fields are equivalent to a single quaternionic equation which in its turn reduces in general to a Schroedinger equation with quaternionic potential, and in some situations this last can be diagonalized. The rich variety of methods developed for different problems corresponding to the Schroedinger equation can be applied to the systems considered in the present work
Kravchenko, Viktor G [Faculdade de Ciencias y Tecnologia, Universidade do Algarve, Campus de Gambelas, 8000 Faro (Portugal); Kravchenko, Vladislav V [Depto de Telecomunicaciones, SEPI ESIME Zacatenco, Instituto Politecnico Nacional, Av. IPN S/N, Edif. 1 CP 07738, DF (Mexico)
2003-11-07
We show that an ample class of physically meaningful partial differential systems of first order such as the Dirac equation with different one-component potentials, static Maxwell's system and the system describing the force-free magnetic fields are equivalent to a single quaternionic equation which in its turn reduces in general to a Schroedinger equation with quaternionic potential, and in some situations this last can be diagonalized. The rich variety of methods developed for different problems corresponding to the Schroedinger equation can be applied to the systems considered in the present work.
Saccone, F.D.; Pampillo, L.G.; Oliva, M.I.; Bercoff, P.G.; Bertorello, H.R.; Sirkin, H.R.M.
2007-01-01
Structural and magnetic properties of melt-spun Nd 4.5 Fe 72 Co 3 Cr 2 Al 1 B 17.5 ribbons were studied by means of differential scanning calorimetry, Moessbauer effect spectroscopy, X-ray diffraction and first-order reversal curve distributions. The presence of a solid solution (Fe, Co) in ribbons annealed at 685 C for 10 min was detected from Moessbauer spectra. Correlations between the observed structural changes at higher annealing temperatures and modifications in the interaction fields of precipitated phases are discussed
Informed Conjecturing of Solutions for Differential Equations in a Modeling Context
Winkel, Brian
2015-01-01
We examine two differential equations. (i) first-order exponential growth or decay; and (ii) second order, linear, constant coefficient differential equations, and show the advantage of learning differential equations in a modeling context for informed conjectures of their solution. We follow with a discussion of the complete analysis afforded by…
Explicit solutions of one-dimensional, first-order, stationary mean-field games with congestion
Gomes, Diogo A.; Nurbekyan, Levon; Prazeres, Mariana
2017-01-01
Here, we consider one-dimensional first-order stationary mean-field games with congestion. These games arise when crowds face difficulty moving in high-density regions. We look at both monotone decreasing and increasing interactions and construct
Practical Markov Logic Containing First-Order Quantifiers With Application to Identity Uncertainty
Culotta, Aron; McCallum, Andrew
2005-01-01
.... In this paper, we present approximate inference and training methods that incrementally instantiate portions of the network as needed to enable first-order existential and universal quantifiers in Markov logic networks...
Kapička, Marek
2013-01-01
Roč. 80, č. 3 (2013), s. 1027-1054 ISSN 0034-6527 Institutional support: RVO:67985998 Keywords : first-order approach * persistent shocks * private information Subject RIV: AH - Economics Impact factor: 3.235, year: 2013
Correction of the first order beam transport of the SLC Arcs
Walker, N.; Barklow, T.; Emma, P.; Krejcik, P.
1991-05-01
Correction of the first order transport of the SLC Arcs has been made possible by a technique which allows the full 4x4 transport matrix across any section of Arc to be experimentally determined. By the introduction of small closed bumps into each achromat, it is possible to substantially correct first order optical errors, and notably the cross plane coupling at the exit of the Arcs. 4 refs., 3 figs
Scaling behavior in first-order quark-hadron phase transition
Hwa, R.C.
1994-01-01
It is shown that in the Ginzburg-Landau description of first-order quark-hadron phase transition the normalized factorial moments exhibit scaling behavior. The scaling exponent ν depends on only one effective parameter g, which characterizes the strength of the transition. For a strong first-order transition, we find ν=1.45. For weak transition it is 1.30 in agreement with the earlier result on second-order transition
W-phase estimation of first-order rupture distribution for megathrust earthquakes
Benavente, Roberto; Cummins, Phil; Dettmer, Jan
2014-05-01
Estimating the rupture pattern for large earthquakes during the first hour after the origin time can be crucial for rapid impact assessment and tsunami warning. However, the estimation of coseismic slip distribution models generally involves complex methodologies that are difficult to implement rapidly. Further, while model parameter uncertainty can be crucial for meaningful estimation, they are often ignored. In this work we develop a finite fault inversion for megathrust earthquakes which rapidly generates good first order estimates and uncertainties of spatial slip distributions. The algorithm uses W-phase waveforms and a linear automated regularization approach to invert for rupture models of some recent megathrust earthquakes. The W phase is a long period (100-1000 s) wave which arrives together with the P wave. Because it is fast, has small amplitude and a long-period character, the W phase is regularly used to estimate point source moment tensors by the NEIC and PTWC, among others, within an hour of earthquake occurrence. We use W-phase waveforms processed in a manner similar to that used for such point-source solutions. The inversion makes use of 3 component W-phase records retrieved from the Global Seismic Network. The inverse problem is formulated by a multiple time window method, resulting in a linear over-parametrized problem. The over-parametrization is addressed by Tikhonov regularization and regularization parameters are chosen according to the discrepancy principle by grid search. Noise on the data is addressed by estimating the data covariance matrix from data residuals. The matrix is obtained by starting with an a priori covariance matrix and then iteratively updating the matrix based on the residual errors of consecutive inversions. Then, a covariance matrix for the parameters is computed using a Bayesian approach. The application of this approach to recent megathrust earthquakes produces models which capture the most significant features of
Vissers, W.H.P.M.; Muys, L.; Erp, P.E.J. van; Jong, E.M.G.J. de; Kerkhof, P.C.M. van de
2004-01-01
Inflammatory linear verrucous epidermal nevus (ILVEN) is a rare skin disorder with a clinical and histological resemblance to psoriasis. In the past clinical and histological criteria have been defined. However, there remains a discussion as to whether ILVEN is a disease entity distinct from linear
Linear and Differential Ion Mobility Separations of Middle-Down Proteoforms
Garabedian, Alyssa; Baird, Matthew A; Porter, Jacob
2018-01-01
. Separations using traveling-wave (TWIMS) and/or involving various time scales and electrospray ionization source conditions are similar (with lower resolution for TWIMS), showing the transferability of results across linear IMS instruments. The linear IMS and FAIMS dimensions are substantially orthogonal...
Tunç, Cemil; Tunç, Osman
2016-01-01
In this paper, certain system of linear homogeneous differential equations of second-order is considered. By using integral inequalities, some new criteria for bounded and [Formula: see text]-solutions, upper bounds for values of improper integrals of the solutions and their derivatives are established to the considered system. The obtained results in this paper are considered as extension to the results obtained by Kroopnick (2014) [1]. An example is given to illustrate the obtained results.
Luo Li-Qin
2016-01-01
Full Text Available In this paper, we investigate the value distribution of meromorphic solutions of homogeneous and non-homogeneous complex linear differential-difference equations, and obtain the results on the relations between the order of the solutions and the convergence exponents of the zeros, poles, a-points and small function value points of the solutions, which show the relations in the case of non-homogeneous equations are sharper than the ones in the case of homogeneous equations.
A comparison of zero-order, first-order, and Monod biotransformation models
Bekins, B.A.; Warren, E.; Godsy, E.M.
1998-01-01
Under some conditions, a first-order kinetic model is a poor representation of biodegradation in contaminated aquifers. Although it is well known that the assumption of first-order kinetics is valid only when substrate concentration, S, is much less than the half-saturation constant, K S , this assumption is often made without verification of this condition. The authors present a formal error analysis showing that the relative error in the first-order approximation is S/K S and in the zero-order approximation the error is K S /S. They then examine the problems that arise when the first-order approximation is used outside the range for which it is valid. A series of numerical simulations comparing results of first- and zero-order rate approximations to Monod kinetics for a real data set illustrates that if concentrations observed in the field are higher than K S , it may be better to model degradation using a zero-order rate expression. Compared with Monod kinetics, extrapolation of a first-order rate to lower concentrations under-predicts the biotransformation potential, while extrapolation to higher concentrations may grossly over-predict the transformation rate. A summary of solubilities and Monod parameters for aerobic benzene, toluene, and xylene (BTX) degradation shows that the a priori assumption of first-order degradation kinetics at sites contaminated with these compounds is not valid. In particular, out of six published values of K S for toluene, only one is greater than 2 mg/L, indicating that when toluene is present in concentrations greater than about a part per million, the assumption of first-order kinetics may be invalid. Finally, the authors apply an existing analytical solution for steady-state one-dimensional advective transport with Monod degradation kinetics to a field data set
Ghadirian, Amin; Bredmose, Henrik; Schløer, Signe
2017-01-01
theory, that is, the most likely time history of inline force around a force peak of given value. The results of FORM and NewForce are linearly identical and show only minor deviations at second order. The FORM results are then compared to wave averaged measurements of the same criteria for crest height......In design of substructures for offshore wind turbines, the extreme wave loads which are of interest in Ultimate Limit States are often estimated by choosing extreme events from linear random sea states and replacing them by either stream function wave theory or the NewWave theory of a certain...... design wave height. As these wave theories super from limitations such as symmetry around the crest, other methods to estimate the wave loads are needed. In the present paper, the First Order Reliability Method, FORM, is used systematically to estimate the most likely extreme wave shapes. Two parameters...
ON THE BOUNDEDNESS AND THE STABILITY OF SOLUTION TO THIRD ORDER NON-LINEAR DIFFERENTIAL EQUATIONS
无
2008-01-01
In this paper we investigate the global asymptotic stability,boundedness as well as the ultimate boundedness of solutions to a general third order nonlinear differential equation,using complete Lyapunov function.
Wang Wansheng; Li Shoufu; Wang Wenqiang
2009-01-01
In this paper, we show that under identical conditions which guarantee the contractivity of the theoretical solutions of general nonlinear NDDEs, the numerical solutions obtained by a class of linear multistep methods are also contractive.
An efficient modularized sample-based method to estimate the first-order Sobol' index
Li, Chenzhao; Mahadevan, Sankaran
2016-01-01
Sobol' index is a prominent methodology in global sensitivity analysis. This paper aims to directly estimate the Sobol' index based only on available input–output samples, even if the underlying model is unavailable. For this purpose, a new method to calculate the first-order Sobol' index is proposed. The innovation is that the conditional variance and mean in the formula of the first-order index are calculated at an unknown but existing location of model inputs, instead of an explicit user-defined location. The proposed method is modularized in two aspects: 1) index calculations for different model inputs are separate and use the same set of samples; and 2) model input sampling, model evaluation, and index calculation are separate. Due to this modularization, the proposed method is capable to compute the first-order index if only input–output samples are available but the underlying model is unavailable, and its computational cost is not proportional to the dimension of the model inputs. In addition, the proposed method can also estimate the first-order index with correlated model inputs. Considering that the first-order index is a desired metric to rank model inputs but current methods can only handle independent model inputs, the proposed method contributes to fill this gap. - Highlights: • An efficient method to estimate the first-order Sobol' index. • Estimate the index from input–output samples directly. • Computational cost is not proportional to the number of model inputs. • Handle both uncorrelated and correlated model inputs.
Silva, Daniel L.; Fonseca, Ruben D.; Mendonca, Cleber R.; De Boni, Leonardo; Vivas, Marcelo G.; Ishow, E.; Canuto, Sylvio
2015-01-01
This paper reports on the static and dynamic first-order hyperpolarizabilities of a class of push-pull octupolar triarylamine derivatives dissolved in toluene. We have combined hyper-Rayleigh scattering experiment and the coupled perturbed Hartree-Fock method implemented at the Density Functional Theory (DFT) level of theory to determine the static and dynamic (at 1064 nm) first-order hyperpolarizability (β HRS ) of nine triarylamine derivatives with distinct electron-withdrawing groups. In four of these derivatives, an azoaromatic unit is inserted and a pronounceable increase of the first-order hyperpolarizability is reported. Based on the theoretical results, the dipolar/octupolar character of the derivatives is determined. By using a polarizable continuum model in combination with the DFT calculations, it was found that although solvated in an aprotic and low dielectric constant solvent, due to solvent-induced polarization and the frequency dispersion effect, the environment substantially affects the first-order hyperpolarizability of all derivatives investigated. This statement is supported due to the solvent effects to be essential for the better agreement between theoretical results and experimental data concerning the dynamic first-order hyperpolarizability of the derivatives. The first-order hyperpolarizability of the derivatives was also modeled using the two- and three-level models, where the relationship between static and dynamic first hyperpolarizabilities is given by a frequency dispersion model. Using this approach, it was verified that the dynamic first hyperpolarizability of the derivatives is satisfactorily reproduced by the two-level model and that, in the case of the derivatives with an azoaromatic unit, the use of a damped few-level model is essential for, considering also the molecular size of such derivatives, a good quantitative agreement between theoretical results and experimental data to be observed
Venturi, D.; Karniadakis, G. E.
2012-08-01
By using functional integral methods we determine new evolution equations satisfied by the joint response-excitation probability density function (PDF) associated with the stochastic solution to first-order nonlinear partial differential equations (PDEs). The theory is presented for both fully nonlinear and for quasilinear scalar PDEs subject to random boundary conditions, random initial conditions or random forcing terms. Particular applications are discussed for the classical linear and nonlinear advection equations and for the advection-reaction equation. By using a Fourier-Galerkin spectral method we obtain numerical solutions of the proposed response-excitation PDF equations. These numerical solutions are compared against those obtained by using more conventional statistical approaches such as probabilistic collocation and multi-element probabilistic collocation methods. It is found that the response-excitation approach yields accurate predictions of the statistical properties of the system. In addition, it allows to directly ascertain the tails of probabilistic distributions, thus facilitating the assessment of rare events and associated risks. The computational cost of the response-excitation method is order magnitudes smaller than the one of more conventional statistical approaches if the PDE is subject to high-dimensional random boundary or initial conditions. The question of high-dimensionality for evolution equations involving multidimensional joint response-excitation PDFs is also addressed.
Schofield, S.L.
1988-01-01
Ackroyd's generalized least-squares method for solving the first-order Boltzmann equation is adapted to incorporate a potential treatment of voids. The adaptation comprises a direct least-squares minimization allied with a suitably-defined bilinear functional. The resulting formulation gives rise to a maximum principle whose functional does not contain terms of the type that have previously led to difficulties in treating void regions. The maximum principle is derived without requiring continuity of the flux at interfaces. The functional of the maximum principle is concluded to have an Euler-Lagrange equation given directly by the first-order Boltzmann equation. (author)
Lindgård, Per-Anker; Mouritsen, Ole G.
1990-01-01
We discuss central questions in weak, first-order structural transitions by means of a magnetic analog model. A theory including fluctuation effects is developed for the model, showing a dynamical response with softening, fading modes and a growing central peak. The model is also analyzed by a two......-dimensional Monte Carlo simulation, showing clear precursor phenomena near the first-order transition and spontaneous nucleation. The kinetics of the domain growth is studied and found to be exceedingly slow. The results are applicable for martensitic transformations and structural surface...
Alvi, Kashif
2002-01-01
First-order hyperbolic systems are promising as a basis for numerical integration of Einstein's equations. In previous work, the lapse and shift have typically not been considered part of the hyperbolic system and have been prescribed independently. This can be expensive computationally, especially if the prescription involves solving elliptic equations. Therefore, including the lapse and shift in the hyperbolic system could be advantageous for numerical work. In this paper, two first-order symmetrizable hyperbolic systems are presented that include the lapse and shift as dynamical fields and have only physical characteristic speeds
Rounding by disorder of first-order quantum phase transitions: emergence of quantum critical points.
Goswami, Pallab; Schwab, David; Chakravarty, Sudip
2008-01-11
We give a heuristic argument for disorder rounding of a first-order quantum phase transition into a continuous phase transition. From both weak and strong disorder analysis of the N-color quantum Ashkin-Teller model in one spatial dimension, we find that, for N > or =3, the first-order transition is rounded to a continuous transition and the physical picture is the same as the random transverse field Ising model for a limited parameter regime. The results are strikingly different from the corresponding classical problem in two dimensions where the fate of the renormalization group flows is a fixed point corresponding to N-decoupled pure Ising models.
On entropy change measurements around first order phase transitions in caloric materials.
Caron, Luana; Ba Doan, Nguyen; Ranno, Laurent
2017-02-22
In this work we discuss the measurement protocols for indirect determination of the isothermal entropy change associated with first order phase transitions in caloric materials. The magneto-structural phase transitions giving rise to giant magnetocaloric effects in Cu-doped MnAs and FeRh are used as case studies to exemplify how badly designed protocols may affect isothermal measurements and lead to incorrect entropy change estimations. Isothermal measurement protocols which allow correct assessment of the entropy change around first order phase transitions in both direct and inverse cases are presented.
Specifying and Verifying Organizational Security Properties in First-Order Logic
Brandt, Christoph; Otten, Jens; Kreitz, Christoph; Bibel, Wolfgang
In certain critical cases the data flow between business departments in banking organizations has to respect security policies known as Chinese Wall or Bell-La Padula. We show that these policies can be represented by formal requirements and constraints in first-order logic. By additionally providing a formal model for the flow of data between business departments we demonstrate how security policies can be applied to a concrete organizational setting and checked with a first-order theorem prover. Our approach can be applied without requiring a deep formal expertise and it therefore promises a high potential of usability in the business.
A novel square-root domain realization of first order all-pass filter
ÖLMEZ, Sinem; ÇAM, Uğur
2010-01-01
In this paper, a new square-root domain, first order, all-pass filter based on the MOSFET square law is presented. The proposed filter is designed by using nonlinear mapping on the state variables of a state space description of the transfer function. To the best knowledge of the authors, the filter is the first square-root domain first order all-pass structure designed by using state space synthesis method in the literature. The center frequency of the all-pass filter is not only a...
Multilevel solvers of first-order system least-squares for Stokes equations
Lai, Chen-Yao G. [National Chung Cheng Univ., Chia-Yi (Taiwan, Province of China)
1996-12-31
Recently, The use of first-order system least squares principle for the approximate solution of Stokes problems has been extensively studied by Cai, Manteuffel, and McCormick. In this paper, we study multilevel solvers of first-order system least-squares method for the generalized Stokes equations based on the velocity-vorticity-pressure formulation in three dimensions. The least-squares functionals is defined to be the sum of the L{sup 2}-norms of the residuals, which is weighted appropriately by the Reynolds number. We develop convergence analysis for additive and multiplicative multilevel methods applied to the resulting discrete equations.
Existence of entire solutions of some non-linear differential-difference equations.
Chen, Minfeng; Gao, Zongsheng; Du, Yunfei
2017-01-01
In this paper, we investigate the admissible entire solutions of finite order of the differential-difference equations [Formula: see text] and [Formula: see text], where [Formula: see text], [Formula: see text] are two non-zero polynomials, [Formula: see text] is a polynomial and [Formula: see text]. In addition, we investigate the non-existence of entire solutions of finite order of the differential-difference equation [Formula: see text], where [Formula: see text], [Formula: see text] are two non-constant polynomials, [Formula: see text], m , n are positive integers and satisfy [Formula: see text] except for [Formula: see text], [Formula: see text].
FORCED OSCILLATIONS OF SECOND ORDER SUPER-LINEAR DIFFERENTIAL EQUATION WITH IMPULSES
无
2012-01-01
At first,by means of Kartsatos technique,we reduce the impulsive differential equation to a second order nonlinear impulsive homogeneous equation.We find some suitable impulse functions such that all the solutions to the equation are oscillatory.Several criteria on the oscillations of solutions are given.At last,we give an example to demonstrate our results.
A Differential 4-Path Highly Linear Widely Tunable On-Chip Band-Pass Filter
Ghaffari, A.; Klumperink, Eric A.M.; Nauta, Bram
2010-01-01
Abstract A passive switched capacitor RF band-pass filter with clock controlled center frequency is realized in 65nm CMOS. An off-chip transformer which acts as a balun, improves filter-Q and realizes impedance matching. The differential architecture reduces clock-leakage and suppresses selectivity
On nonseparated three-point boundary value problems for linear functional differential equations
Rontó, András; Rontó, M.
2011-01-01
Roč. 2011, - (2011), s. 326052 ISSN 1085-3375 Institutional research plan: CEZ:AV0Z10190503 Keywords : functional-differential equation * three-point boundary value problem * nonseparated boundary condition Subject RIV: BA - General Mathematics Impact factor: 1.318, year: 2011 http://www.hindawi.com/journals/ aaa /2011/326052/
Certain non-linear differential polynomials sharing a non zero polynomial
Majumder Sujoy
2015-10-01
functions sharing a nonzero polynomial and obtain two results which improves and generalizes the results due to L. Liu [Uniqueness of meromorphic functions and differential polynomials, Comput. Math. Appl., 56 (2008, 3236-3245.] and P. Sahoo [Uniqueness and weighted value sharing of meromorphic functions, Applied. Math. E-Notes., 11 (2011, 23-32.].
Generalized linear differential equations in a Banach space : continuous dependence on a parameter
Monteiro, G.A.; Tvrdý, Milan
2013-01-01
Roč. 33, č. 1 (2013), s. 283-303 ISSN 1078-0947 Institutional research plan: CEZ:AV0Z10190503 Keywords : generalized differential equations * continuous dependence * Kurzweil-Stieltjes integral Subject RIV: BA - General Mathematics Impact factor: 0.923, year: 2013 http://aimsciences.org/journals/displayArticlesnew.jsp?paperID=7615
A Hierarchical Linear Model for Estimating Gender-Based Earnings Differentials.
Haberfield, Yitchak; Semyonov, Moshe; Addi, Audrey
1998-01-01
Estimates of gender earnings inequality in data from 116,431 Jewish workers were compared using a hierarchical linear model (HLM) and ordinary least squares model. The HLM allows estimation of the extent to which earnings inequality depends on occupational characteristics. (SK)
Remark on periodic boundary-value problem for second-order linear ordinary differential equations
Dosoudilová, M.; Lomtatidze, Alexander
2018-01-01
Roč. 2018, č. 13 (2018), s. 1-7 ISSN 1072-6691 Institutional support: RVO:67985840 Keywords : second-order linear equation * periodic boundary value problem * unique solvability Subject RIV: BA - General Mathematics OBOR OECD: Applied mathematics Impact factor: 0.954, year: 2016 https://ejde.math.txstate.edu/Volumes/2018/13/abstr.html
Lemieux Sébastien
2006-08-01
Full Text Available Abstract Background The identification of differentially expressed genes (DEGs from Affymetrix GeneChips arrays is currently done by first computing expression levels from the low-level probe intensities, then deriving significance by comparing these expression levels between conditions. The proposed PL-LM (Probe-Level Linear Model method implements a linear model applied on the probe-level data to directly estimate the treatment effect. A finite mixture of Gaussian components is then used to identify DEGs using the coefficients estimated by the linear model. This approach can readily be applied to experimental design with or without replication. Results On a wholly defined dataset, the PL-LM method was able to identify 75% of the differentially expressed genes within 10% of false positives. This accuracy was achieved both using the three replicates per conditions available in the dataset and using only one replicate per condition. Conclusion The method achieves, on this dataset, a higher accuracy than the best set of tools identified by the authors of the dataset, and does so using only one replicate per condition.
First-order aerodynamic and aeroelastic behavior of a single-blade installation setup
Gaunaa, Mac; Bergami, Leonardo; Guntur, Srinivas
2014-01-01
the first-order aerodynamic and aeroelastic behavior of a single blade installation system, where the blade is grabbed by a yoke, which is lifted by the crane and stabilized by two taglines. A simple engineering model is formulated to describe the aerodynamic forcing on the blade subject to turbulent wind...
Novel Resistorless First-Order Current-Mode Universal Filter Employing a Grounded Capacitor
R. Arslanalp
2011-09-01
Full Text Available In this paper, a new bipolar junction transistor (BJT based configuration for providing first-order resistorless current-mode (CM all-pass, low-pass and high-pass filter responses from the same configuration is suggested. The proposed circuit called as a first-order universal filter possesses some important advantages such as consisting of a few BJTs and a grounded capacitor, consuming very low power and having electronic tunability property of its pole frequency. Additionally, types of filter response can be obtained only by changing the values of current sources. The suggested circuit does not suffer from disadvantages of use of the resistors in IC process. The presented first-order universal filter topology does not need any passive element matching constraints. Moreover, as an application example, a second-order band-pass filter is obtained by cascading two proposed filter structures which are operating as low-pass filter and high-pass one. Simulations by means of PSpice program are accomplished to demonstrate the performance and effectiveness of the developed first-order universal filter.
A Lennard-Jones-like perspective on first order transitions in biological helices
Oskolkov, Nikolay N.; Bohr, Jakob
2013-01-01
Helical structures with Lennard-Jones self-interactions are studied for optimal conformations. For this purpose, their self-energy is analyzed for extrema with respect to the geometric parameters of the helices. It is found that Lennard-Jones helices exhibit a first order phase transition from...
The mass transfer approach to multivariate discrete first order stochastic dominance
Østerdal, Lars Peter Raahave
2010-01-01
A fundamental result in the theory of stochastic dominance tells that first order dominance between two finite multivariate distributions is equivalent to the property that the one can be obtained from the other by shifting probability mass from one outcome to another that is worse a finite numbe...
Tao, Shengzhen; Weavers, Paul T; Trzasko, Joshua D; Shu, Yunhong; Huston, John; Lee, Seung-Kyun; Frigo, Louis M; Bernstein, Matt A
2017-06-01
To develop a gradient pre-emphasis scheme that prospectively counteracts the effects of the first-order concomitant fields for any arbitrary gradient waveform played on asymmetric gradient systems, and to demonstrate the effectiveness of this approach using a real-time implementation on a compact gradient system. After reviewing the first-order concomitant fields that are present on asymmetric gradients, we developed a generalized gradient pre-emphasis model assuming arbitrary gradient waveforms to counteract their effects. A numerically straightforward, easily implemented approximate solution to this pre-emphasis problem was derived that was compatible with the current hardware infrastructure of conventional MRI scanners for eddy current compensation. The proposed method was implemented on the gradient driver subsystem, and its real-time use was tested using a series of phantom and in vivo data acquired from two-dimensional Cartesian phase-difference, echo-planar imaging, and spiral acquisitions. The phantom and in vivo results demonstrated that unless accounted for, first-order concomitant fields introduce considerable phase estimation error into the measured data and result in images with spatially dependent blurring/distortion. The resulting artifacts were effectively prevented using the proposed gradient pre-emphasis. We have developed an efficient and effective gradient pre-emphasis framework to counteract the effects of first-order concomitant fields of asymmetric gradient systems. Magn Reson Med 77:2250-2262, 2017. © 2016 International Society for Magnetic Resonance in Medicine. © 2016 International Society for Magnetic Resonance in Medicine.
Rossi, R.; Hendrix, E.M.T.
2014-01-01
We discuss the problem of computing optimal linearisation parameters for the first order loss function of a family of arbitrarily distributed random variable. We demonstrate that, in contrast to the problem in which parameters must be determined for the loss function of a single random variable,
Back-and-forth systems for fuzzy first-order models
Dellunde, P.; García-Cerdaña, A.; Noguera, Carles
(2018) ISSN 0165-0114 R&D Projects: GA ČR(CZ) GF15-34650L Institutional support: RVO:67985556 Keywords : Mathematical fuzzy logic * first-order fuzzy logics * non-classical logics Subject RIV: BA - General Mathematics Impact factor: 2.718, year: 2016 http://library.utia.cas.cz/separaty/2018/MTR/noguera-0486421.pdf
Kapička, Marek
2013-01-01
Roč. 80, č. 3 (2013), s. 1027-1054 ISSN 0034-6527 Institutional support: PRVOUK-P23 Keywords : first-order approach * persistent shocks * private information Subject RIV: AH - Economics Impact factor: 3.235, year: 2013
Advancing investigation and physical modeling of first-order fire effects on soils
William J. Massman; John M. Frank; Sacha J. Mooney
2010-01-01
Heating soil during intense wildland fires or slash-pile burns can alter the soil irreversibly, resulting in many significant long-term biological, chemical, physical, and hydrological effects. To better understand these long-term effects, it is necessary to improve modeling capability and prediction of the more immediate, or first-order, effects that fire can have on...
Temporal Frequency Modulates Reaction Time Responses to First-Order and Second-Order Motion
Hutchinson, Claire V.; Ledgeway, Tim
2010-01-01
This study investigated the effect of temporal frequency and modulation depth on reaction times for discriminating the direction of first-order (luminance-defined) and second-order (contrast-defined) motion, equated for visibility using equal multiples of direction-discrimination threshold. Results showed that reaction times were heavily…
Spatially resolved modelling of inhomogeneous materials with a first order magnetic phase transition
Nielsen, Kaspar Kirstein; Bahl, Christian; Smith, Anders
2017-01-01
, respectively and first order reversal effect as a function of temperature. We conclude that even a very little variation in local stoichiometry of less than a percent, corresponding to a standard deviation in of for has a significant impact on the overall properties and history dependence of a sample....
First Order Fire Effects Model: FOFEM 4.0, user's guide
Elizabeth D. Reinhardt; Robert E. Keane; James K. Brown
1997-01-01
A First Order Fire Effects Model (FOFEM) was developed to predict the direct consequences of prescribed fire and wildfire. FOFEM computes duff and woody fuel consumption, smoke production, and fire-caused tree mortality for most forest and rangeland types in the United States. The model is available as a computer program for PC or Data General computer.
Preferential semantics for action specification in first-order modal action logic
Broersen, Jan; Wieringa, Roelf J.
In this paper we investigate preferential semantics for declarative specifications in a First Order Modal Action Logic. We address some well known problems: the frame problem, the qualification problem and the ramification problem. We incorporate the assumptions that are inherent to both the frame
Imaging of first-order surface-related multiples by reverse-time migration
Liu, Xuejian; Liu, Yike; Hu, Hao; Li, Peng; Khan, Majid
2017-02-01
Surface-related multiples have been utilized in the reverse-time migration (RTM) procedures, and additional illumination for subsurface can be provided. Meanwhile, many cross-talks are generated from undesired interactions between forward- and backward-propagated seismic waves. In this paper, subsequent to analysing and categorizing these cross-talks, we propose RTM of first-order multiples to avoid most undesired interactions in RTM of all-order multiples, where only primaries are forward-propagated and crosscorrelated with the backward-propagated first-order multiples. With primaries and multiples separated during regular seismic data processing as the input data, first-order multiples can be obtained by a two-step scheme: (1) the dual-prediction of higher-order multiples; and (2) the adaptive subtraction of predicted higher-order multiples from all-order multiples within local offset-time windows. In numerical experiments, two synthetic and a marine field data sets are used, where different cross-talks generated by RTM of all-order multiples can be identified and the proposed RTM of first-order multiples can provide a very interpretable image with a few cross-talks.
Reducing the first-order Doppler shift in a Sagnac interferometer
Hannemann, S.; Salumbides, E.J.; Ubachs, W.M.G.
2007-01-01
We demonstrate a technique to reduce first-order Doppler shifts in crossed atomic/molecular and laser beam setups by aligning two counterpropagating laser beams as part of a Sagnac interferometer. Interference fringes on the exit port of the interferometer reveal minute deviations from perfect
Lindström theorems for fragments of first-order logic
van Benthem, J.; ten Cate, B.; Väänänen, J.
2009-01-01
Lindström theorems characterize logics in terms of model-theoretic conditions such as Compactness and the Löwenheim-Skolem property. Most existing characterizations of this kind concern extensions of first-order logic. But on the other hand, many logics relevant to computer science are fragments or
Kramosil, Ivan
2001-01-01
Roč. 5, č. 1 (2001), s. 45-57 ISSN 1432-7643 R&D Projects: GA AV ČR IAA1030803 Institutional research plan: AV0Z1030915 Keywords : first-order predicate calculus * standard semantics * Boolean-like semantics * frequentistic semantics * completness theorems Subject RIV: BA - General Mathematics
On the propagation and the twist of Gaussian light in first-order optical systems
Bastiaans, M.J.; Nijhawan, O.P.; Gupta, A.K.; Musla, A.K.; Singh, Kehar
1998-01-01
A measure for the twist of Gaussian light is expressed in terms of the second-order moments of the Wigner distribution function. The propagation law for these moments through first-order optical systems is used to express the twist in the output plane in terms of moments in the input plane, and vice
The gravitational waves from the first-order phase transition with a dimension-six operator
Cai, Rong-Gen; Wang, Shao-Jiang [CAS Key Laboratory of Theoretical Physics, Institute of Theoretical Physics, Chinese Academy of Sciences, No.55 Zhong Guan Cun East Road, Beijing 100190 (China); Sasaki, Misao, E-mail: cairg@itp.ac.cn, E-mail: misao@yukawa.kyoto-u.ac.jp, E-mail: schwang@itp.ac.cn [Center for Gravitational Physics, Yukawa Institute for Theoretical Physics, Kyoto University, Kyoto 606-8502 (Japan)
2017-08-01
We investigate in details the gravitational wave (GW) from the first-order phase transition (PT) in the extended standard model of particle physics with a dimension-six operator, which is capable of exhibiting the recently discovered slow first-order PT in addition to the usually studied fast first-order PT. To simplify the discussion, it is sufficient to work with an example of a toy model with the sextic term, and we propose an unified description for both slow and fast first-order PTs. We next study the full one-loop effective potential of the model with fixed/running renormalization-group (RG) scales. Compared to the prediction of GW energy density spectrum from the fixed RG scale, we find that the presence of running RG scale could amplify the peak amplitude by amount of one order of magnitude while shift the peak frequency to the lower frequency regime, and the promising regime of detection within the sensitivity ranges of various space-based GW detectors shrinks down to a lower cut-off value of the sextic term rather than the previous expectation.
How much are your geraniums? Taking graph conditions beyond first Order
Rensink, Arend; Katoen, Joost-Pieter; Langerak, Rom; Rensink, Arend
2017-01-01
Previous work has shown how first-order logic can equivalently be expressed through nested graph conditions, also called condition trees, with surprisingly few ingredients. In this paper, we extend condition trees by adding set-based operators such as sums and products, calculated over operands that
First-order signals in compact QED with monopole suppressed boundaries
Lippert, T.; Schilling, K.; Forschungszentrum Juelich GmbH
1995-01-01
Pure gauge compact QED on hypercubic lattices is considered with periodically closed monopole currents suppressed. We compute observables on sublattices which are nested around the centre of the lattice in order to locate regions where translation symmetry is approximately recovered. Our Monte Carlo simulations on 24 4 -lattices give indications for a first-order nature of the U(1) phase transition. ((orig.))
Explicit solutions of one-dimensional, first-order, stationary mean-field games with congestion
Gomes, Diogo A.
2017-01-05
Here, we consider one-dimensional first-order stationary mean-field games with congestion. These games arise when crowds face difficulty moving in high-density regions. We look at both monotone decreasing and increasing interactions and construct explicit solutions using the current formulation. We observe new phenomena such as discontinuities, unhappiness traps and the non-existence of solutions.
Bubble nucleation in first-order inflation and other cosmological phase transitions
Turner, M.S.; Weinberg, E.J.; Widrow, L.M.
1992-01-01
We address in some detail the kinematics of bubble nucleation and percolation in first-order cosmological phase transitions, with the primary focus on first-order inflation. We study how a first-order phase transition completes, describe measures of its progress, and compute the distribution of bubble sizes. For example, we find that the typical bubble size in a successful transition is of order 1% to 100% of the Hubble radius, and depends very weakly on the energy scale of the transition. We derive very general conditions that must be satisfied by Γ/H 4 to complete the phase transition (Γ=bubble nucleation rate per unit volume; H=expansion rate; physically, Γ/H 4 corresponds to the volume fraction of space occupied by bubbles nucleated over a Hubble time). In particular, Γ/H 4 must exceed 9/4π to successfully end inflation. To avoid the deleterious effects of bubbles nucleated early during inflation on primordial nucleosynthesis and on the isotropy and spectrum of the cosmic microwave background radiation, during most of inflation Γ/H 4 must be less than order 10 -4 --10 -3 . Our constraints imply that in a successful model of first-order inflation the phase transition must complete over a period of at most a few Hubble times and all but preclude individual bubbles from providing an interesting source of density perturbation. We note, though, that it is just possible for Poisson fluctuations in the number of moderately large-size bubbles to lead to interesting isocurvature perturbations, whose spectrum is not scale invariant. Finally, we analyze in detail several recently proposed models of first-order inflation
The solutions of second-order linear differential systems with constant delays
Diblík, Josef; Svoboda, Zdeněk
2017-07-01
The representations of solutions to initial problems for non-homogenous n-dimensional second-order differential equations with delays x″(t )-2 A x'(t -τ )+(A2+B2)x (t -2 τ )=f (t ) by means of special matrix delayed functions are derived. Square matrices A and B are commuting and τ > 0. Derived representations use what is called a delayed exponential of a matrix and results generalize some of known results previously derived for homogenous systems.
Maruthai Suresh
2010-10-01
Full Text Available A nonlinear process, the heat exchanger whose parameters vary with respect to the process variable, is considered. The time constant and gain of the chosen process vary as a function of temperature. The limitations of the conventional feedback controller tuned using Ziegler-Nichols settings for the chosen process are brought out. The servo and regulatory responses through simulation and experimentation for various magnitudes of set-point changes and load changes at various operating points with the controller tuned only at a chosen nominal operating point are obtained and analyzed. Regulatory responses for output load changes are studied. The efficiency of feedforward controller and the effects of modeling error have been brought out. An IMC based system is presented to understand clearly how variations of system parameters affect the performance of the controller. The present work illustrates the effectiveness of Feedforward and IMC controller.
On oscillation and nonoscillation of two-dimensional linear differential systems
Lomtatidze, A.; Šremr, Jiří
2013-01-01
Roč. 20, č. 3 (2013), s. 573-600 ISSN 1072-947X Institutional support: RVO:67985840 Keywords : two-dimensional system of linear ODE * oscillation * nonoscillation Subject RIV: BA - General Mathematics Impact factor: 0.340, year: 2013 http://www.degruyter.com/view/j/gmj.2013.20.issue-3/gmj-2013-0025/gmj-2013-0025.xml?format=INT
Remark on zeros of solutions of second-order linear ordinary differential equations
Dosoudilová, M.; Lomtatidze, Alexander
2016-01-01
Roč. 23, č. 4 (2016), s. 571-577 ISSN 1072-947X Institutional support: RVO:67985840 Keywords : second-order linear equation * zeros of solutions * periodic boundary value problem Subject RIV: BA - General Mathematics Impact factor: 0.290, year: 2016 https://www.degruyter.com/view/j/gmj.2016.23.issue-4/gmj-2016-0052/gmj-2016-0052. xml
On oscillation and nonoscillation of two-dimensional linear differential systems
Lomtatidze, A.; Šremr, Jiří
2013-01-01
Roč. 20, č. 3 (2013), s. 573-600 ISSN 1072-947X Institutional support: RVO:67985840 Keywords : two-dimensional system of linear ODE * oscillation * nonoscillation Subject RIV: BA - General Mathematics Impact factor: 0.340, year: 2013 http://www.degruyter.com/view/j/gmj.2013.20.issue-3/gmj-2013-0025/gmj-2013-0025. xml ?format=INT
Remark on zeros of solutions of second-order linear ordinary differential equations
Dosoudilová, M.; Lomtatidze, Alexander
2016-01-01
Roč. 23, č. 4 (2016), s. 571-577 ISSN 1072-947X Institutional support: RVO:67985840 Keywords : second-order linear equation * zero s of solutions * periodic boundary value problem Subject RIV: BA - General Mathematics Impact factor: 0.290, year: 2016 https://www.degruyter.com/view/j/gmj.2016.23.issue-4/gmj-2016-0052/gmj-2016-0052.xml
A Lie-Deprit perturbation algorithm for linear differential equations with periodic coefficients
Casas Pérez, Fernando; Chiralt Monleon, Cristina
2014-01-01
A perturbative procedure based on the Lie-Deprit algorithm of classical mechanics is proposed to compute analytic approximations to the fundamental matrix of linear di erential equations with periodic coe cients. These approximations reproduce the structure assured by the Floquet theorem. Alternatively, the algorithm provides explicit approximations to the Lyapunov transformation reducing the original periodic problem to an autonomous sys- tem and also to its characteristic ...
Salat, A.
1981-12-01
The existence of quasi-periodic eigensolutions of a linear second order ordinary differential equation with quasi-periodic coefficient f(ω 1 t,ω 2 t) is investigated numerically and graphically. For sufficiently incommensurate frequencies ω 1 , ω 2 a doubly indexed infinite sequence of eigenvalues and eigenmodes is obtained. The equation considered is a model for the magneto-hydrodynamic 'continuum' in general toroidal geometry. The result suggests that continuum modes exist at least on sufficiently irrational magnetic surfaces. (orig.)
Antar, B. N.
1976-01-01
A numerical technique is presented for locating the eigenvalues of two point linear differential eigenvalue problems. The technique is designed to search for complex eigenvalues belonging to complex operators. With this method, any domain of the complex eigenvalue plane could be scanned and the eigenvalues within it, if any, located. For an application of the method, the eigenvalues of the Orr-Sommerfeld equation of the plane Poiseuille flow are determined within a specified portion of the c-plane. The eigenvalues for alpha = 1 and R = 10,000 are tabulated and compared for accuracy with existing solutions.
Geroyannis, V.S.
1988-01-01
In this paper, a numerical method is developed for determining the structure distortion of a polytropic star which rotates either uniformly or differentially. This method carries out the required numerical integrations in the complex plane. The method is implemented to compute indicative quantities, such as the critical perturbation parameter which represents an upper limit in the rotational behavior of the star. From such indicative results, it is inferred that this method achieves impressive improvement against other relevant methods; most important, it is comparable to some of the most elaborate and accurate techniques on the subject. It is also shown that the use of this method with Chandrasekhar's first-order perturbation theory yields an immediate drastic improvement of the results. Thus, there is no neeed - for most applications concerning rotating polytropic models - to proceed to the further use of the method with higher order techniques, unless the maximum accuracy of the method is required. 31 references
B Chaturvedi
2015-12-01
Full Text Available In this paper, a new voltage controlled first order all-pass filter is presented. The proposed circuit employs a single differential voltage dual-X second generation current conveyor (DV-DXCCII and a grounded capacitor only. The proposed all-pass filter provides both inverting and non inverting voltage-mode outputs from the same configuration simultaneously without any matching condition. Non-ideal analysis along with sensitivity analysis is also investigated. The proposed circuit has low active and passive sensitivities. As an application the proposed all-pass filter is connected in cascade to get higher order filter. The theoretical results are validated thorough PSPICE simulations using TSMC 0.18µm CMOS process parameters.
An inverse method for non linear ablative thermics with experimentation of automatic differentiation
Alestra, S [Simulation Information Technology and Systems Engineering, EADS IW Toulouse (France); Collinet, J [Re-entry Systems and Technologies, EADS ASTRIUM ST, Les Mureaux (France); Dubois, F [Professor of Applied Mathematics, Conservatoire National des Arts et Metiers Paris (France)], E-mail: stephane.alestra@eads.net, E-mail: jean.collinet@astrium.eads.net, E-mail: fdubois@cnam.fr
2008-11-01
Thermal Protection System is a key element for atmospheric re-entry missions of aerospace vehicles. The high level of heat fluxes encountered in such missions has a direct effect on mass balance of the heat shield. Consequently, the identification of heat fluxes is of great industrial interest but is in flight only available by indirect methods based on temperature measurements. This paper is concerned with inverse analyses of highly evolutive heat fluxes. An inverse problem is used to estimate transient surface heat fluxes (convection coefficient), for degradable thermal material (ablation and pyrolysis), by using time domain temperature measurements on thermal protection. The inverse problem is formulated as a minimization problem involving an objective functional, through an optimization loop. An optimal control formulation (Lagrangian, adjoint and gradient steepest descent method combined with quasi-Newton method computations) is then developed and applied, using Monopyro, a transient one-dimensional thermal model with one moving boundary (ablative surface) that has been developed since many years by ASTRIUM-ST. To compute numerically the adjoint and gradient quantities, for the inverse problem in heat convection coefficient, we have used both an analytical manual differentiation and an Automatic Differentiation (AD) engine tool, Tapenade, developed at INRIA Sophia-Antipolis by the TROPICS team. Several validation test cases, using synthetic temperature measurements are carried out, by applying the results of the inverse method with minimization algorithm. Accurate results of identification on high fluxes test cases, and good agreement for temperatures restitutions, are obtained, without and with ablation and pyrolysis, using bad fluxes initial guesses. First encouraging results with an automatic differentiation procedure are also presented in this paper.
Piazzi, Marco; Bennati, Cecilia; Basso, Vittorio
2017-10-01
We investigate the kinetics of first-order magnetic phase transitions by measuring and modeling the heat-flux avalanches corresponding to the irreversible motion of the phase-boundary interface separating the coexisting low- and high-temperature stable magnetic phases. By means of out-of-equilibrium thermodynamics, we encompass the damping mechanisms of the boundary motion in a phenomenological parameter αs. By analyzing the time behavior of the heat-flux signals measured on La (Fe -Mn -Si )13-H magnetocaloric compounds through Peltier calorimetry temperature scans performed at low rates, we relate the linear rise of the individual avalanches to the intrinsic-damping parameter αs.
Operational method of solution of linear non-integer ordinary and partial differential equations.
Zhukovsky, K V
2016-01-01
We propose operational method with recourse to generalized forms of orthogonal polynomials for solution of a variety of differential equations of mathematical physics. Operational definitions of generalized families of orthogonal polynomials are used in this context. Integral transforms and the operational exponent together with some special functions are also employed in the solutions. The examples of solution of physical problems, related to such problems as the heat propagation in various models, evolutional processes, Black-Scholes-like equations etc. are demonstrated by the operational technique.
Growth of solutions of an $n$-th order linear differential equation with entire coefficients
Bela\\"{i}di, Benharrat; Hamouda, Saada
2002-01-01
We consider a differential equation $f^{\\left( n\\right) }+A_{n-1}\\left( z\\right) f^{\\left( n-1\\right) }+...+A_{1}\\left( z\\right) f^{^{/}}+A_{0}\\left( z\\right) f=0,$ where $A_{0}\\left( z\\right) ,...,A_{n-1}\\left( z\\right) $ are entire functions with $A_{0}\\left( z\\right) \\hbox{$/\\hskip -11pt\\equiv$}0$. Suppose that there exist a positive number $\\mu ,$\\ and a sequence $\\left( z_{j}\\right) _{j\\in N}$ with $\\stackunder{j\\rightarrow +\\infty }{\\lim }z_{j}=\\infty ,$ \\ and also ...
Novel structures for Discrete Hartley Transform based on first-order moments
Xiong, Jun; Zheng, Wenjuan; Wang, Hao; Liu, Jianguo
2018-03-01
Discrete Hartley Transform (DHT) is an important tool in digital signal processing. In the present paper, the DHT is firstly transformed into the first-order moments-based form, then a new fast algorithm is proposed to calculate the first-order moments without multiplication. Based on the algorithm theory, the corresponding hardware architecture for DHT is proposed, which only contains shift operations and additions with no need for multipliers and large memory. To verify the availability and effectiveness, the proposed design is implemented with hardware description language and synthesized by Synopsys Design Compiler with 0.18-μm SMIC library. A series of experiments have proved that the proposed architecture has better performance in terms of the product of the hardware consumption and computation time.
Critical ignition conditions in exothermically reacting systems: first-order reactions.
Filimonov, Valeriy Yu
2017-10-01
In this paper, the comparative analysis of the thermal explosion (TE) critical conditions on the planes temperature-conversion degree and temperature-time was conducted. It was established that the ignition criteria are almost identical only at relatively small values of Todes parameter. Otherwise, the results of critical conditions analysis on the plane temperature-conversion degree may be wrong. The asymptotic method of critical conditions calculation for the first-order reactions was proposed (taking into account the reactant consumption). The degeneration conditions of TE were determined. The calculation of critical conditions for specific first-order reaction was made. The comparison of the analytical results obtained with the results of numerical calculations and experimental data showed that they are in good agreement.
Quantum criticality and first-order transitions in the extended periodic Anderson model
Hagymási, I.; Itai, K.; Sólyom, J.
2013-03-01
We investigate the behavior of the periodic Anderson model in the presence of d-f Coulomb interaction (Udf) using mean-field theory, variational calculation, and exact diagonalization of finite chains. The variational approach based on the Gutzwiller trial wave function gives a critical value of Udf and two quantum critical points (QCPs), where the valence susceptibility diverges. We derive the critical exponent for the valence susceptibility and investigate how the position of the QCP depends on the other parameters of the Hamiltonian. For larger values of Udf, the Kondo regime is bounded by two first-order transitions. These first-order transitions merge into a triple point at a certain value of Udf. For even larger Udf valence skipping occurs. Although the other methods do not give a critical point, they support this scenario.
Critical ignition conditions in exothermically reacting systems: first-order reactions
Filimonov, Valeriy Yu.
2017-10-01
In this paper, the comparative analysis of the thermal explosion (TE) critical conditions on the planes temperature-conversion degree and temperature-time was conducted. It was established that the ignition criteria are almost identical only at relatively small values of Todes parameter. Otherwise, the results of critical conditions analysis on the plane temperature-conversion degree may be wrong. The asymptotic method of critical conditions calculation for the first-order reactions was proposed (taking into account the reactant consumption). The degeneration conditions of TE were determined. The calculation of critical conditions for specific first-order reaction was made. The comparison of the analytical results obtained with the results of numerical calculations and experimental data showed that they are in good agreement.
Discrete gravity as a local theory of the Poincare group in the first-order formalism
Gionti, Gabriele [Vatican Observatory Research Group, Steward Observatory, 933 North Cherry Avenue, University of Arizona, Tucson, AZ 85721 (United States); Specola Vaticana, V-00120 Citta Del Vaticano (Vatican City State, Holy See,)
2005-10-21
A discrete theory of gravity, locally invariant under the Poincare group, is considered as in a companion paper. We define a first-order theory, in the sense of Palatini, on the metric-dual Voronoi complex of a simplicial complex. We follow the same spirit as the continuum theory of general relativity in the Cartan formalism. The field equations are carefully derived taking in account the constraints of the theory. They look very similar to first-order Einstein continuum equations in the Cartan formalism. It is shown that in the limit of small deficit angles these equations have Regge calculus, locally, as the only solution. A quantum measure is easily defined which does not suffer the ambiguities of Regge calculus, and a coupling with fermionic matter is easily introduced.
Discrete gravity as a local theory of the Poincare group in the first-order formalism
Gionti, Gabriele
2005-01-01
A discrete theory of gravity, locally invariant under the Poincare group, is considered as in a companion paper. We define a first-order theory, in the sense of Palatini, on the metric-dual Voronoi complex of a simplicial complex. We follow the same spirit as the continuum theory of general relativity in the Cartan formalism. The field equations are carefully derived taking in account the constraints of the theory. They look very similar to first-order Einstein continuum equations in the Cartan formalism. It is shown that in the limit of small deficit angles these equations have Regge calculus, locally, as the only solution. A quantum measure is easily defined which does not suffer the ambiguities of Regge calculus, and a coupling with fermionic matter is easily introduced
Ji, Xingpei; Wang, Bo; Liu, Dichen; Dong, Zhaoyang; Chen, Guo; Zhu, Zhenshan; Zhu, Xuedong; Wang, Xunting
2016-10-01
Whether the realistic electrical cyber-physical interdependent networks will undergo first-order transition under random failures still remains a question. To reflect the reality of Chinese electrical cyber-physical system, the "partial one-to-one correspondence" interdependent networks model is proposed and the connectivity vulnerabilities of three realistic electrical cyber-physical interdependent networks are analyzed. The simulation results show that due to the service demands of power system the topologies of power grid and its cyber network are highly inter-similar which can effectively avoid the first-order transition. By comparing the vulnerability curves between electrical cyber-physical interdependent networks and its single-layer network, we find that complex network theory is still useful in the vulnerability analysis of electrical cyber-physical interdependent networks.
QCD-Electroweak First-Order Phase Transition in a Supercooled Universe
Iso, Satoshi; Serpico, Pasquale D.; Shimada, Kengo
2017-10-01
If the electroweak sector of the standard model is described by classically conformal dynamics, the early Universe evolution can be substantially altered. It is already known that—contrarily to the standard model case—a first-order electroweak phase transition may occur. Here we show that, depending on the model parameters, a dramatically different scenario may happen: A first-order, six massless quark QCD phase transition occurs first, which then triggers the electroweak symmetry breaking. We derive the necessary conditions for this dynamics to occur, using the specific example of the classically conformal B -L model. In particular, relatively light weakly coupled particles are predicted, with implications for collider searches. This scenario is also potentially rich in cosmological consequences, such as renewed possibilities for electroweak baryogenesis, altered dark matter production, and gravitational wave production, as we briefly comment upon.
QCD-Electroweak First-Order Phase Transition in a Supercooled Universe.
Iso, Satoshi; Serpico, Pasquale D; Shimada, Kengo
2017-10-06
If the electroweak sector of the standard model is described by classically conformal dynamics, the early Universe evolution can be substantially altered. It is already known that-contrarily to the standard model case-a first-order electroweak phase transition may occur. Here we show that, depending on the model parameters, a dramatically different scenario may happen: A first-order, six massless quark QCD phase transition occurs first, which then triggers the electroweak symmetry breaking. We derive the necessary conditions for this dynamics to occur, using the specific example of the classically conformal B-L model. In particular, relatively light weakly coupled particles are predicted, with implications for collider searches. This scenario is also potentially rich in cosmological consequences, such as renewed possibilities for electroweak baryogenesis, altered dark matter production, and gravitational wave production, as we briefly comment upon.
Hydrology and water quality of two first order forested watersheds in coastal South Carolina
D.M. Amatya; M. Miwa; C.A. Harrison; C.C. Trettin; G. Sun
2006-01-01
Two first-order forested watersheds (WS 80 and WS 77) on poorly drained pine-hardwood stands in the South Carolina Coastal Plain have been monitored since mid-1960s to characterize the hydrology, water quality and vegetation dynamics. This study examines the flow and nutrient dynamics of these two watersheds using 13 years (1 969-76 and 1977-81) of data prior to...
Proximity formulae for folding potentials. [Saxon-Woods form factors, first order corrections
Schechter, H; Canto, L F [Rio de Janeiro Univ. (Brazil). Inst. de Fisica
1979-03-05
The proximity formulae of Brink and Stancu are applied to folding potentials. A numerical study is made for the case of single folding potentials with Saxon-Woods form factors. It is found that a proximity formula is accurate to 1-2% at separations of the order of the radius of the Coulomb barrier and that first order corrections due to first curvature are important. The approximations involved are discussed.
Quasi-liquid layer theory based on the bulk first-order phase transition
Ryzhkin, I. A.; Petrenko, V. F.
2009-01-01
The theory of the superionic phase transition (bulk first-order transition) proposed in [1] is used to explain the existence of a quasi-liquid layer at an ice surface below its melting point. An analytical expression is derived for the quasi-liquid layer thickness. Numerical estimates are made and compared with experiment. Distinction is made between the present model and other quasi-liquid layer theories
First-order character of the displacive structural transition in BaWO4
Tan Da-Yong; Xiao Wan-Sheng; Zhou Wei; Chen Ming; Xiong Xiao-Lin; Song Mao-Shuang
2012-01-01
Nearly all displacive transitions have been considered to be continuous or second order, and the rigid unit mode (RUM) provides a natural candidate for the soft mode. However, in-situ X-ray diffraction and Raman measurements show clearly the first-order evidences for the scheelite-to-fergusonite displacive transition in BaWO 4 : a 1.6% volume collapse, coexistence of phases, and hysteresis on release of pressure. Such first-order signatures are found to be the same as the soft modes in BaWO 4 , which indicates the scheelite-to-fergusonite displacive phase transition hides a deeper physical mechanism. By the refinement of atomic displacement parameters, we further show that the first-order character of this phase transition stems from a coupling of large compression of soft BaO 8 polyhedrons to the small displacive distortion of rigid WO 4 tetrahedrons. Such a coupling will lead to a deeper physical insight in the phase transition of the common scheelite-structured compounds. (condensed matter: structural, mechanical, and thermal properties)
Gomes, Diogo A.
2016-01-06
We present recent developments in the theory of first-order mean-field games (MFGs). A standard assumption in MFGs is that the cost function of the agents is monotone in the density of the distribution. This assumption leads to a comprehensive existence theory and to the uniqueness of smooth solutions. Here, our goals are to understand the role of local monotonicity in the small perturbation regime and the properties of solutions for problems without monotonicity. Under a local monotonicity assumption, we show that small perturbations of MFGs have unique smooth solutions. In addition, we explore the connection between first-order MFGs and classical mechanics and KAM theory. Next, for non-monotone problems, we construct non-unique explicit solutions for a broad class of first-order mean-field games. We provide an alternative formulation of MFGs in terms of a new current variable. These examples illustrate two new phenomena: the non-uniqueness of solutions and the breakdown of regularity.
Gomes, Diogo A.; Nurbekyan, Levon; Prazeres, Mariana
2016-01-01
We present recent developments in the theory of first-order mean-field games (MFGs). A standard assumption in MFGs is that the cost function of the agents is monotone in the density of the distribution. This assumption leads to a comprehensive existence theory and to the uniqueness of smooth solutions. Here, our goals are to understand the role of local monotonicity in the small perturbation regime and the properties of solutions for problems without monotonicity. Under a local monotonicity assumption, we show that small perturbations of MFGs have unique smooth solutions. In addition, we explore the connection between first-order MFGs and classical mechanics and KAM theory. Next, for non-monotone problems, we construct non-unique explicit solutions for a broad class of first-order mean-field games. We provide an alternative formulation of MFGs in terms of a new current variable. These examples illustrate two new phenomena: the non-uniqueness of solutions and the breakdown of regularity.
Data fusion in cyber security: first order entity extraction from common cyber data
Giacobe, Nicklaus A.
2012-06-01
The Joint Directors of Labs Data Fusion Process Model (JDL Model) provides a framework for how to handle sensor data to develop higher levels of inference in a complex environment. Beginning from a call to leverage data fusion techniques in intrusion detection, there have been a number of advances in the use of data fusion algorithms in this subdomain of cyber security. While it is tempting to jump directly to situation-level or threat-level refinement (levels 2 and 3) for more exciting inferences, a proper fusion process starts with lower levels of fusion in order to provide a basis for the higher fusion levels. The process begins with first order entity extraction, or the identification of important entities represented in the sensor data stream. Current cyber security operational tools and their associated data are explored for potential exploitation, identifying the first order entities that exist in the data and the properties of these entities that are described by the data. Cyber events that are represented in the data stream are added to the first order entities as their properties. This work explores typical cyber security data and the inferences that can be made at the lower fusion levels (0 and 1) with simple metrics. Depending on the types of events that are expected by the analyst, these relatively simple metrics can provide insight on their own, or could be used in fusion algorithms as a basis for higher levels of inference.
AMD-stability in the presence of first-order mean motion resonances
Petit, A. C.; Laskar, J.; Boué, G.
2017-11-01
The angular momentum deficit (AMD)-stability criterion allows to discriminate between a priori stable planetary systems and systems for which the stability is not granted and needs further investigations. AMD-stability is based on the conservation of the AMD in the averaged system at all orders of averaging. While the AMD criterion is rigorous, the conservation of the AMD is only granted in absence of mean-motion resonances (MMR). Here we extend the AMD-stability criterion to take into account mean-motion resonances, and more specifically the overlap of first-order MMR. If the MMR islands overlap, the system will experience generalized chaos leading to instability. The Hamiltonian of two massive planets on coplanar quasi-circular orbits can be reduced to an integrable one degree of freedom problem for period ratios close to a first-order MMR. We use the reduced Hamiltonian to derive a new overlap criterion for first-order MMR. This stability criterion unifies the previous criteria proposed in the literature and admits the criteria obtained for initially circular and eccentric orbits as limit cases. We then improve the definition of AMD-stability to take into account the short term chaos generated by MMR overlap. We analyze the outcome of this improved definition of AMD-stability on selected multi-planet systems from the Extrasolar Planets Encyclopædia.
Effective quadrature formula in solving linear integro-differential equations of order two
Eshkuvatov, Z. K.; Kammuji, M.; Long, N. M. A. Nik; Yunus, Arif A. M.
2017-08-01
In this note, we solve general form of Fredholm-Volterra integro-differential equations (IDEs) of order 2 with boundary condition approximately and show that proposed method is effective and reliable. Initially, IDEs is reduced into integral equation of the third kind by using standard integration techniques and identity between multiple and single integrals then truncated Legendre series are used to estimate the unknown function. For the kernel integrals, we have applied Gauss-Legendre quadrature formula and collocation points are chosen as the roots of the Legendre polynomials. Finally, reduce the integral equations of the third kind into the system of algebraic equations and Gaussian elimination method is applied to get approximate solutions. Numerical examples and comparisons with other methods reveal that the proposed method is very effective and dominated others in many cases. General theory of existence of the solution is also discussed.
Oscillation of two-dimensional linear second-order differential systems
Kwong, M.K.; Kaper, H.G.
1985-01-01
This article is concerned with the oscillatory behavior at infinity of the solution y: [a, ∞) → R 2 of a system of two second-order differential equations, y''(t) + Q(t) y(t) = 0, t epsilon[a, ∞); Q is a continuous matrix-valued function on [a, ∞) whose values are real symmetric matrices of order 2. It is shown that the solution is oscillatory at infinity if the largest eigenvalue of the matrix integral/sub a//sup t/ Q(s) ds tends to infinity as t → ∞. This proves a conjecture of D. Hinton and R.T. Lewis for the two-dimensional case. Furthermore, it is shown that considerably weaker forms of the condition still suffice for oscillatory behavior at infinity. 7 references
McMillan, B.F.; Jolliet, S.; Tran, T.M.; Villard, L.; Bottino, A.; Angelino, P.
2010-01-01
Fluctuating quantities in magnetic confinement geometries often inherit a strong anisotropy along the field lines. One technique for describing these structures is the use of a certain set of Fourier components on the tori of nested flux surfaces. We describe an implementation of this approach for solving partial differential equations, like Poisson's equation, where a different set of Fourier components may be chosen on each surface according to the changing safety factor profile. Allowing the resolved components to change to follow the anisotropy significantly reduces the total number of degrees of freedom in the description. This can permit large gains in computational performance. We describe, in particular, how this approach can be applied to rapidly solve the gyrokinetic Poisson equation in a particle code, ORB5 (Jolliet et al. (2007) [5]), with a regular (non-field-aligned) mesh. (authors)
Marzban, Hamid Reza
2018-05-01
In this paper, we are concerned with the parameter identification of linear time-invariant systems containing multiple delays. The approach is based upon a hybrid of block-pulse functions and Legendre's polynomials. The convergence of the proposed procedure is established and an upper error bound with respect to the L2-norm associated with the hybrid functions is derived. The problem under consideration is first transformed into a system of algebraic equations. The least squares technique is then employed for identification of the desired parameters. Several multi-delay systems of varying complexity are investigated to evaluate the performance and capability of the proposed approximation method. It is shown that the proposed approach is also applicable to a class of nonlinear multi-delay systems. It is demonstrated that the suggested procedure provides accurate results for the desired parameters.
Barnes, D.C.; Cayton, T.E.
1980-01-01
The ideal magnetohydrodynamic stability of the diffuse linear pinch is studied in the special case when the poloidal magnetic field component is small compared with the axial field component. A two-term approximation for growth rates is derived by straightforward asymptotic expansion in terms of a small parameter that is proportional to (B/sub theta//rB/sub z/). Evaluation of the second term in the expansion requires only a trivial amount of additional computation after the leading-order eigenvalue and eigenfunction are determined. For small, but finite, values of the expansion parameter the second term is found to be non-negligible compared with the leading term. The approximate solution is compared with exact solutions and the range of validity of the approximation is investigated. Implications of these results to a wide class of problems involving weakly unstable near theta-pinch configurations are discussed
Fertility Differentials and Educational Attainment in Portugal: A Non-Linear Relationship
Tiago de Oliveira, Isabel
2009-01-01
Full Text Available AbstractThis analysis of the Portuguese case shows a non-linear relationship betweenthe number of children and education in recent years. Using the data from tenyears before this hypothesis was confirmed, and we can see that the generaldecline in Portuguese fertility within the last decade was due to the fertilitydecrease of the less educated people, although partly attenuated by the fertilityincrease of the upper social groups. The reasons for a non-linear relationshipare discussed within the context of female employment rates and salarydifferentials by educational attainment. The main hypothesis is that differencesin fertility are related to an ‘education-work’ effect amongst those in the lesseducated groups and to an ‘education-income’ effect amongst the moreeducated.RésuméL’analyse de cas de la situation au Portugal démontre une relation non linéaireentre le nombre d’enfants et le niveau de scolarité au cours des dernièresannées. Les données recueillies pendant les dix dernières années ont étéétudiées avant de confirmer cette hypothèse ; nous avons pu voir que le déclingénéral dans le taux de fécondité au Portugal pendant la dernière décade étaitcausé par un déclin de fécondité chez les personnes moins éduquées ; ceci a étépartiellement atténué par une hausse dans le taux de fécondité dans les classessupérieures. Les raisons de cette relation non linéaire sont discutées dans lecontexte des taux d’emploi des femmes et les différentiels de salaire selon lesniveaux de scolarité. L’hypothèse majeure est que les différences dans les tauxde fécondité sont reliés à un effet « scolarité-travail » parmi les groupes moinséduqués et à un effet « scolarité-salaire » parmi les classes mieux éduqués.
Vibration suppression in ultrasonic machining described by non-linear differential equations
Kamel, M. M.; El-Ganaini, W. A. A.; Hamed, Y. S.
2009-01-01
Vibrations are usually undesired phenomena as they may cause damage or destruction of the system. However, sometimes they are desirable, as in ultrasonic machining (USM). In such case, the problem is a complicated one, as it is required to reduce the vibration of the machine head and have reasonable amplitude for the tool. In the present work, the coupling of two non-linear oscillators of the tool holder and tool representing ultrasonic cutting process is investigated. This leads to a two-degree-of-freedom system subjected to multi-external excitation force. The aim of this work is to control the tool holder behavior at simultaneous primary and internal resonance condition and have high amplitude for the tool. Multiple scale perturbation method is applied to obtain a solution up to the second order approximations. Other different resonance cases are reported and studied numerically. The stability of the system is investigated applying both phase-plane and frequency response techniques. The effects of the different parameters of the tool on the system behavior are studied numerically. Comparison with the available published work is reported
Stability problems for linear hyperbolic systems
Eckhoff, K.S.
1975-05-01
The stability properties for the trivial solution of a general linear hyperbolic system of partial differential equations of the first order are studied. It is shown that results may be obtained by studying the stability properties of certain systems of ordinary differential equations which can be constructed from the hyperbolic system (the so-called transport equations). In some cases the associated stability problem for the transport equations can in fact be shown to be equivalent to the stability problem for the hyperbolic system, but in general the transport equations will only give the necessary conditions for stability. (Auth.)
Smooth Frechet subalgebras of C-algebras defined by first order ...
The differential structure in a *-algebra defined by a dense Frechet subalgebra whose topology is defined by a sequence of differential seminorms of order 1 is investigated. This includes differential Arens–Michael decomposition, spectral invariance, closure under functional calculi as well as intrinsic spectral description.
Ordinary differential equations principles and applications
Nandakumaran, A K; George, Raju K
2017-01-01
Written in a clear, logical and concise manner, this comprehensive resource allows students to quickly understand the key principles, techniques and applications of ordinary differential equations. Important topics including first and second order linear equations, initial value problems and qualitative theory are presented in separate chapters. The concepts of two point boundary value problems, physical models and first order partial differential equations are discussed in detail. The text uses tools of calculus and real analysis to get solutions in explicit form. While discussing first order linear systems, linear algebra techniques are used. The real-life applications are interspersed throughout the book to invoke reader's interest. The methods and tricks to solve numerous mathematical problems with sufficient derivations and explanation are provided. The proofs of theorems are explained for the benefit of the readers.
Regnery, J.
2015-05-29
This study developed relationships between the attenuation of emerging trace organic chemicals (TOrC) during managed aquifer recharge (MAR) as a function of retention time, system characteristics, and operating conditions using controlled laboratory-scale soil column experiments simulating MAR. The results revealed that MAR performance in terms of TOrC attenuation is primarily determined by key environmental parameters (i.e. redox, primary substrate). Soil columns with suboxic and anoxic conditions performed poorly (i.e. less than 30% attenuation of moderately degradable TOrC) in comparison to oxic conditions (on average between 70-100% attenuation for the same compounds) within a residence time of three days. Given this dependency on redox conditions, it was investigated if key parameter-dependent rate constants are more suitable for contaminant transport modeling to properly capture the dynamic TOrC attenuation under field-scale conditions. Laboratory-derived first-order removal kinetics were determined for 19 TOrC under three different redox conditions and rate constants were applied to MAR field data. Our findings suggest that simplified first-order rate constants will most likely not provide any meaningful results if the target compounds exhibit redox dependent biotransformation behavior or if the intention is to exactly capture the decline in concentration over time and distance at field-scale MAR. However, if the intention is to calculate the percent removal after an extended time period and subsurface travel distance, simplified first-order rate constants seem to be sufficient to provide a first estimate on TOrC attenuation during MAR.
First-order transitions, symmetry, and the element of-expansion
Mukamel, D.; Krinsky, S.; Bak, P.
1975-01-01
The group theoretical method of Landau and Lifshitz was used to derive effective Hamiltonians for certain paramagnetic to antiferromagnetic transitions having order-parameters with n greater than or equal to 4 components. A renormalization group analysis in 4-epsilon dimensions was performed. The first-order nature of the order-disorder transitions in Cr(n = 12), Eu(n = 12), UO 2 (n = 6), and MnO(n = 8) can be explained by noting that the corresponding Hamiltonians possess no stable fixed points in 4-epsilon dimensions. It is predicted that all fcc type I(anti m perpendicular anti k), type II and type III(anti m perpendicular [100], anti k = [1/2 01]) antiferromagnetic transitions are first-order. The work is intended to serve as a guide in an experimental search for new examples of first-order transitions. A 2m-component Hamiltonian is also considered which possesses a unique, nonisotropic, stable fixed point for each value of 2m greater than or equal to 4. When 2m = 4, the Hamiltonian describes the paramagnetic to antiferromagnetic transitions in TbAu 2 , DyC 2 , Tb, Ho, Dy, and the structural transition in NbO 2 . If these transitions are second-order, it is predicted they all belong to the same universality class. For 2m = 6, the Hamiltonian describes the antiferromagnetic transitions in TbD 2 , Nd, K 2 IrCl 6 , and MnS 2 . These transitions belong to a single universality class
Regnery, J; Wing, A D; Alidina, M; Drewes, J E
2015-08-01
This study developed relationships between the attenuation of emerging trace organic chemicals (TOrC) during managed aquifer recharge (MAR) as a function of retention time, system characteristics, and operating conditions using controlled laboratory-scale soil column experiments simulating MAR. The results revealed that MAR performance in terms of TOrC attenuation is primarily determined by key environmental parameters (i.e., redox, primary substrate). Soil columns with suboxic and anoxic conditions performed poorly (i.e., less than 30% attenuation of moderately degradable TOrC) in comparison to oxic conditions (on average between 70-100% attenuation for the same compounds) within a residence time of three days. Given this dependency on redox conditions, it was investigated if key parameter-dependent rate constants are more suitable for contaminant transport modeling to properly capture the dynamic TOrC attenuation under field-scale conditions. Laboratory-derived first-order removal kinetics were determined for 19 TOrC under three different redox conditions and rate constants were applied to MAR field data. Our findings suggest that simplified first-order rate constants will most likely not provide any meaningful results if the target compounds exhibit redox dependent biotransformation behavior or if the intention is to exactly capture the decline in concentration over time and distance at field-scale MAR. However, if the intention is to calculate the percent removal after an extended time period and subsurface travel distance, simplified first-order rate constants seem to be sufficient to provide a first estimate on TOrC attenuation during MAR. Copyright © 2015 Elsevier B.V. All rights reserved.
First-order design of geodetic networks using the simulated annealing method
Berné, J. L.; Baselga, S.
2004-09-01
The general problem of the optimal design for a geodetic network subject to any extrinsic factors, namely the first-order design problem, can be dealt with as a numeric optimization problem. The classic theory of this problem and the optimization methods are revised. Then the innovative use of the simulated annealing method, which has been successfully applied in other fields, is presented for this classical geodetic problem. This method, belonging to iterative heuristic techniques in operational research, uses a thermodynamical analogy to crystalline networks to offer a solution that converges probabilistically to the global optimum. Basic formulation and some examples are studied.
Absence of first-order unbinding transitions of fluid and polymerized membranes
Grotehans, Stefan; Lipowsky, Reinhard
1990-01-01
Unbinding transitions of fluid and polymerized membranes are studied by renormalization-group (RG) methods. Two different RG schemes are used and found to give rather consistent results. The fixed-point structure of both RG's exhibits a complex behavior as a function of the decay exponent tau for the fluctuation-induced interaction of the membranes. For tau greater than tau(S2) interacting membranes can undergo first-order transitions even in the strong-fluctuation regime. These estimates for tau(S2) imply, however, that both fluid and polymerized membranes unbind in a continuous way in the absence of lateral tension.
Programming and Verifying a Declarative First-Order Prover in Isabelle/HOL
Jensen, Alexander Birch; Larsen, John Bruntse; Schlichtkrull, Anders
2018-01-01
We certify in the proof assistant Isabelle/HOL the soundness of a declarative first-order prover with equality. The LCF-style prover is a translation we have made, to Standard ML, of a prover in John Harrison’s Handbook of Practical Logic and Automated Reasoning. We certify it by replacing its ke......’s ML environment as an interactive application or can be used standalone in OCaml or Standard ML (or in other functional programming languages like Haskell and Scala with some additional work)....
Reliability Estimation of the Pultrusion Process Using the First-Order Reliability Method (FORM)
Baran, Ismet; Tutum, Cem Celal; Hattel, Jesper Henri
2013-01-01
In the present study the reliability estimation of the pultrusion process of a flat plate is analyzed by using the first order reliability method (FORM). The implementation of the numerical process model is validated by comparing the deterministic temperature and cure degree profiles...... with corresponding analyses in the literature. The centerline degree of cure at the exit (CDOCE) being less than a critical value and the maximum composite temperature (Tmax) during the process being greater than a critical temperature are selected as the limit state functions (LSFs) for the FORM. The cumulative...
NanoSafer vs. 1.1 - Nanomaterial risk assessment using first order modeling
Jensen, Keld A.; Saber, Anne T.; Kristensen, Henrik V.
2013-01-01
for safe use of MN based on first order modeling. The hazard and case specific exposure as sessments are combined for an integrated risk evaluation and final control banding. Requested material da ta are typically available from the producers’ technical information sheets. The hazard data are given...... using the work room dimensions , ventilation rate, powder use rate, duration, and calculated or given emission rates. The hazard sc aling is based on direct assessment. The exposure band is derived from estimated acute and work day expo sure levels divided by a nano OEL calculated from the OEL...... to construct user specific work scenarios for exposure assessment is considered a highly versatile approach....
New Gain Controllable Resistor-less Current-mode First Order Allpass Filter and its Application
W. Jaikla
2012-04-01
Full Text Available New first order allpass filter (APF in current mode, constructed from 2 CCCCTAs and grounded capacitor, is presented. The current gain and phase shift can be electronically /orthogonally controlled. Low input and high output impedances are achieved which make the circuit to be easily cascaded to the current-mode circuit without additional current buffers. The operation of the proposed filter has been verified through simulation results which confirm the theoretical analysis. The application example as current-mode quadrature oscillator with non-interactive current control for both of oscillation condition and oscillation frequency is included to show the usability of the proposed filter.
An Implementable First-Order Primal-Dual Algorithm for Structured Convex Optimization
Feng Ma
2014-01-01
Full Text Available Many application problems of practical interest can be posed as structured convex optimization models. In this paper, we study a new first-order primaldual algorithm. The method can be easily implementable, provided that the resolvent operators of the component objective functions are simple to evaluate. We show that the proposed method can be interpreted as a proximal point algorithm with a customized metric proximal parameter. Convergence property is established under the analytic contraction framework. Finally, we verify the efficiency of the algorithm by solving the stable principal component pursuit problem.
A Preconditioning Technique for First-Order Primal-Dual Splitting Method in Convex Optimization
Meng Wen
2017-01-01
Full Text Available We introduce a preconditioning technique for the first-order primal-dual splitting method. The primal-dual splitting method offers a very general framework for solving a large class of optimization problems arising in image processing. The key idea of the preconditioning technique is that the constant iterative parameters are updated self-adaptively in the iteration process. We also give a simple and easy way to choose the diagonal preconditioners while the convergence of the iterative algorithm is maintained. The efficiency of the proposed method is demonstrated on an image denoising problem. Numerical results show that the preconditioned iterative algorithm performs better than the original one.
Poverty mapping based on first order dominance with an example from Mozambique
Arndt, Channing; Hussain, Azhar M.; Salvucci, Vincenzo
2016-01-01
We explore a novel first-order dominance (FOD) approach to poverty mapping and compare its properties to small-area estimation. The FOD approach uses census data directly, is straightforward to implement, is multidimensional allowing for a broad conception of welfare and accounts rigorously...... for welfare distributions in both levels and trends. An application to Mozambique highlights the value of the approach, including its advantages in the monitoring and evaluation of public expenditures. We conclude that the FOD approach to poverty mapping constitutes a useful addition to the toolkit of policy...
Poverty mapping based on first order dominance with an example from Mozambique
Arndt, Channing; Hussain, Azhar; Salvucci, Vincenzo
We explore a novel first order dominance (FOD) approach to poverty mapping and compare its properties to small area estimation. The FOD approach uses census data directly; is straightforward to implement; is multidimensional allowing for a broad conception of welfare; and accounts rigorously...... for welfare distributions in both levels and trends. An application to Mozambique highlights the value of the approach, including its advantages in the monitoring and evaluation of public expenditures. We conclude that the FOD approach to poverty mapping constitutes a useful addition to the toolkit of policy...
Re-Investigation of Generalized Integrator Based Filters From a First-Order-System Perspective
Xin, Zhen; Zhao, Rende; Mattavelli, Paolo
2016-01-01
The generalized integrator (GI)-based filters can be categorized into two types: one is related to quadrature signal generator (QSG), and the other is related to sequence filter (SF). The QSG is used for generating the in-quadrature sinusoidal signals and the SF works for extracting the symmetrical...... extended structures and thus restrict their applications. To overcome the drawback, this paper uses the first-order-system concept to re-investigate the GI-based filters, with which their working principles can be intuitively understood and their structure correlations can be easily discovered. Moreover...
Stancu, Alexandru; Mitoseriu, Liliana; Stoleriu, Laurentiu; Piazza, Daniele; Galassi, Carmen; Ricinschi, Dan; Okuyama, Masanori
2006-01-01
First-order reversal curves (FORC) diagrams are proposed for describing the switching properties in ferroelectric materials. The method is applied for Pb(Zr,Ti)O 3 (PZT) ferroelectric ceramics and films with different P(E) hysteresis and microstructural characteristics. The separation of the reversible and irreversible contributions to the ferroelectric polarization is explained in terms of microstructural characteristics of the investigated samples. The influence of parameters as field frequency, crystallite orientation, ferroelectric fatigue and porosity degree on the FORC diagrams is discussed
Holographic currents in first order Gravity and finite Fefferman-Graham expansions
Banados, Maximo; Miskovic, Olivera; Theisen, Stefan
2006-01-01
We study the holographic currents associated to Chern-Simons theories. We start with an example in three dimensions and find the holographic representations of vector and chiral currents reproducing the correct expression for the chiral anomaly. In five dimensions, Chern-Simons theory for AdS group describes first order gravity and we show that there exists a gauge fixing leading to a finite Fefferman-Graham expansion. We derive the corresponding holographic currents, namely, the stress tensor and spin current which couple to the metric and torsional degrees of freedom at the boundary, respectively. We obtain the correct Ward identities for these currents by looking at the bulk constraint equations
Strongly first-order electroweak phase transition and classical scale invariance
Farzinnia, Arsham; Ren, Jing
2014-10-01
In this work, we examine the possibility of realizing a strongly first-order electroweak phase transition within the minimal classically scale-invariant extension of the standard model (SM), previously proposed and analyzed as a potential solution to the hierarchy problem. By introducing one complex gauge-singlet scalar and three (weak scale) right-handed Majorana neutrinos, the scenario was successfully rendered capable of achieving a radiative breaking of the electroweak symmetry (by means of the Coleman-Weinberg mechanism), inducing nonzero masses for the SM neutrinos (via the seesaw mechanism), presenting a pseudoscalar dark matter candidate (protected by the CP symmetry of the potential), and predicting the existence of a second CP-even boson (with suppressed couplings to the SM content) in addition to the 125 GeV scalar. In the present treatment, we construct the full finite-temperature one-loop effective potential of the model, including the resummed thermal daisy loops, and demonstrate that finite-temperature effects induce a first-order electroweak phase transition. Requiring the thermally driven first-order phase transition to be sufficiently strong at the onset of the bubble nucleation (corresponding to nucleation temperatures TN˜100-200 GeV) further constrains the model's parameter space; in particular, an O(0.01) fraction of the dark matter in the Universe may be simultaneously accommodated with a strongly first-order electroweak phase transition. Moreover, such a phase transition disfavors right-handed Majorana neutrino masses above several hundreds of GeV, confines the pseudoscalar dark matter masses to ˜1-2 TeV, predicts the mass of the second CP-even scalar to be ˜100-300 GeV, and requires the mixing angle between the CP-even components of the SM doublet and the complex singlet to lie within the range 0.2≲sinω ≲0.4. The obtained results are displayed in comprehensive exclusion plots, identifying the viable regions of the parameter space
Existence of weak solutions to first-order stationary mean-field games with Dirichlet conditions
Ferreira, Rita; Gomes, Diogo A.; Tada, Teruo
2018-01-01
In this paper, we study first-order stationary monotone mean-field games (MFGs) with Dirichlet boundary conditions. While for Hamilton--Jacobi equations Dirichlet conditions may not be satisfied, here, we establish the existence of solutions of MFGs that satisfy those conditions. To construct these solutions, we introduce a monotone regularized problem. Applying Schaefer's fixed-point theorem and using the monotonicity of the MFG, we verify that there exists a unique weak solution to the regularized problem. Finally, we take the limit of the solutions of the regularized problem and using Minty's method, we show the existence of weak solutions to the original MFG.
First-order convex feasibility algorithms for x-ray CT
Sidky, Emil Y.; Jørgensen, Jakob Heide; Pan, Xiaochuan
2013-01-01
Purpose: Iterative image reconstruction (IIR) algorithms in computed tomography (CT) are based on algorithms for solving a particular optimization problem. Design of the IIR algorithm, therefore, is aided by knowledge of the solution to the optimization problem on which it is based. Often times...... problems. Conclusions: Formulation of convex feasibility problems can provide a useful alternative to unconstrained optimization when designing IIR algorithms for CT. The approach is amenable to recent methods for accelerating first-order algorithms which may be particularly useful for CT with limited...
Existence of weak solutions to first-order stationary mean-field games with Dirichlet conditions
Ferreira, Rita
2018-04-19
In this paper, we study first-order stationary monotone mean-field games (MFGs) with Dirichlet boundary conditions. While for Hamilton--Jacobi equations Dirichlet conditions may not be satisfied, here, we establish the existence of solutions of MFGs that satisfy those conditions. To construct these solutions, we introduce a monotone regularized problem. Applying Schaefer\\'s fixed-point theorem and using the monotonicity of the MFG, we verify that there exists a unique weak solution to the regularized problem. Finally, we take the limit of the solutions of the regularized problem and using Minty\\'s method, we show the existence of weak solutions to the original MFG.