Hyperbolic Boundary Value Problems Research Articles

Lyapunov-type inequalities for linear hyperbolic and elliptic equations on a rectangular domain

In the case of oscillatory potential, we present some new Lyapunov-type inequalities for linear hyperbolic and elliptic equations on a rectangular domain in ${\mathbb R}^2$. No sign restriction is imposed on the potential function. As applications of the Lyapunov-type inequalities obtained, we give some estimations for disconjugacy of hyperbolic and elliptic Dirichlet boundary value problems.

On the sharp regularity of solutions to hyperbolic boundary value problems

On the sharp regularity of solutions to hyperbolic boundary value problems

Persistence of regularity of the solution to a hyperbolic boundary value problem in domain with corner

This article is about the question of the persistence of regularity for the solution to hyperbolic boundary value problem in the quarter-space. More precisely we will both consider the pure boundary value problem and the initial boundary value problem and we propose a functional space, based upon the high order Sobolev space in which a control of the data of the problem leads to a control of the solution (in the same space). The space proposed here contains the tangential Sobolev space. The analysis borrows some ideas of the study of characteristic boundary value problems in the half-space for which the good derivative to consider is known to be the tangential derivatives x1∂1 instead of the normal derivative ∂1. For quarter-space problems the good quantity to consider will be the radial derivative x1∂1+x2∂2 and then we recover the control of tangential derivatives x1∂1 and x2∂2 using explicit formulas in polar coordinates. The regularity of the solution is then established intrinsically by adapting the method introduced by the author to deal with half-space problems without using regularization methods.

Geometric optics expansion for weakly well-posed hyperbolic boundary value problem: The glancing degeneracy

This article aims to finalize the classification of weakly well-posed hyperbolic boundary value problems in the half-space. Such problems with loss of derivatives are rather classical in the literature and appear for example in (Arch. Rational Mech. Anal. 101 (1988) 261–292) or (In Analyse Mathématique et Applications (1988) 319–356 Gauthier-Villars). It is known that depending on the kind of the area of the boundary of the frequency space on which the uniform Kreiss–Lopatinskii condition degenerates then the energy estimate can include different losses. The three first possible areas of degeneracy have been studied in (Annales de l’Institut Fourier 60 (2010) 2183–2233) and (Differential Integral Equations 27 (2014) 531–562) by the use of geometric optics expansions. In this article we use the same kind of tools in order to deal with the last remaining case, namely a degeneracy in the glancing area. In comparison to the first cases studied we will see that the equation giving the amplitude of the leading order term in the expansion, and thus initializing the whole construction of the expansion, is not a transport equation anymore but it is given by some Fourier multiplier. This multiplier needs to be invert in order to recover the first amplitude. As an application we discuss the existing estimates of (Discrete Contin. Dyn. Syst., Ser. B 23 (2018) 1347–1361; SIAM J. Math. Anal. 44 (2012) 1925–1949) for the wave equation with Neumann boundary condition.

Correction to: On the stability of totally upwind schemes for the hyperbolic initial boundary value problem

Correction to: On the stability of totally upwind schemes for the hyperbolic initial boundary value problem

On the stability of totally upwind schemes for the hyperbolic initial boundary value problem

Abstract In this paper, we present a numerical strategy to check the strong stability (or GKS-stability) of one-step explicit totally upwind schemes in 1D with numerical boundary conditions. The underlying approximated continuous problem is the one-dimensional advection equation. The strong stability is studied using the Kreiss–Lopatinskii theory. We introduce a new tool, the intrinsic Kreiss–Lopatinskii determinant, which possesses remarkable regularity properties. By applying standard results of complex analysis, we are able to relate the strong stability of numerical schemes to the computation of a winding number, which is robust and cheap. The study is illustrated with the Beam–Warming scheme together with the simplified inverse Lax–Wendroff procedure at the boundary.

Solvability for Optimal Classical Continuous Control Problem Controlling by Quaternary Hyperbolic Boundary Value Problem

