scholarly journals Linear Hyperbolic Systems on Networks: well-posedness and qualitative properties

2020 ◽  
Author(s):  
Marjeta Kramar ◽  
Delio Mugnolo ◽  
Serge Nicaise
Keyword(s):  
Boundary Conditions ◽  
Evolution Equations ◽  
Hyperbolic Systems ◽  
Sufficient Conditions ◽  
Order Reduction ◽  
Well Posedness ◽  
Qualitative Properties ◽  
Local Boundary ◽  
First Order ◽  
Necessary And Sufficient

We study hyperbolic systems of one - dimensional partial differential equations under general , possibly non-local boundary conditions. A large class of evolution equations, either on individual 1- dimensional intervals or on general networks , can be reformulated in our rather flexible formalism , which generalizes the classical technique of first - order reduction . We study forward and backward well - posedness ; furthermore , we provide necessary and sufficient conditions on both the boundary conditions and the coefficients arising in the first - order reduction for a given subset of the relevant ambient space to be invariant under the flow that governs the system. Several examples are studied . p, li { white-space: pre-wrap; }

scholarly journals A necessary condition ensuring the strong hyperbolicity of first-order systems

2019 ◽  
Vol 16 (01) ◽  
pp. 193-221
Author(s):  
Fernando Abalos
Keyword(s):  
Evolution Equations ◽  
Sufficient Conditions ◽  
Singular Values ◽  
Singular Value ◽  
Necessary Condition ◽  
Finite Conductivity ◽  
Charged Fluids ◽  
First Order ◽  
Value Decomposition ◽  
Necessary And Sufficient

We study strong hyperbolicity of first-order partial differential equations for systems with differential constraints. In these cases, the number of equations is larger than the unknown fields, therefore, the standard Kreiss necessary and sufficient conditions of strong hyperbolicity do not directly apply. To deal with this problem, one introduces a new tensor, called a reduction, which selects a subset of equations with the aim of using them as evolution equations for the unknown. If that tensor leads to a strongly hyperbolic system we call it a hyperbolizer. There might exist many of them or none. A question arises on whether a given system admits any hyperbolization at all. To sort-out this issue, we look for a condition on the system, such that, if it is satisfied, there is no hyperbolic reduction. To that purpose we look at the singular value decomposition of the whole system and study certain one parameter families ([Formula: see text]) of perturbations of the principal symbol. We look for the perturbed singular values around the vanishing ones and show that if they behave as [Formula: see text], with [Formula: see text], then there does not exist any hyperbolizer. In addition, we further notice that the validity or failure of this condition can be established in a simple and invariant way. Finally, we apply the theory to examples in physics, such as Force-Free Electrodynamics in Euler potentials form and charged fluids with finite conductivity. We find that they do not admit any hyperbolization.

scholarly journals STRONGLY HYPERBOLIC SYSTEMS IN GENERAL RELATIVITY

2004 ◽  
Vol 01 (02) ◽  
pp. 251-269 ◽  
Author(s):  
OSCAR A. REULA
Keyword(s):  
General Relativity ◽  
Numerical Modeling ◽  
Evolution Equations ◽  
Hyperbolic Systems ◽  
Propagation Speed ◽  
Energy Estimates ◽  
Well Posedness ◽  
Evolution System ◽  
Hyperbolic Case ◽  
First Order

We discuss several topics related to the notion of strong hyperbolicity which are of interest in general relativity. After introducing the concept and showing its relevance we provide some covariant definitions of strong hyperbolicity. We then prove that if a system is strongly hyperbolic with respect to a given hypersurface, then it is also strongly hyperbolic with respect to any nearby surface. We then study for how much these hypersurfaces can be deformed and discuss then causality, namely what the maximal propagation speed in any given direction is. In contrast with the symmetric hyperbolic case, for which the proof of causality is geometrical and direct, relaying in energy estimates, the proof for general strongly hyperbolic systems is indirect for it is based in Holmgren's theorem. To show that the concept is needed in the area of general relativity we discuss two results for which the theory of symmetric hyperbolic systems shows to be insufficient. The first deals with the hyperbolicity analysis of systems which are second order in space derivatives; they include certain versions of the ADM and the BSSN families of equations. This analysis is considerably simplified by introducing pseudo-differential first-order evolution equations. Well-posedness for some members of the latter family systems is established by showing they satisfy the strong hyperbolicity property. Furthermore it is shown that many other systems of such families are only weakly hyperbolic, implying they should not be used for numerical modeling. The second result deals with systems having constraints. The question posed is which hyperbolicity properties, if any, are inherited from the original evolution system by the subsidiary system satisfied by the constraint quantities. The answer is that, subject to some condition on the constraints, if the evolution system is strongly hyperbolic then the subsidiary system is also strongly hyperbolic and the causality properties of both are identical.

On a criterion for the solvability of one ill-posed problem for the biharmonic equation

2016 ◽  
Vol 24 (6) ◽  
Author(s):  
Tynysbek S. Kal’menov ◽  
Makhmud A. Sadybekov ◽  
Ulzada A. Iskakova
Keyword(s):  
Biharmonic Equation ◽  
Sufficient Conditions ◽  
Adjoint Problem ◽  
Rectangular Domain ◽  
Solution Stability ◽  
Well Posedness ◽  
Local Boundary ◽  
Ill Posed ◽  
Necessary And Sufficient ◽  
Isolated Point

