Ultradifferential operators in the study of Gevrey solvability and regularity

In this work we present a new representation formula for ultradistributions using the so‐called ultradifferential operators. The main difference between our representation result and other works is that here we do not break the duality of Gevrey functions of other s and their ultradistributions, i.e., we locally represent an element of by an infinite order operator acting on a function of class . Our main application was in the local solvability of the differential complex associated to a locally integrable structure in a Gevrey environment.     

Global solvability for first order real linear partial differential operators

F. Treves, in [17], using a notion of convexity of sets with respect to operators due to B. Malgrange and a theorem of C. Harvey, characterized globally solvable linear partial differential operators on C^∞(X), for an open subset X of Rn.Let P=L+c be a linear partial differential operator with real coefficients on a C^∞ manifold X, where L is a vector field and c is a function. If L has no critical points, J. Duistermaat and L. Hörmander, in [2], proved five equivalent conditions for global solvability of P on C^∞(X).Based on Harvey-Treves's result we prove sufficient conditions for the global solvability of P on C^∞(X), in the spirit of geometrical Duistermaat-Hörmander's characterizations, when L is zero at precisely one point. For this case, additional non-resonance type conditions on the value of c at the equilibrium point are necessary.     

Invariants and spaces of zero solutions of linear partial differential operators

It is shown that for open convex , d > 1 and a nontrivial polynomial P the space does not have property . If P is elliptic or homogeneous, then this holds for every open Ω. For even cannot occur and if it occurs for some Ω, then P must be hypoelliptic. Received: 18 July 2005     

Global solvability and global hypoellipticity in Gevrey classes for vector fields on the torus

Let $L=?/?t+{\sum }_{j=1}^N(a_j+i{b}_j)(t)?/?x_j$ be a vector field defined on the torus ${\mathbb{T}}^{N+1}?{\mathbb{R}}^{N+1}/2\pi {\mathbb{Z}}^{N+1}$, where $a_j$, $b_j$ are real-valued functions and belonging to the Gevrey class $G^s({\mathbb{T}}^1)$, $s>1$, for $j=1,\dots ,N$. We present a complete characterization for the s-global solvability and s-global hypoellipticity of L. Our results are linked to Diophantine properties of the coefficients and, also, connectedness of certain sublevel sets.     

Gevrey solvability near the characteristic set for a class of planar complex vector fields of infinite type

We study the Gevrey solvability of a class of complex vector fields, defined on Ω?=(−?,?)×S¹, given by L=∂/∂t+(a(x)+ib(x))∂/∂x, b?0, near the characteristic set Σ={0}×S¹. We show that the interplay between the order of vanishing of the functions a and b at x=0 plays a role in the Gevrey solvability.     

On holomorphic families of Schrödinger-type operators with singular potentials on manifolds of bounded geometry

We consider a family of Schrödinger-type differential expressions L(κ)=D²+V+κV(1), where κ∈C, and D is the Dirac operator associated with a Clifford bundle (E,∇E) of bounded geometry over a manifold of bounded geometry (M,g) with metric g, and V and V(1) are self-adjoint locally integrable sections of EndE. We also consider the family I(κ)=^*(∇F)∇F+V+κV(1), where κ∈C, and ∇F is a Hermitian connection on a Hermitian vector bundle F of bonded geometry over a manifold of bounded geometry (M,g), and V and V(1) are self-adjoint locally integrable sections of EndF. We give sufficient conditions for L(κ) and I(κ) to have a realization in L²(E) and L²(F), respectively, as self-adjoint holomorphic families of type (B). In the proofs we use Kato's inequality for Bochner Laplacian operator and Weitzenböck formula.     

Fredholm differential operators with unbounded coefficients

We prove that a first-order linear differential operator G with unbounded operator coefficients is Fredholm on spaces of functions on with values in a reflexive Banach space if and only if the corresponding strongly continuous evolution family has exponential dichotomies on both and and a pair of the ranges of the dichotomy projections is Fredholm, and that the Fredholm index of G is equal to the Fredholm index of the pair. The operator G is the generator of the evolution semigroup associated with the evolution family. In the case when the evolution family is the propagator of a well-posed differential equation u′(t)=A(t)u(t) with, generally, unbounded operators , the operator G is a closure of the operator . Thus, this paper provides a complete infinite-dimensional generalization of well-known finite-dimensional results by Palmer, and by Ben-Artzi and Gohberg.     

Real-analytic solvability for differential complexes associated to locally integrable structures

Inspired by the work of Suzuki [12] on the concept of real-analytic solvability for first-order analytic linear partial differential operators we extend his results for the differential complexes associated to analytic locally integrable structures of corank one. We prove that such notion of solvability is related to the smooth solvability condition introduced by F. Treves [13] in 1983. In our arguments the natural extension to closed forms of the well-known Baouendi–Treves approximation formula, the so-called “Approximate Poincaré Lemma” (cf. [1], [14]), plays a key role.     

