Search results for "equation"
showing 10 items of 4219 documents
On stability issues for IMEX schemes applied to 1D scalar hyperbolic equations with stiff reaction terms
2011
The application of a Method of Lines to a hyperbolic PDE with source terms gives rise to a system of ODEs containing terms that may have very different stiffness properties. In this case, Implicit-Explicit Runge-Kutta (IMEX-RK) schemes are particularly useful as high order time integrators because they allow an explicit handling of the convective terms, which can be discretized using the highly developed shock capturing technology, together with an implicit treatment of the source terms, necessary for stability reasons. Motivated by the structure of the source term in a model problem introduced by LeVeque and Yee in [J. Comput. Phys. 86 (1990)], in this paper we study the preservation of ce…
Regularity of the solution to a class of weakly singular fredholm integral equations of the second kind
1979
Continuity and differentiability properties of the solution to a class of Fredholm integral equations of the second kind with weakly singular kernel are derived. The equations studied in this paper arise from e.g. potential problems or problems of radiative equilibrium. Under reasonable assumptions it is proved that the solution possesses continuous derivatives in the interior of the interval of integration but may have mild singularities at the end-points.
Multiplicity results for a class of asymmetric weakly coupled systems of second order ordinary differential equations
2005
We prove the existence and multiplicity of solutions to a two-point boundary value problem associated to a weakly coupled system of asymmetric second-order equations. Applying a classical change of variables, we transform the initial problem into an equivalent problem whose solutions can be characterized by their nodal properties. The proof is developed in the framework of the shooting methods and it is based on some estimates on the rotation numbers associated to each component of the solutions to the equivalent system.
On strong solutions of the differential equations modeling the steady flow of certain incompressible generalized Newtonian fluids
2007
In this paper we discuss a system of partial differential equations describing the steady flow of an incompressible fluid and prove the existence of a strong solution under suitable assumptions on the data. In the 2D-case this solution turns out to be of class C^{1,\alpha}.
Existence of dynamical low-rank approximations to parabolic problems
2021
The existence and uniqueness of weak solutions to dynamical low-rank evolution problems for parabolic partial differential equations in two spatial dimensions is shown, covering also non-diagonal diffusion in the elliptic part. The proof is based on a variational time-stepping scheme on the low-rank manifold. Moreover, this scheme is shown to be closely related to practical methods for computing such low-rank evolutions.
Asymptotic behavior of an odd-order delay differential equation
2014
Published version of an article in the journal: Boundary Value Problems. Also available from the publisher at: http://dx.doi.org/10.1186/1687-2770-2014-107 Open Access We study asymptotic behavior of solutions to a class of odd-order delay differential equations. Our theorems extend and complement a number of related results reported in the literature. An illustrative example is provided.
Fixed point theorems for fuzzy mappings and applications to ordinary fuzzy differential equations
2014
Abstract Ran and Reurings (Proc. Am. Math. Soc. 132(5):1435-1443, 2004) proved an analog of the Banach contraction principle in metric spaces endowed with a partial order and discussed some applications to matrix equations. The main novelty in the paper of Ran and Reurings involved combining the ideas in the contraction principle with those in the monotone iterative technique. Motivated by this, we present some common fixed point results for a pair of fuzzy mappings satisfying an almost generalized contractive condition in partially ordered complete metric spaces. Also we give some examples and an application to illustrate our results. MSC:46S40, 47H10, 34A70, 54E50.
Indefinite integrals of special functions from integrating factors
2019
Some general integrals are presented which were obtained from two integrating factors f(x) and fˆ(x) for the first two and last two terms, respectively, of the second-order linear ordinary differen...
Lambda substitution algebras
1993
In the paper an algebraic metatheory of type-free λ-calculus is developed. Our version is based on lambda substitution algebras (λSAs), which are just SAs introduced by Feldman (for algebraizing equational logic) enriched with a countable family of unary operations of λ-abstraction and a binary operation of application. Two representation theorems, syntactical and semantic, are proved, what directly provides completeness theorems.
Functional Derivative Approach
2001
Let us now leave the path integral formalism temporarily and reformulate operatorial quantum mechanics in a way which will make it easy later on to establish the formal connection between operator and path integral formalism. Our objective is to introduce the generating functional into quantum mechanics. Naturally we want to generate transition amplitudes. The problem confronting us is how to transcribe operator quantum mechanics as expressed in Heisenberg’s equation of motion into a theory formulated solely in terms of c-numbers. This can be achieved either by Schwinger’s action principle or with the aid of a generation functional defined as follows: