Identifying unknown terms in hyperbolic and parabolic equations

We recover unknown source terms in nonlinear hyperbolic differential equations and in nonlinear parabolic integro-differential equations in one space variable under the assumption of knowing a first integral (in the hyperbolic case) or the value of the solution at a point inside the domain (in the parabolic case). For this class of problems we prove existence results in classes of smooth solutions. Moreover, for linear hyperbolic and parabolic differential equations in one space variable we recover some characteristic parameters. Conferenza tenuta il giorno 29 Novembre 1999     

A spectral solution method for a boundary-value problem for a mixed-type equation with two singularity lines

We consider a boundary-value problem for a mixed-type equation with two perpendicular singularity lines given in a domain whose elliptic part is a rectangle, while the hyperbolic one is a vertical half-strip. This problem differs from the Dirichlet one by the fact that at the left boundary of the rectangle and the half-strip we specify the vanishing order of the desired function rather than its value. We find a solution to the problem by a spectral method with the use of the Fourier–Bessel series and prove the uniqueness of the solution. We substantiate the uniform convergence of the corresponding series under certain requirements to the problem statement.     

A jump discontinuity of compressible viscous flows grazing a non-convex corner

We show existence and regularity of solution for the compressible viscous steady state Navier–Stokes system on a polygon having a grazing corner and that the density has a jump discontinuity across a curve inside the domain. There are corresponding jumps in derivatives of the velocity. The solution comes from a well-posed boundary value problem on a polygonal domain with a non-convex corner. A formula for the decay of the jump is given. The decay formula suggests that density jumps can occur in a compressible flow with a non-vanishing viscosity.     

The natural occurrence of flux splitting in a hyperbolic setting

Classical derivations of the so-called Riemann invariants for hyperbolic partial differential equations have depended upon the strong-solution concept. Thus, invariance may rigorously be guaranteed only in regions of smooth flow. In general, this is as much as can be said. However, by restricting attention to linear hyperbolic systems, it further emerges that the Riemann invariant fully justifies its title. By using distribution-theoretical arguments based on the weak-solution concept. Riemann invariants of a more generalized nature are studied. For a particular weak solution u there exists, among the equivalence class [u] of weak solutions that differ from u at most on a set of measure zero, a weak solution u whose Riemann invariant corresponding to characteristic direction λ is constant on lines C: dx/dt = λ. Moreover, every piecewise-smooth weak solution has Riemann invariants that are continuous across a finite jump discontinuity. This result is used to establish for a certain Riemann problem that the one-sided time derivative at a point of discontinuity exhibits a character usually regarded in the literature as flux splitting. This result sheds light upon the validity of some upstream-biased approximation techniques for the numerical solution of hyperbolic systems.     

带尖角的障碍声波散射区域的反演

对带尖角的障碍声波散射区域进行了反演,其前提条件是整体场满足奇次Dirichlet边界条件．在用Nystrom方法解正问题的过程中,由于采用等距网格积分给尖角处带来很差的收敛性,这是因为双层位势的积分算子的核在尖角处有Mellin型奇性,不再是紧算子;为此采用梯度网格,数值例子表明该处理方法的有效可靠性．     

Hyperbolic cone-manifold structures with prescribed holonomy I: punctured tori

We consider the relationship between hyperbolic cone-manifold structures on surfaces, and algebraic representations of the fundamental group into a group of isometries. A hyperbolic cone-manifold structure on a surface, with all interior cone angles being integer multiples of 2π, determines a holonomy representation of the fundamental group. We ask, conversely, when a representation of the fundamental group is the holonomy of a hyperbolic cone-manifold structure. In this paper we prove results for the punctured torus; in the sequel, for higher genus surfaces. We show that a representation of the fundamental group of a punctured torus is a holonomy representation of a hyperbolic cone-manifold structure with no interior cone points and a single corner point if and only if it is not virtually abelian. We construct a pentagonal fundamental domain for hyperbolic structures, from the geometry of a representation. Our techniques involve the universal covering group [(PSL₂\mathbb R)\tilde]{\widetilde{{\it PSL}_2{\mathbb R}}} of the group of orientation-preserving isometries of \mathbb H²{{\mathbb H}^2} and Markoff moves arising from the action of the mapping class group on the character variety.     

Analysis of a bilinear finite element for shallow shells I: Approximation of inextensional deformations

