We investigate a large class of linear boundary value problems for the general first-order one-dimensional hyperbolic systems in the strip $[0,1]\times\R$. We state rather broad natural conditions on the data under which the operators of the problems satisfy the Fredholm alternative in the spaces of continuous and time-periodic functions. A crucial ingredient of our analysis is a non-resonance condition, which is formulated in terms of the data responsible for the bijective part of the Fredholm operator. In the case of $2\times 2$ systems with reflection boundary conditions, we provide a criterium for the non-resonant behavior of the system.
We obtain solvability conditions for some elliptic equations involving non Fredholm operators with the methods of spectral theory and scattering theory for Schrodinger type operators. Though the Fredholm property is not satisfied, the solvability conditions are formulated in terms of orthogonality of the right-hand side to solutions of the homogeneous adjoint equation.
We consider elliptic equations of order $2m$ in a bounded domain $Q\subset\mathbb R^n$ with nonlocal boundary-value conditions connecting the values of a solution and its derivatives on $(n-1)$-dimensional smooth manifolds $Γ_i$ with the values on manifolds $ω_{i}(Γ_i)$, where $\bigcup_i\overline{Γ_i}=\partial Q$ is a boundary of $Q$ and $ω_i$ are $C^\infty$ diffeomorphisms. By proving a priori estimates for solutions and constructing a right regularizer, we show the Fredholm solvability in weighted space. For nonlocal elliptic problems with a parameter, we prove the unique solvability.
We give necessary and sufficient conditions for the solvability of some semilinear elliptic boundary value problems involving the Laplace operator with linear and nonlinear highest order boundary conditions involving the Laplace-Beltrami operator.
In the paper obtained equivalent system of Fredholm integral equations in the study of the Dirichlet problem for the generalized Manjeron equation with non-smooth coefficients in non-classical treatment (1), (4). When non-smooth conditions on the coefficients of the equation in a rectangular region for this problem posed are found correct solvability conditions in integral form based on the method of integral representations.
We study a new nonlocal approach to the mathematical modelling of the Chemotaxis problem, which describes the random motion of a certain population due a substance concentration. Considering the initial-boundary value problem for the fractional hyperbolic Keller-Segel model, we prove the solvability of the problem. The solvability result relies mostly on fractional calculus and kinetic formulation of scalar conservation laws.
Solvability of a class of integro-differential equations with Laplace and bi-Laplace operators
University of Toronto(多伦多大学);Institute Camille Jordan, UMR 5208 CNRS, University Lyon 1(卡米尔·乔丹研究所,CNRS联合研究单位5208,里昂第一大学);Peoples’ Friendship University of Russia(俄罗斯人民友谊大学)
In the present paper, we discuss solvability questions of a non-local problem with integral form transmitting conditions for diffusion-wave equation with the Caputo fractional derivative in a domain bounded by smooth curves. The uniqueness of the solution of the formulated problem we prove using energy integral method with some modifications. The existence of solution will be proved by equivalent reduction of the studied problem into a system of second kind Fredholm integral equations.
In this work we introduce the obstacle-mass constraint problem for a multidimensional scalar hyperbolic conservation law. We prove existence of an entropy solution to this problem by a penalization/viscosity method. The mass constraint introduces a nonlocal Lagrange multiplier in the penalized equation, giving rise to a nonlocal parabolic problem. We determine conditions on the initial data and on the obstacle function which ensure global in time existence of solution. These are not smoothness conditions, but relate to the propagation of the support of the initial data.
Let $M$ be a strongly pseudoconvex complex $G$-manifold with compact quotient $M/G$. We provide a simple condition on forms $α$ sufficient for the regular solvability of the equation $\square u=α$ and other problems related to the $\bar\partial$-Neumann problem on $M$.
We study elliptic equations of order $2m$ with nonlocal boundary-value conditions in plane angles and in bounded domains, dealing with the case where the support of nonlocal terms intersects the boundary. We establish necessary and sufficient conditions under which nonlocal problems are Fredholm in Sobolev spaces and, respectively, in weighted spaces with small weight exponents. We also obtain an asymptotics of solutions to nonlocal problems near the conjugation points on the boundary, where solutions may have power singularities.
We explore the relationship between the Evans function, transmission coefficient and Fredholm determinant for systems of first order linear differential operators on the real line. The applications we have in mind include linear stability problems associated with travelling wave solutions to nonlinear partial differential equations, for example reaction-diffusion or solitary wave equations. The Evans function and transmission coefficient, which are both finite determinants, are natural tools for both analytic and numerical determination of eigenvalues of such linear operators. However, inverti…
The paper concerns boundary value problems for general nonautonomous first order quasilinear hyperbolic systems in a strip. We construct small global classical solutions, assuming that the right hand sides are small. In the case that all data of the quasilinear problem are almost periodic, we prove that the bounded solution is also almost periodic. For the nonhomogeneous version of a linearized problem, we provide stable dissipativity conditions ensuring a unique bounded continuous solution for any smooth right-hand sides. In the autonomous case, this solution is two times continuously differe…
We revisit Vasy's method for showing meromorphy of the resolvent for (even) asymptotically hyperbolic manifolds. It provides an effective definition of resonances in that setting by identifying them with poles of inverses of a family of Fredholm differential operators. In the Euclidean case the method of complex scaling made this available since the 70's but in the hyperbolic case an effective definition was not known until recently. Here we present a simplified version which relies only on standard pseudodifferential techniques and estimates for hyperbolic operators. As a byproduct we obtain …
The main purpose of this monograph is to give an elementary and self-contained account of the existence of asymptotically hyperbolic Einstein metrics with prescribed conformal infinities sufficiently close to that of a given asymptotically hyperbolic Einstein metric with nonpositive curvature. The proof is based on an elementary derivation of sharp Fredholm theorems for self-adjoint geometric linear elliptic operators on asymptotically hyperbolic manifolds.
Nonlocal problems for higher-order elliptic operators in dihedral and plane angles are considered. The Green formula is obtained, which leads to adjoint problems that take the form of nonlocal transmission problems in dihedral and plane angles. This allows us to establish necessary conditions of Fredholm solvability and sufficient conditions of one-valued solvability for nonlocal problems in dihedral angles.
Existence of stationary solutions for some systems of integro-differential equations with Laplace and bi-Laplace operators
University of Toronto(多伦多大学);Institute Camille Jordan, UMR 5208 CNRS, University Lyon 1(卡米尔·若尔当研究所,CNRS UMR 5208,里昂第一大学);Peoples’ Friendship University of Russia(俄罗斯人民友谊大学)
We define classes of pseudodifferential operators on $G$-bundles with compact base and give a generalized $L^2$ Fredholm theory for invariant operators in these classes in terms of von Neumann's $G$-dimension. We combine this formalism with a generalized Paley-Wiener theorem, valid for bundles with unimodular structure groups, to provide solvability criteria for invariant operators. This formalism also gives a basis for a $G$-index for these operators. We also define and describe a transversal dimension and its corresponding Fredholm theory in terms of anisotropic Sobolev estimates, valid also…
In this work we investigate a boundary problem with non-local conditions for mixed parabolic-hyperbolic type equation with three lines of type-changing with Caputo fractional derivative in the parabolic part. We equivalently reduce considered problem to the system of second kind Volterra integral equations. In the parabolic part we use solution of the first boundary problem with appropriate Green's function and in hyperbolic parts we use corresponding solutions of the Cauchy problem.
In this note we set up the elliptic and the parabolic Dirichlet problem for linear nonlocal operators. As opposed to the classical case of second order differential operators, here the "boundary data" are prescribed on the complement of a given bounded set. We formulate the problem in the classical framework of Hilbert spaces and prove unique solvability using standard techniques like the Fredholm alternative.
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. Two theorems on strong solvability and the existence of eigenvalues of the considered problem have been proved.
In the present work we investigate the Tricomi problem with integral gluing condition for parabolic-hyperbolic equation with the Caputo fractional order derivative. Using the method of energy integrals we prove the uniqueness of the solution for considered problem. The existence will be proved using methods of ordinary differential equations, Fredholm integral equations and solution will be represented in an explicit form.
In this paper, we present smooth examples of degenerate hyperbolic and mixed type Monge-Ampere equations in the plane, which do not admit a local C^3 solution.
We study existence, uniqueness, and distributional aspects of generalized solutions to the Cauchy problem for first-order symmetric (or Hermitian) hyperbolic systems of partial differential equations with Colombeau generalized functions as coefficients and data. The proofs of solvability are based on refined energy estimates on lens-shaped regions with spacelike boundaries. We obtain several variants and also partial extensions of previous results and provide aspects accompanying related recent work by C. Garetto and M. Oberguggenberger.
We study the correct solvability of an abstract integro-differential equations in Hilbert space generalizing integro-differential equations arising in the theory of viscoelastisity. The equations under considerations are the abstract hyperbolic equations perturbed by the terms containing Volterra integral operators. We establish the correct solvability in the weighted Sobolev spaces of vector-valued functions on the positive semiaxis.
We prove existence and uniqueness of strong (pointwise) solutions to a linear nonlocal strongly coupled hyperbolic system of equations posed on all of Euclidean space. The system of equations comes from a linearization of a nonlocal model of elasticity in solid mechanics. It is a nonlocal analogue of the Navier-Lamé system of classical elasticity. We use a well-known semigroup technique that hinges on the strong solvability of the corresponding steady-state elliptic system. The leading operator is an integro-differential operator characterized by a distinctive matrix kernel which is used to co…
In present paper we study a boundary value problem for a mixed parabolic-hyperbolic type equation in a rectangular domain and prove the existence of unique solution of this problem. In theory of boundary value problems for second order mixed type equations usually two conjugation conditions are in use. In this case, for mixed type equations containing hyperbolic equation in a rectangular domain for solvability of boundary value problem appears certain condition. In this paper we give three conjugation conditions. In this case mentioned condition not appears.
We continue the development, by reduction to a first order system for the conormal gradient, of $L^2$ \textit{a priori} estimates and solvability for boundary value problems of Dirichlet, regularity, Neumann type for divergence form second order, complex, elliptic systems. We work here on the unit ball and more generally its bi-Lipschitz images, assuming a Carleson condition as introduced by Dahlberg which measures the discrepancy of the coefficients to their boundary trace near the boundary. We sharpen our estimates by proving a general result concerning \textit{a priori} almost everywhere no…
We analyse an algorithm of transition between Cauchy problems for second-order wave equations and first-order symmetric hyperbolic systems in case the coefficients as well as the data are non-smooth, even allowing for regularity below the standard conditions guaranteeing well-posedness. The typical operations involved in rewriting equations into systems are then neither defined classically nor consistently extendible to the distribution theoretic setting. However, employing the nonlinear theory of generalized functions in the sense of Colombeau we arrive at clear statements about the transfer …
In this paper, a nonlinear inverse boundary value problem for the second-order hyperbolic equation with nonlocal conditions is studied. To investigate the solvability of the original problem, we first consider an auxiliary inverse boundary value problem and prove its equivalence (in a certain sense) to the original problem. Then using the Fourier method and contraction map pings principle, the existence and uniqueness theorem for auxiliary problem is proved. Further, on the basis of the equivalency of these problems the existence and uniqueness theorem for the classical solution of the conside…
We characterize the groupoids for which an operator is Fredholm if, and only if, its principal symbol and all its boundary restrictions are invertible. A groupoid with this property is called {\em Fredholm}. Using results on the Effros-Hahn conjecture, we show that an almost amenable, Hausdorff, second countable groupoid is Fredholm. Many groupoids, and hence many pseudodifferential operators appearing in practice, fit into this framework. In particular, one can use these results to characterize the Fredholm operators on manifolds with cylindrical and poly-cylindrical ends, on manifolds that a…
We prove some Fredholm conditions for many algebras of differential operators on particular classes of open manifolds, which include asymptotically Euclidean or asymptotically hyperbolic manifolds. Our typical result is that an operator $P$ is Fredholm if, and only if, it is elliptic and some limit operators $(P_α)_{α\in A}$ are invertible. The operators $P_α$ are right-invariant operators on amenable Lie groups $G_α$, and are of the same type of $P$. To obtain this result, we consider algebras of differential operators that are generated by groupoids. We study a general gluing procedure for g…
Manifolds with fibered hyperbolic cusp metrics include hyperbolic manifolds with cusps and locally symmetric spaces of Q-rank one. We extend Vaillant's treatment of Dirac-type operators associated to these metrics by weaking the hypotheses on the boundary families through the use of Fredholm perturbations as in the family index theorem of Melrose and Piazza and by treating the index of families of such operators. We also extend the index theorem of Moroianu and Leichtnam-Mazzeo-Piazza to families of perturbed Dirac-type operators associated to fibered cusp metrics (sometimes known as fibered b…
We investigate the mixed Dirichlet-Neumann boundary value problems for the Laplace-Beltrami equation on a smooth hypersurface $\mathcal{C}$ with the smooth boundary in non-classical setting in the Bessel potential spaces $\mathbb{H}^1_p(\mathcal{C})$ for $1<p<\infty$. To the initial BVP we apply quasilocalization and obtain model BVPs for the Laplacian. The model mixed BVP on the half plane is investigated by potential method and is reduced to an equivalent system of Mellin convolution equations in Bessel potential and Besov spaces. The symbol of the obtained system is written explicitly, whic…
Segregated direct boundary-domain integral equations (BDIEs) based on a parametrix and associated with the Dirichlet and Neumann boundary value problems for the linear stationary diffusion partial differential equation with a variable coefficient are formulated. The PDE right hand sides belong to the Sobolev space $H^{-1}(Ω)$ or $\tilde H^{-1}(Ω)$, when neither classical nor canonical co-normal derivatives are well defined. Equivalence of the BDIEs to the original BVP, BDIE solvability, solution uniqueness/non-uniqueness, and as well as Fredholm property and invertibility of the BDIE operators…
We consider asymptotically hyperbolic manifolds whose metrics have Sobolev-class regularity, and introduce several technical tools for studying PDEs on such manifolds. Our results employ two novel families of function spaces suitable for metrics potentially having a large amount of interior differentiability, but whose Sobolev regularity implies only a Hölder continuous conformal structure at infinity. We establish Fredholm theorems for elliptic operators arising from metrics in these families. To demonstrate the utility of our methods, we solve the Yamabe problem in this category. As a specia…
We investigate general Shapiro-Lopatinsky elliptic boundary value problems on manifolds with polycylindrical ends. This is accomplished by compactifying such a manifold to a manifold with corners of in general higher codimension, and we then deal with boundary value problems for cusp differential operators. We introduce an adapted Boutet de Monvel's calculus of pseudodifferential boundary value problems, and construct parametrices for elliptic cusp operators within this calculus. Fredholm solvability and elliptic regularity up to the boundary and up to infinity for boundary value problems on m…
We consider elliptic problems with nonclassical boundary conditions that contain additional unknown functions on the border of the domain of the elliptic equation and also contain boundary operators of higher orders with respect to the order of this equation. We investigate the solvability of the indicated problems and properties of their solutions in an extended Sobolev scale. It consists of Hilbert generalized Sobolev spaces for which the order of regularity is a general radial function $\mathrm{RO}$-varying in the sense of Avakumović at infinity. We establish a theorem on the Fredholm prope…