This work is concerned with studying the solvability for optimal classical continuous control quaternary vector problem that controls by quaternary linear hyperbolic boundary value problem. The existence of the unique quaternary state vector solution for the quaternary linear hyperbolic boundary value problem is studied and demonstrated by employing the method of Galerkin, where the classical continuous control quaternary vector is Known. Also, the existence theorem of an optimal classical continuous control quaternary vector related to the quaternary linear hyperbolic boundary value problem is demonstrated. The existence of a unique solution to the adjoint quaternary linear hyperbolic boundary value problem associated with the quaternary linear hyperbolic boundary value problem is formulated and studied. The directional derivative for the cost functional is derived. Finally, the necessary optimality theorem for the optimal classical continuous control quaternary vector is proved.

Accurate analytical calculation of the rate coefficient for the diffusion-controlled reactions due to hyperbolic diffusion.

Using an approach based on the diffusion analog of the Cattaneo-Vernotte differential model, we find the exact analytical solution to the corresponding time-dependent linear hyperbolic initial boundary value problem, describing irreversible diffusion-controlled reactions under Smoluchowski's boundary condition on a spherical sink. By means of this solution, we extend exact analytical calculations for the time-dependent classical Smoluchowski rate coefficient to the case that includes the so-called inertial effects, occurring in the host media with finite relaxation times. We also present a brief survey of Smoluchowski's theory and its various subsequent refinements, including works devoted to the description of the short-time behavior of Brownian particles. In this paper, we managed to show that a known Rice's formula, commonly recognized earlier as an exact reaction rate coefficient for the case of hyperbolic diffusion, turned out to be only its approximation being a uniform upper bound of the exact value. Here, the obtained formula seems to be of great significance for bridging a known gap between an analytically estimated rate coefficient on the one hand and molecular dynamics simulations together with experimentally observed results for the short times regime on the other hand. A particular emphasis has been placed on the rigorous mathematical treatment and important properties of the relevant initial boundary value problems in parabolic and hyperbolic diffusion theories.

Transverse instability of high frequency weakly stable quasilinear boundary value problems

This work intends to prove that strong instabilities may appear for high order geometric optics expansions of weakly stable quasilinear hyperbolic boundary value problems, when the forcing boundary term is perturbed by a small amplitude oscillating function, with a transverse frequency. Since the boundary frequencies lie in the locus where the so-called Lopatinskii determinant is zero, the amplifications on the boundary give rise to a highly coupled system of equations for the profiles. A simplified model for this system is solved in an analytical framework using the Cauchy-Kovalevskaya theorem as well as a version of it ensuring analyticity in space and time for the solution. Then it is proven that, through resonances and amplification, a particular configuration for the phases may create an instability, in the sense that the small perturbation of the forcing term on the boundary interferes at the leading order in the asymptotic expansion of the solution. Finally we study the possibility for such a configuration of frequencies to happen for the isentropic Euler equations in space dimension three.

A Numerical Algorithm for a Coupled Hyperbolic Boundary Value Problem

This paper develops an algorithm to find the quadruple [Formula: see text] solution to a double Goursat–Cauchy boundary value problem in a triangular domain. The functions [Formula: see text] and [Formula: see text] are coupled through the function [Formula: see text]. Numerical examples are provided to illustrate the algorithm. This work finds applicability in inverse spectral problems.

The Optimal Classical Continuous Control Quaternary Vector of Quaternary Nonlinear Hyperbolic Boundary Value Problem

This work is concerned with studying the optimal classical continuous control quaternary vector problem. It is consisted of; the quaternary nonlinear hyperbolic boundary value problem and the cost functional. At first, the weak form of the quaternary nonlinear hyperbolic boundary value problem is obtained. Then under suitable hypotheses, the existence theorem of a unique state quaternary vector solution for the weak form where the classical continuous control quaternary vector is considered known is stated and demonstrated by employing the method of Galerkin and the compactness theorem. In addition, the continuity operator between the state quaternary vector solution of the weak form and the corresponding classical continuous control quaternary vector is demonstrated in three different infinite dimensional spaces (Hilbert spaces). Furthermore, with suitable hypotheses, the existence theorem of an optimal classical continuous control quaternary vector dominated by the weak form of the quaternary nonlinear hyperbolic boundary value problem is stated and demonstrated.