Global solvability of real analytic complex vector fields in two variables

This paper deals with the global solvability of a complex vector field with real analytic coefficients in two real variables. The vector field is assumed to satisfy the Nirenberg-Treves condition (P) for local solvability. Normal forms for the vector field near the one-dimensional orbits are obtained and a generalization of the Riemann-Hilbert problem is considered.     

Existence of three solutions for a non-homogeneous Neumann problem through Orlicz-Sobolev spaces

The aim of this paper is to establish a multiplicity result for an eigenvalue non-homogeneous Neumann problem which involves a nonlinearity fulfilling a nonstandard growth condition. Precisely, a recent critical points result for differentiable functionals is exploited in order to prove the existence of a determined open interval of positive eigenvalues for which the problem admits at least three weak solutions in an appropriate Orlicz-Sobolev space.     

Stochastic partial differential equations in M-type 2 Banach spaces

We study abstract stochastic evolution equations in M-type 2 Banach spaces. Applications to stochastic partial differential equations inL ^p spaces withp2 are given. For example, solutions of such equations are Hölder continuous in the space variables.The author is an Alexander von Humboldt Stiftung fellow     

Right inverses for linear, constant coefficient partial differential operators on distributions over open half spaces

Results of Hörmander on evolution operators together with a characterization of the present authors [Ann. Inst. Fourier, Grenoble 40, 619–655 (1990)] are used to prove the following: Let P ∈ ?[z₁,...,z _n ] and denote by P _m its principal part. If P ? P_m is dominated by P _m then the following assertions for the partial differential operators P(D) and P _m(D) are equivalent for N ∈ S ^n?1:

1. P(D) and/or P_m D)admit a continuous linear right inverse on C ^∞(H ₊(N)).
2. P(D) admits a continuous linear right inverse on C ^∞ (? ⁿ ) and a fundamental solution E ∈ C ^∞(?ⁿ) satisfying Supp $E \subset \overline {H - (N)} $

where H ₊(N) := {x ∈ ? ⁿ :±(x,N) τ; 0}.     

The splitting of exact sequences of PLS-spaces and smooth dependence of solutions of linear partial differential equations

We investigate the splitting of short exact sequences of the form

0→X→Y→E→0,     

Optimal order results for a class of regularization methods using unbounded operators

A class of regularization methods using unbounded regularizing operators is considered for obtaining stable approximate solutions for ill-posed operator equations. With an a posteriori as well as an a priori parameter choice strategy, it is shown that the method yields the optimal order. Error estimates have also been obtained under stronger assumptions on the generalized solution. The results of the paper unify and simplify many of the results available in the literature. For example, the optimal results of the paper include, as particular cases for Tikhonov regularization, the main result of Mair (1994) with an a priori parameter choice, and a result of Nair (1999) with an a posteriori parameter choice. Thus the observations of Mair (1994) on Tikhonov regularization of ill-posed problems involving finitely and infinitely smoothing operators is applicable to various other regularization procedures as well. Subsequent results on error estimates include, as special cases, an optimal result of Vainikko (1987) and also some recent results of Tautenhahn (1996) in the setting of Hilbert scales.     

Strong solutions for differential equations in abstract spaces

Let (E,F) be a locally convex space. We denote the bounded elements of E by . In this paper, we prove that if B_Eb is relatively compact with respect to the F topology and f:I×E_b→E_b is a measurable family of F-continuous maps then for each x₀∈E_b there exists a norm-differentiable, (i.e. differentiable with respect to the ∥·∥_F norm) local solution to the initial valued problem u_t(t)=f(t,u(t)), u(t₀)=x₀. All of this machinery is developed to study the Lipschitz stability of a nonlinear differential equation involving the Hardy-Littlewood maximal operator.     

Smooth points in some spaces of bounded operators

We determine the smooth points of certain spaces of bounded operatorsL(X,Y), including the cases whereX andY arel ^p -orc ₀-direct sums of finite dimensional Banach spaces or subspaces of the latter enjoying the metric compact approximation property. We also remark that the operators not attaining their norm are nowhere dense inL(X,Y) wheneverK(X,Y) is anM-ideal inL(X,Y).     

Continuous spectrum for a class of nonhomogeneous differential operators

We study the boundary value problem in Ω, u = 0 on ∂Ω, where Ω is a bounded domain in with smooth boundary, λ is a positive real number, and the continuous functions p ₁, p ₂, and q satisfy 1 < p ₂(x) < q(x) < p ₁(x) < N and for any . The main result of this paper establishes the existence of two positive constants λ₀ and λ₁ with λ₀ ≤ λ₁ such that any is an eigenvalue, while any is not an eigenvalue of the above problem.     

The L p spectrum of Riemannian products

We prove that the L ^p spectrum of a Riemannian product M ₁×M ₂ coincides with the set theoretic sum of the L ^p spectra of M ₁ and M ₂ . Received: 13 June 2007