We consider a bilinear reduced-strain finite element formulation for a shallow shell model of Reissner-Naghdi type. The formulation is closely related to the facet models used in engineering practice. We estimate the error of this scheme when approximating an inextensional displacement field. We make the strong assumptions that the domain and the finite element mesh are rectangular and that the boundary conditions are periodic and the mesh uniform in one of the coordinate directions. We prove then that for sufficiently smooth fields, the convergence rate in the energy norm is of optimal order uniformly with respect to the shell thickness. In case of elliptic shell geometry the error bound is furthermore quasioptimal, whereas in parabolic and hyperbolic geometries slightly enhanced smoothness is required, except for the degenerate cases where the characteristic lines are parallel with the mesh lines. The error bound is shown to be sharp.

     

Protter-Morawetz multidimensional problems

About 50 years ago M.H. Protter introduced boundary value problems that are multidimensional analogues of the classical plane Morawetz problems for equations of mixed hyperbolic-elliptic type that model transonic fluid flows. Up to now there are no general existence results for the Protter-Morawetz multidimensional problems, and an understanding of the situation is not at hand. At the same time, Protter also formulated boundary value problems in the hyperbolic part of the domain??the nonhomogeneous wave equation is studied in a (3+1)-D domain bounded by two characteristic cones and a non-characteristic ball. These problems could be considered as multidimensional variants of the Darboux problem in ?². In the frame of classical solvability the hyperbolic Protter problem is not Fredholm, because it has an infinite-dimensional cokernel. On the other hand, it is known that the unique generalized solution of a Protter problem may have a strong power-type singularity even for some very smooth right-hand side functions. This singularity is isolated at the vertex O of the boundary light cone and does not propagate along the characteristic cone. In the general case of smooth right-hand side function, some necessary and sufficient conditions for the existence of a bounded solution are given and a priori estimates for the solution are found. The semi-Fredholm solvability of the problem is proved.     

Initial boundary value problem for a nonconservative system in elastodynamics

This article is concerned with the initial boundary value problem for a nonconservative system of hyperbolic equation appearing in elastodynamics in the space time domain x > 0, t > 0. The number of boundary conditions, to be prescribed at the boundary x = 0, depends on the number of characteristics entering the domain. Because our system is nonlinear, the characteristic speeds depends on the unknown and the direction of the characteristics curves are known apriori. As it is well known, the boundary condition has to be understood in a generalised way. One of the standard way is using vanishing viscosity method. We use this method to construct solution for a particular class of initial and boundary data, namely the initial and boundary datas that lie on the level sets of one of the Riemann invariants.     

Differential properties of a generalized solution to a hyperbolic system of first-order differential equations

We study some questions of the qualitative theory of differential equations. A Cauchy problem is considered for a hyperbolic system of two first-order differential equations whose right-hand sides contain some discontinuous functions. A generalized solution is defined as a continuous solution to the corresponding system of integral equations. We prove the existence and uniqueness of a generalized solution and study the differential properties of the obtained solution. In particular, its first-order partial derivatives are unbounded near certain parts of the characteristic lines. We observe that this property contradicts the common approach which uses the reduction of a system of two first-order equations to a single second-order equation.     

On a Frankl-type problem for a mixed parabolic-hyperbolic equation

We state a new nonlocal boundary value problem for a mixed parabolic-hyperbolic equation. The equation is of the first kind, i.e., the curve on which the equation changes type is not a characteristic. The nonlocal condition involves points in hyperbolic and parabolic parts of the domain. This problem is a generalization of the well-known Frankl-type problems. Unlike other close publications, the hyperbolic part of the domain agrees with a characteristic triangle. We prove unique solvability of this problem in the sense of classical and strong solutions.     

Domain decomposition methods for hyperbolic problems

In this paper a method is developed for solving hyperbolic initial boundary value problems in one space dimension using domain decomposition, which can be extended to problems in several space dimensions. We minimize a functional which is the sum of squares of the L ² norms of the residuals and a term which is the sum of the squares of the L ² norms of the jumps in the function across interdomain boundaries. To make the problem well posed the interdomain boundaries are made to move back and forth at alternate time steps with sufficiently high speed. We construct parallel preconditioners and obtain error estimates for the method. The Schwarz waveform relaxation method is often employed to solve hyperbolic problems using domain decomposition but this technique faces difficulties if the system becomes characteristic at the inter-element boundaries. By making the inter-element boundaries move faster than the fastest wave speed associated with the hyperbolic system we are able to overcome this problem.     

A solvable hyperbolic free boundary problem modelling tumour regrowth