On the Numerical Solution of a Hyperbolic Inverse Boundary Value Problem in Bounded Domains

We consider the inverse problem of reconstructing the boundary curve of a cavity embedded in a bounded domain. The problem is formulated in two dimensions for the wave equation. We combine the Laguerre transform with the integral equation method and we reduce the inverse problem to a system of boundary integral equations. We propose an iterative scheme that linearizes the equation using the Fréchet derivative of the forward operator. The application of special quadrature rules results to an ill-conditioned linear system which we solve using Tikhonov regularization. The numerical results show that the proposed method produces accurate and stable reconstructions.

Stability of finite difference schemes approximation for hyperbolic boundary value problems in an interval

In this article we are interested in the stability of finite difference schemes approximation for hyperbolic boundary value problems defined on the interval [ 0 , 1 ] \left [0,1 \right ] . The seminal work of Gustafsson, Kreiss, and Sundström [Math. Comp. 26 (1972), pp. 649-686], mainly devoted to the half-line, gives a necessary and sufficient invertibility condition ensuring the stability of the scheme, the so-called discrete uniform Kreiss-Lopatinskii condition. An interesting point is that this condition is a discretized version of the one imposed in the continuous setting to ensure the strong well-posedness of the hyperbolic boundary value problem. However as pointed by Gustafsson, Kreiss, and Sundström [Math. Comp. 26 (1972), pp. 649-686] and as soon as several boundary conditions are concerned the solution to the scheme may develop an exponential growth with respect to the discrete time variable. The question addressed here is to characterize the schemes having this growth or not. This is made under a new invertibility condition which is a discretized version of the ones preventing the exponential growth in time of the solution to continuous hyperbolic boundary value problems in the strip studied by Benoit [Indiana Univ. Math. J. 69 (2020), pp. 2267-2323]. In some sense it shows that this continuous to discrete extension of the characterization occurs in the interval like in the half-line.

The Galerkin-Implicit Method for Solving Nonlinear Variable Coefficients Hyperbolic Boundary Value Problem

This paper has the interest of finding the approximate solution (APPS) of a nonlinear variable coefficients hyperbolic boundary value problem (NOLVCHBVP). The given boundary value problem is written in its discrete weak form (WEFM) and proved have a unique solution, which is obtained via the mixed Galerkin finite element with implicit method that reduces the problem to solve the Galerkin nonlinear algebraic system (GNAS). In this part, the predictor and the corrector techniques (PT and CT, respectively) are proved at first convergence and then are used to transform the obtained GNAS to a linear GLAS . Then the GLAS is solved using the Cholesky method (ChMe). The stability and the convergence of the method are studied. Some illustrative examples are used, where the results are given by figures that show the efficiency and accuracy for the method.

WKB expansions for weakly well-posed hyperbolic boundary value problems in a strip: Time depending loss of derivatives

We are interested in geometric optics expansions for linear hyperbolic systems of equations defined in the strip [Formula: see text]. More precisely the aim of this paper is to describe the influence of the boundary conditions on the behavior of the solution. This question has already been addressed in [A. Benoit, Wkb expansions for hyperbolic boundary value problems in a strip: Selfinteraction meets strong well-posedness, J. Inst. Math. Jussieu 19(5) (2020) 1629–1675] for stable boundary conditions. Here we do not require that the boundary conditions lead to strongly well-posed problems but only to weakly well-posed problems (that is loss(es) of derivatives are possible). The question is thus to determine what can be the minimal loss of derivatives in the energy estimate of the solution. The main result of this paper is to show, thanks to geometric optics expansions, that if the strip problem admits a boundary in the so-called [Formula: see text]-class of [S. Benzoni-Gavage, F. Rousset, D. Serre and K. Zumbrun, Generic types and transitions in hyperbolic initial-boundary-value problems, Proc. Roy. Soc. Edinburgh Sect. A 132(5) (2002) 1073–1104] then the loss of derivatives shall be at least increasing with the time of resolution. More precisely this loss is bounded by below by a step function increasing with respect to time which depends on the minimal time needed to perform a full regeneration of the wave packet.