AbstractA local boundary value problem for an inhomogeneous biharmonic equation in a rectangular domain is considered. Boundary conditions are given on the whole boundary of the domain. It is shown that the problem turns out to be self-adjoint. And herewith the problem is ill-posed. An example is constructed demonstrating that the solution stability to the problem is violated. Necessary and sufficient conditions of the existence of a strong solution to the investigated problem are found. The idea of the method is that the solution to the problem is constructed in the form of an expansion on eigenfunctions of this self-adjoint problem. This problem has an isolated point of continuous spectrum in zero. It is shown that there exists a series (a sequence) of eigenvalues converging to zero. Asymptotics of these eigenvalues is found. Namely this asymptotics defines a reason for the ill-posedness of the investigated problem. A space of well-posedness for the investigated problem is constructed.

Resolution systems and their applications I

1980 ◽  
Vol 3 (2) ◽  
pp. 235-268
Author(s):  
Ewa Orłowska
Keyword(s):  
Theorem Proving ◽  
Sufficient Conditions ◽  
Predicate Calculus ◽  
Resolution Method ◽  
First Order ◽  
Deductive Systems ◽  
Resolution System ◽  
Resolution Principle ◽  
Necessary And Sufficient ◽  
Classical Predicate

The central method employed today for theorem-proving is the resolution method introduced by J. A. Robinson in 1965 for the classical predicate calculus. Since then many improvements of the resolution method have been made. On the other hand, treatment of automated theorem-proving techniques for non-classical logics has been started, in connection with applications of these logics in computer science. In this paper a generalization of a notion of the resolution principle is introduced and discussed. A certain class of first order logics is considered and deductive systems of these logics with a resolution principle as an inference rule are investigated. The necessary and sufficient conditions for the so-called resolution completeness of such systems are given. A generalized Herbrand property for a logic is defined and its connections with the resolution-completeness are presented. A class of binary resolution systems is investigated and a kind of a normal form for derivations in such systems is given. On the ground of the methods developed the resolution system for the classical predicate calculus is described and the resolution systems for some non-classical logics are outlined. A method of program synthesis based on the resolution system for the classical predicate calculus is presented. A notion of a resolution-interpretability of a logic L in another logic L ′ is introduced. The method of resolution-interpretability consists in establishing a relation between formulas of the logic L and some sets of formulas of the logic L ′ with the intention of using the resolution system for L ′ to prove theorems of L. It is shown how the method of resolution-interpretability can be used to prove decidability of sets of unsatisfiable formulas of a given logic.

System Properties of One-Dimensional Distributed Systems

1977 ◽  
Vol 99 (2) ◽  
pp. 85-90 ◽  
Author(s):  
L. S. Bonderson
Keyword(s):  
Distributed Systems ◽  
Sufficient Conditions ◽  
State Variables ◽  
One Dimensional ◽  
First Order ◽  
Lumped Element ◽  
Order Form ◽  
Power Product ◽  
System Properties ◽  
Necessary And Sufficient

The system properties of passivity, losslessness, and reciprocity are defined and their necessary and sufficient conditions are derived for a class of linear one-dimensional multipower distributed systems. The utilization of power product pairs as state variables and the representation of the dynamics in first-order form allows results completely analogous to those for lumped-element systems.

ORDER AND CONVERGENCE OF THE ENHANCED 3-POINT FULLY IMPLICIT SUPER CLASS OF BLOCK BACKWARD DIFFERENTIATION FORMULA FOR SOLVING INITIAL VALUE PROBLEM

2021 ◽  
Vol 5 (2) ◽  
pp. 442-446
Author(s):  
Muhammad Abdullahi ◽  
Hamisu Musa
Keyword(s):  
Initial Value Problem ◽  
Initial Value Problems ◽  
Sufficient Conditions ◽  
Initial Value ◽  
Differentiation Formula ◽  
Stiff Initial Value Problems ◽  
First Order ◽  
Backward Differentiation Formula ◽  
Fully Implicit ◽  
Necessary And Sufficient

This paper studied an enhanced 3-point fully implicit super class of block backward differentiation formula for solving stiff initial value problems developed by Abdullahi & Musa and go further to established the necessary and sufficient conditions for the convergence of the method. The method is zero stable, A-stable and it is of order 5. The method is found to be suitable for solving first order stiff initial value problems

Levitin-Polyak well-posedness for parametric quasivariational inclusion and disclusion problems

2018 ◽  
Vol 34 (3) ◽  
pp. 295-303
Author(s):  
PANATDA BOONMAN ◽  
◽  
RABIAN WANGKEEREE ◽  
Keyword(s):  
Equilibrium Problem ◽  
Sufficient Conditions ◽  
Necessary And Sufficient Conditions ◽  
Well Posedness ◽  
Quasiequilibrium Problems ◽  
Necessary And Sufficient

In this paper, we aim to suggest the new concept of Levitin-Polyak (for short, LP) well-posedness for the parametric quasivariational inclusion and disclusion problems (for short, (QVIP) (resp. (QVDP))). Necessary and sufficient conditions for LP well-posedness of these problems are proved. As applications, we obtained immediately some results of LP well-posedness for the quasiequilibrium problems and for a scalar equilibrium problem.

Sign in / Sign up

Export Citation Format

Share Document