Recently, Tian and Friedman et al. developed a mathematical model on brain tumour recurrence after resection [J.P. Tian, A. Friedman, J. Wang and E.A. Chiocca, Modeling the effects of resection, radiation and chemotherapy in glioblastoma, J. Neuro-Oncol. 91(3) (2009), pp. 287–293]. The model is a free boundary problem with a hyperbolic system of nonlinear partial differential equations. In this article, we conduct a rigorous analysis on this hyperbolic system and prove the local and global existence and uniqueness of the solution. It is well known that most nonlinear free boundary problems are impossible to solve in terms of explicit analytical solutions. In contrast, the free boundary problem in this study is solvable, and the explicit solution is found using the backward characteristic curve method. This explicit solution is then validated by numerical simulation results. An interesting finding in this study is that the problem can be treated as a hyperbolic system defined on an infinite domain where the initial condition has a first-type discontinuity.     

Computation of viscous or nonviscous conservation law by domain decomposition based on asymptotic analysis

An accurate and efficient numerical method has been developed for a nonlinear diffusion convection-dominated problem. The scheme combines asymptotic methods with usual solution techniques for hyperbolic problems. After having localized shock or corner layers and rescaling, first terms of the inner expansion are computed. Using the same concepts gives a method to compute a very accurate solution of the nonlinear conservation law. Because our numerical scheme is based on a uniform approximation throughout the domain, the shock is localized very accurately and there is practically no smearing out. Numerical computations are presented. Another novel feature is the ability to break down the problem according to subdomains of different local behavior, based on asymptotic analysis, which may make it feasible to do computations with different processors.     

Parabolic finite volume element equations in nonconvex polygonal domains

We study spatially semidiscrete and fully discrete finite volume element approximations of the heat equation with homogeneous Dirichlet boundary conditions in a plane polygonal domain with one reentrant corner. We show that, as a result of the singularity in the solution near the reentrant corner, the convergence rate is reduced from optimal second order, similarly to what was shown for the finite element method in the earlier work 2 . Optimal order convergence may be restored by mesh refinement near the corners of the domain. © 2008 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2009     

A hybrid method for numerical solution of Poisson’s equation in a domain with a dielectric corner

An electrostatic problem of determining a potential in a domain containing an incoming dielectric corner, which reduces to solving Poisson’s equation in this domain, is considered. A specific feature of the solution of this problem is that it is bounded in a neighborhood of the dielectric corner but its gradient increases without limit. An efficient hybrid algorithm for the numerical solution of the problem, based on the finite element method and taking into account the known asymptotic representation of the solution in the neighborhood of the dielectric corner, is proposed.     

Local in time existence for the complete Maxwell equations with monotone characteristic in a bounded domain

Summary The complete system of the quasi- linear Maxwell equations with monotone characteristic in a bounded domain is studied. Following Kato's theory in [14] for quasilinear hyperbolic systems, existence and uniqueness of a local regular solution is established.     

Geometry of quasilinear hyperbolic systems with characteristic fields of constant multiplicity

In this paper, we study the regularity of the eigenvalues and eigenvectors and the existence of normalized coordinates for quasilinear hyperbolic systems with characteristic fields of constant multiplicity. We prove that the eigenvalues and eigenvectors of the system have the same regularity as the coefficients of the system. On the other hand, we show that, for the quasilinear hyperbolic system of conservation laws with characteristic fields of constant multiplicity, the normalized coordinates exist on the domain under consideration.     

Propagation of Singularities of Solutions to Hyperbolic‐Parabolic Coupled Systems

In this paper, the authors study the propagation of singlarities for a semilinear hyperbolic‐parabolic coupled system, which comes from the model of thermoelasticity. Both of the Cauchy problem and the problem inside of a domain are considered. We obtain that the microlocal singularities of solutions to the semilinear hyperbolic‐parabolic coupled system are propagated along null bicharacteristics of the hyperbolic operator by using the theory of paradifferential operators. Furthermore, for the Cauchy problem of the semilinear coupled system, if the initial data have singularities at the origin, we prove that the solutions have the same order regularity with respect to spatial variables as in hyperbolic problems in the forward characteristic cone issuing from the origin, which improves the previous results for semilinear systems in thermoelasticity.     

The semilinear second-order hyperbolic equation with data strongly singular at one point

In this paper we study the initial value problem for the scalar semilinear strictly hyperbolic equation in multidimensional space with data strongly singular at one point. Under the assumption of the initial data being conormal with respect to one point and bounded or regular with a certain low degree, the existence of the solution to this problem is obtained; meanwhile, it is proved that the singularity of the solution will spread on the forward characteristic cone of the hyperbolic operator issuing from this point, and the solution is bounded and conormal with respect to this cone.