Real analytic parameter dependence of solutions of differential equations

Paweł Domański
2010 Revista matemática iberoamericana  
We consider the problem of real analytic parameter dependence of solutions of the linear partial differential equation P (D)u = f , i.e., the question if for every family (f λ ) ⊆ D (Ω) of distributions depending in a real analytic way on λ ∈ U , U a real analytic manifold, there is a family of solutions (u λ ) ⊆ D (Ω) also depending analytically on λ such that where Ω ⊆ R d an open set. For general surjective variable coefficients operators or operators acting on currents over a smooth
more » ... er a smooth manifold we give a solution in terms of an abstract "Hadamard three circle property" for the kernel of the operator. The obtained condition is evaluated giving the full solution (usually in terms of the symbol) for operators with constant coefficients and open (convex) Ω ⊆ R d if P (D) is of one of the following types: 1) elliptic, 2) hypoelliptic, 3) homogeneous, 4) of two variables, 5) of order two or 6) if P (D) is the system of Cauchy-Riemann equations. An analogous problem is solved for convolution operators of one variable. In all enumerated cases, it follows that the solution is in the affirmative if and only if P (D) has a linear continuous right inverse which shows a striking difference comparing with analogous smooth or holomorphic parameter dependence problems. : Analytic dependence on parameters, linear partial differential operator, convolution operator, linear partial differential equation with constant coefficients, injective tensor product, surjectivity of tensorized operators, space of distributions, currents, space of ultradistributions in the sense of Beurling, functor Proj 1 , PLS-space, locally convex space, vector valued equation, solvability. The paper contains the whole theory working also for operators on Beurling ultradistributions D (ω) . We prove a characterization of surjectivity of tensor products of general surjective linear operators on a wide class of spaces containing most of the natural spaces of classical analysis.
doi:10.4171/rmi/599 fatcat:7xbynaicpzbszaovhzvcwfbciq