Boundary Optimal Control for Triple Nonlinear Hyperbolic Boundary Value Problem with State Constraints

The paper is concerned with the state and proof of the solvability theorem of unique state vector solution (SVS) of triple nonlinear hyperbolic boundary value problem (TNLHBVP), via utilizing the Galerkin method (GAM) with the Aubin theorem (AUTH), when the boundary control vector (BCV) is known. Solvability theorem of a boundary optimal control vector (BOCV) with equality and inequality state vector constraints (EINESVC) is proved. We studied the solvability theorem of a unique solution for the adjoint triple boundary value problem (ATHBVP) associated with TNLHBVP. The directional derivation (DRD) of the "Hamiltonian"(DRDH) is deduced. Finally, the necessary theorem (necessary conditions "NCOs") and the sufficient theorem (sufficient conditions" SCOs"), together denoted as NSCOs, for the optimality (OP) of the state constrained problem (SCP) are stated and proved.

The Galerkin-Implicit Methods for Solving Nonlinear Hyperbolic Boundary Value Problem

This paper is concerned with finding the approximation solution (APPS) of a certain type of nonlinear hyperbolic boundary value problem (NOLHYBVP). The given BVP is written in its discrete (DI) weak form (WEF), and is proved that it has a unique APPS, which is obtained via the mixed Galerkin finite element method (GFE) with implicit method (MGFEIM) that reduces the problem to solve the Galerkin nonlinear algebraic system (GNAS). In this part, the predictor and the corrector technique (PT and CT) are proved convergent and are used to transform the obtained GNAS to linear (GLAS ), then the GLAS is solved using the Cholesky method (ChMe). The stability and the convergence of the method are studied. The results are given by figures and shown the efficiency and accuracy for the method

A well-posedness result of a characteristic hyperbolic mixed problem

We study the well-posedness of a hyperbolic characteristic initial boundary value problem with Lipschitz continuous coefficients. Assuming more general boundary assumptions than those of maximally dissipativeness, we deal with a Friedrichs symmetrizable system of first order satisfying a minimal structure boundary condition, the so-called Uniform Kreiss–Lopatinskii Condition. We show that a semi-group estimate holds, leading to the proof of the $$L^{2}$$ well-posedness of the initial boundary value problem, provided that the source data of the interior is only $$L^{1}([0,T],L^{2}(\varOmega )),$$ with the aid of the paradifferential calculus.

Mixed Penalty with Gradient, Gradient Projection and Frank Wolfe Methods for Solving Nonlinear Hyperbolic Optimal Control Sate Constraints

This paper is focused on studying the numerical solution (NUSO) for the discrete classical optimal control problem (DISCOPCP) ruled by a nonlinear hyperbolic boundary value problem (NHYBVP) with state constraints (SCONs). When the discrete classical control (DISCC) is given, the existence and uniqueness theorem for the discrete classical solution of the discrete weak form (DISWF) is proved. The proof for the existence theorem of the discrete classical optimal control (DISCOPC) and the necessary and sufficient conditions (NECOs and SUCOs) of the problem are given. Moreover. The DISCOPCP is found numerically from the Galerkin finite element method (GFE) for variable space and implicit finite difference scheme (IFD) for time variable (GFEIFDM) to find the NUSO of the DISWF and then the DISCOPC is found from solving the optimization problem (OPTP) (the minimum of discrete cost functional (DISCF)) by using the mixed Penalty method with the Gradient method (PGMTH), the Gradient projection method (PGPMTH) and the Frank Wolfe method (PFWMTH). Inside these three methods, the Armijo step option (ASO) is used to get a better direction of the optimal search. Finally, illustrative example for the problem is given to exam the accuracy and efficiency of these methods.

A note on evolution equation on manifold

In the present paper, considering the differential equations on smooth closed manifolds, we investigate and establish the well-posedness of boundary value problems nonlocal type for parabolic equations and also hyperbolic equations in H?lder spaces. Furthermore, in various H?lder norms we establish new coercivity estimates for the solutions of such type parabolic boundary value problems on manifolds and hyperbolic boundary value problems on manifolds as well.