Initial boundary value problems for incompletely parabolic systems (original) (raw)
Related papers
Necessary conditions for hyperbolic systems II
Japanese journal of mathematics. New series
We prove necessary conditions for the well posedness of the Cauchy problem for a general class of hyperbolic systems with multiple characteristics. No as sumption on the rank of the principal symbol on the multiple characteristic set is made. Basically our conditions are Ivrii-Petkov type vanishing conditions for the symbol of a suitably defined non commutative determinant of the full symbol of the system.
Some algebraic properties of the hyperbolic systems
Annali Dell'universita' Di Ferrara, 2006
The technique of quasi-symmetrizer has been applied to the well-posedness of the Cauchy problem for scalar operators [10], [13] and linear systems [5], [15], [4], and to the propagation of analitycity for solutions to semi-linear systems [6]. In all these works, it is assumed that the principal symbol depends only on the time variable. In this note we illustrate, in some special cases, a new property of the quasisymmetrizer which allows us to generalize the result in [6] to semi-linear systems with coefficients depending also on the space variables [21]. Such a property is closely connected with some interesting inequalities on the eigenvalues of a hyperbolic matrix. We expect that this technique applies also to other problems. Keywords: First order hyperbolic systems, Quasi-symmetrizer, Glaeser inequality
On some abstract variable domain hyperbolic differential equations
Annali di Matematica Pura ed Applicata, 1998
The Cauchy problem is studied for a class of linear abstract differential equations of hyperbolic type with variable domain. Existence and uniqueness results are proved for (suitably defined) weak solutions. Some applications to P.D.E. are also given: they concern linear hyperbolic equations either in non-cylindrical regions or with mixed variable lateral conditions.
On necessary and sufficient conditions for strong hyperbolicity in systems with constraints
Classical and Quantum Gravity, 2020
In this work we study constant-coefficient first order systems of partial differential equations and give necessary and sufficient conditions for those systems to have a well posed Cauchy Problem. In many physical applications, due to the presence of constraints, the number of equations in the PDE system is larger than the number of unknowns, thus the standard Kreiss conditions can not be directly applied to check whether the system admits a well posed initial value formulation. In this work we find necessary and sufficient conditions such that there exists a reduced set of equations, of the same dimensionality as the set of unknowns, which satisfy Kreiss conditions and so are well defined and properly behaved evolution equations. We do that by studying the systems using the Kronecker decomposition of matrix pencils and, once the conditions are meet, finding specific families of reductions which render the system strongly hyperbolic. We show the power of the theory in some examples: Klein Gordon, the ADM, and the BSSN equations by writing them as first order systems, and studying their Kronecker decomposition and general reductions.
On a class of hyperbolic operators with double characteristics
1988
It is well known that, as a general matter, existence and regularity results for (the Cauchy problem for) hyperbolic operators with characteristics of multiplicity higher than 1 may depend on the lower order terms (see e.g. the pioneering work of O.Olejnik [8]). Fundamental contribution in this subject have been the papers of Ivrii-Petkov [7], Ivrii [5], [6] and Hormander [4] which put in evidence the importance of the Hamiltonian matrix, yielding a "classification" of the possible occurring cases, and gave necessary and almost sufficient conditions for the Coo well posedness of the Cauchy problem. Furthermore Ivrii [6] gave also some propagation results for the Coo wave front set of solutions of the Cauchy problem. Ivrii's proofs require the existence of a suitable factorization of the operator.
Mathematics, 2020
In the paper, we investigate a local boundary value problem with transmitting condition of the integral form for mixed parabolic-hyperbolic equation with non-characteristic line of type changing. Theorem on strong solvability of the considered problem has been proved and integral representation of the solution is obtained in a functional space. Using Lidskii Theorem on coincidences of matrix and spectral traces of nuclear operator and Gaal’s formula for evaluating traces of nuclear operator, which is represented as a product of two Hilbert-Schmidt operators, we prove the existence of eigenvalues of the considered problem.
Hyperbolic Partial Differential Equations
We begin our study of finite difference methods for partial differential equations by considering the important class of partial differential equations called hyperbolic equations. In later chapters we consider other classes of partial differential equations, especially parabolic and elliptic equations. For each of these classes of equations we consider prototypical equations, with which we illustrate the important concepts and distinguishing features associated with each class. The reader is referred to other textbooks on partial differential equations for alternate approaches, e.g., Folland [18], Garabedian [22], and Weinberger [68]. After introducing each class of differential equations we consider finite difference methods for the numerical solution of equations in the class.
On necessary and sufficient conditions for strong hyperbolicity
arXiv (Cornell University), 2018
In this work we study constant-coefficient first order systems of partial differential equations and give necessary and sufficient conditions for those systems to have a well posed Cauchy Problem. In many physical applications, due to the presence of constraints, the number of equations in the PDE system is larger than the number of unknowns, thus the standard Kreiss conditions can not be directly applied to check whether the system admits a well posed initial value formulation. In this work we find necessary and sufficient conditions such that there exists a reduced set of equations, of the same dimensionality as the set of unknowns, which satisfy Kreiss conditions and so are well defined and properly behaved evolution equations. We do that by studying the systems using the Kronecker decomposition of matrix pencils and, once the conditions are meet, finding specific families of reductions which render the system strongly hyperbolic. We show the power of the theory in some examples: Klein Gordon, the ADM, and the BSSN equations by writing them as first order systems, and studying their Kronecker decomposition and general reductions.