Construction of Local Elementary Solutions for Linear Partial Differential Operators with Real Analytic Coefficients (I)

We consider the Fuchsian linear differential equation obtained (modulo a prime) for , the five-particle contribution to the susceptibility of the square lattice Ising model. We show that one can understand the factorization of the corresponding linear differential operator from calculations using just a single prime. A particular linear combination of and can be removed from and the resulting series is annihilated by a high order globally nilpotent linear ODE. The corresponding (minimal order) linear differential operator, of order 29, splits into factors of small orders. A fifth-order linear differential operator occurs as the left-most factor of the ‘depleted’ differential operator and it is shown to be equivalent to the symmetric fourth power of LE, the linear differential operator corresponding to the elliptic integral E. This result generalizes what we have found for the lower order terms and . We conjecture that a linear differential operator equivalent to a symmetric (n − 1) th power of LE occurs as a left-most factor in the minimal order linear differential operators for all 's.

On contact manifolds we describe a notion of (contact) finite-type for linear partial differential operators satisfying a natural condition on their leading terms. A large class of linear differential operators are of finite-type in this sense but are not well understood by currently available techniques. We resolve this in the following sense. For any such D we construct a partial connection r H on a (finite rank) vector bundle with the property that sections in the null space of D correspond bijectively, and via an explicit map, with sections parallel for the partial connection. It follows that the solution space of D is finite dimensional and bounded by the corank of the holonomy algebra of r H. The treatment is via a uniform procedure, even though in most cases no normal Cartan connection is available. The prolongations of a k th order linear differential operator between vector bundles arise by differentiating the given operator D : E ! F, and forming a new system comprising D along with auxiliary operators that capture some of this derived data. To exploit this effectively it is crucial to determine what part of this information should be retained, and then how best to manage it. With this understood, for many classes of operators the resulting prolonged operator can expose key properties of the original differential operator and its equation. Motivated by questions related to integrability and deformations of structure, a theory of overdetermined equations and prolonged systems was developed during the 1950s and 1960s by Goldschmidt, Spencer, and others (2, 17). Generally, results in these works are derived abstractly using jet bundle theory, and are severely restricted in the sense that they apply most readily to differential operators satisfying involutivity conditions. These features mean the theory can be difficult to apply. In the case that the given partial differential operator D : E ! F, has surjective symbol there is an effective algorithmic approach to this problem. The prolongations are constructed from the leading symbol �(D) : J k � 1 E ! F, where J k � 1 is the bundle of symmetric covariant tensors on M of rank k. At a point of M, denoting by K the kernel of �(D), the spaces K ` = ( J ` � 1 K) ( J k+` � 1 E), `� 0, capture spaces of new variables to be introduced, and the system closes up if K ` = 0 for

This article is a sequel to the earlier articles, which describe the invertible ordinary differential operators and their generalizations. The generalizations are invertible mappings of filtered modules generated by one differentiation, and are called invertible D-operators. In particular, invertible ordinary linear differential operators, invertible linear difference operators with periodic coefficients, maps defined by unimodular matrices, and C-transformations of control systems are invertible D-operators. C-Transformations are those invertible transformations for which the variables of one system are expressed in terms of the variables of the other system and their derivatives.In the article we consider the invertible D-operators whose inverses are D-operators of the same type. In previous papers, a classification of invertible D-operators was obtained. Namely, a table of integers was associated to each invertible D-operator. These tables were described in a clear elementary-geometric language. Thus, to each invertible D-operator one assigns an elementary-geometric model, which is called a d-scheme of squares. The class of invertible D-operators having the same d-scheme was also described. In this paper, the invertible D-operators whose d-schemes consist of a single square are called unicellular. It is proved that any unicellular operator in some bases is given by an upper triangular matrix that differs from the identity matrix only by the first row. The main result is representation of the arbitrary invertible D-operator as a composition of unicellular operators. The minimum number of unicellular operators in such a composition is equal to the number of squares of the d-scheme of the original D-operator. As in previous papers, the used method is based on the description of d-schemes in the language of spectral sequences of algebraic complexes.The results obtained can be useful in the transformation and classification of control systems, in particular to describe flat systems.

Euler type partial differential operators on real analytic functions

Linear perturbations of differential of difference operators with polynomials as eigenfunctions

An analogue of the irreducibility is developed for linear differential operators, or, more generally, noncommutative polynomials, and is applied to a few simple examples. Introduction. The question of the irreducibility of an ordinary linear differential operator is of interest in the Picard-Vessiot theory (see Kolchin [1, ?22]). Indeed, the operator is irreducible if and only if the Galois group is linearly irreducible. In this note we develop an Eisenstein criterion to help answer this question. Because a linear differential operator is a special type of noncommutative polynomial, it is more natural to phrase the result in this more general context. The result, and indeed the proof with only slight changes in notation, is valid for partial differential operators, or more generally, noncommutative polynomials in several variables. Because the hypothesis that the ring be principal is unnatural in this setting, and because the reader may make the necessary changes if he so desires, we confine our attention to the ordinary case. 1. The irreducibility criterion. By a differential ring M we shall mean a ring (associative, commutative, with unit) together with two commuting operators a and 3 such that a is an automorphism of R, 3 is additive, and 6(ab)=aa3b+6a.b for every a, b in S. 1[6] will denote the noncommutative ring of differential operators with coefficients in R, so that 1[6] is the set of 0 ai6i, with ai E $, n E N, and right multiplication is defined by 6 * a-=oa * + 3a. Evidently if or=id, then W is an ordinary differential ring with derivation operator 6. By a differential ideal of R we mean an ideal which is closed under the two operators a and 6. The smallest differential ideal which contains the set Ec$S is denoted by [2]. Received by the editors October 7, 1971. AMS 1970 subject classifications. Primary 12H05, 12E05; Secondary 13B25, 16A02.

We describe the spectrum of linear difference and differential operators with unbounded operator coefficients in weight spaces.

We use transfinite induction to show that if L is an epimorphism of a vector space V and maps a vector subspace W of V into a proper subspace of itself, then there is a smallest subspace E of V containing W such that L(E) E (or a minimal space of surjectivity or solvability) and we give examples where there are infinitely many distinct minimal spaces of solvability. We produce an example showing that if L 1 and L 2 are two epimorphisms of a vector space V which are endomorphisms of a proper subspace W of V such that LI(W) n L2(W is a proper subspace of W, then there may not exist a smallest subspace E of V containing W such that LI(E) E L2(E). While no nonconstant linear partial differential operator maps the field of meromorphic functions onto itself, we construct a locally convex topological vector space of formal power series containing the meromorphic functions such that every linear partial differential operator with constant coefficients maps this space linearly and continuously onto itself. Furthermore, we show that algebraically there is for every linear partial differential operator P(D) with constant coefficients a smallest extension E of the meromorphic functions in n complex variables, where

We consider nonlinear elliptic problems driven by a nonhomogeneous nonlinear differential operator. Using variational methods combined with Morse theory (critical groups), we prove two multiplicity results establishing three nontrivial smooth solutions. For the semilinear problem (linear differential operator), we produce four nontrivial smooth solutions. In the special case of the p-Laplacian differential operator, our framework of analysis incorporates equations which are resonant at infinity with respect to the principal eigenvalue.

It has been shown that, under suitable hypotheses, boundary value problems of the form, $Ly+\lambda y=f,$ $BC y =0$ where $L$ is a linear ordinary or partial differential operator and $BC$ denotes a linear boundary operator, then there exists $\Lambda >0$ such that $f\ge 0$ implies $\lambda y \ge 0$ for $\lambda\in [-\Lambda ,\Lambda ]\setminus\{0\},$ where $y$ is the unique solution of $Ly+\lambda y=f,$ $BC y =0$. So, the boundary value problem satisfies a maximum principle for $\lambda\in [-\Lambda ,0)$ and the boundary value problem satisfies an anti-maximum principle for $\lambda\in (0, \Lambda ]$. In an abstract result, we shall provide suitable hypotheses such that boundary value problems of the form, $D_{0}^{\alpha}y+\beta D_{0}^{\alpha -1}y=f,$ $BC y =0$ where $D_{0}^{\alpha}$ is a Riemann-Liouville fractional differentiable operator of order $\alpha$, $1<\alpha \le 2$, and $BC$ denotes a linear boundary operator, then there exists $\mathcal{B} >0$ such that $f\ge 0$ implies $\beta D_{0}^{\alpha -1}y \ge 0$ for $\beta \in [-\mathcal{B} ,\mathcal{B} ]\setminus\{0\},$ where $y$ is the unique solution of $D_{0}^{\alpha}y+\beta D_{0}^{\alpha -1}y =f,$ $BC y =0$. Two examples are provided in which the hypotheses of the abstract theorem are satisfied to obtain the sign property of $\beta D_{0}^{\alpha -1}y.$ The boundary conditions are chosen so that with further analysis a sign property of $\beta y$ is also obtained. One application of monotone methods is developed to illustrate the utility of the abstract result.

We describe continuous linear operators acting in a countable inductive limit of weighted Frchet spaces of entire functions of several complex variables and commuting in these spaces with systems of partial differentiation and translation operators. Under the made assumptions, the commutants of the systems of differentiation and translation operators coincide. They consist of convolution operators defined by an arbitrary continuous linear functional on . At that, we do not assume that the set of the polynomials is dense in . In the space topological dual to , we introduce the natural multiplication. Under this multiplication, the algebra is isomorphic to the aforementioned commutant with the usual multiplication, which is the composition of the operators. This isomorphism is also topological if is equipped by the weak topology, while the commutant is equipped by the weak operator topology. This implies that the set of the polynomials of the differentiation operators is dense in the commutant with topology of pointwise convergence. We also study the possibility of representing an operator in the commutant as an infinite order differential operator with constant coefficients. We prove the immediate continuity of linear operators commuting with all differentiation operators in a weighted (LF)-space of entire functions isomorphic via Fourier-Laplace transform to the space of infinitely differentiable functions compactly supported in a real multi-dimensional space.

The purpose of this paper is to present a way of explicit construction of local elementary solutions for Cauchy problems for a class of hyperbolic linear differential operators with multiple characteristics.We also investigate their singularity structure microlocally.The class we deal with in this article is a subclass dealt with by Kashiwara-Kawai [1] and our results can be derived from the very general and precise results given in §6 of Kashiwara-Kawai [1].(See Miwa [1] for related topics.)However, the argument of Kashiwara -Kawai [1] is highly transcendental in its nature, and ?hence 3 we cannot expect that their results could be a guidepost for the "Structure Theorem" for general systems of micro-differential ( = pseudodifferential) equations in the multiple characteristic case, which is originally obtained in Sato-Kawai-Kashiwara [1] ( * } in the simple-characteristic case ( ** } .To the contrary, our results in this article are, though restricted, tied up with the recent results of Nakamura [1] and Hamada-Nakamura [1] whose arguments are constructive in the sense that the coefficients of the expansion used there are determined successively in an explicit manner.Thus, we hope our argument and results in this article will serve as a starting point for the investigation of "Structure Theorem" for general systems with multiple

This work deals with some classes of linear second order partial differential operators with non-negative characteristic form and underlying non- Euclidean structures. These structures are determined by families of locally Lipschitz-continuous vector fields in RN, generating metric spaces of Carnot- Carath´eodory type. The Carnot-Carath´eodory metric related to a family {Xj}j=1,...,m is the control distance obtained by minimizing the time needed to go from two points along piecewise trajectories of vector fields. We are mainly interested in the causes in which a Sobolev-type inequality holds with respect to the X-gradient, and/or the X-control distance is Doubling with respect to the Lebesgue measure in RN. This study is divided into three parts (each corresponding to a chapter), and the subject of each one is a class of operators that includes the class of the subsequent one. In the first chapter, after recalling “X-ellipticity” and related concepts introduced by Kogoj and Lanconelli in [KL00], we show a Maximum Principle for linear second order differential operators for which we only assume a Sobolev-type inequality together with a lower terms summability. Adding some crucial hypotheses on measure and on vector fields (Doubling property and Poincar´e inequality), we will be able to obtain some Liouville-type results. This chapter is based on the paper [GL03] by Guti´errez and Lanconelli. In the second chapter we treat some ultraparabolic equations on Lie groups. In this case RN is the support of a Lie group, and moreover we require that vector fields satisfy left invariance. After recalling some results of Cinti [Cin07] about this class of operators and associated potential theory, we prove a scalar convexity for mean-value operators of L-subharmonic functions, where L is our differential operator. In the third chapter we prove a necessary and sufficient condition of regularity, for boundary points, for Dirichlet problem on an open subset of RN related to sub-Laplacian. On a Carnot group we give the essential background for this type of operator, and introduce the notion of “quasi-boundedness”. Then we show the strict relationship between this notion, the fundamental solution of the given operator, and the regularity of the boundary points.

A test in terms of invariants for the existence of a factorization of a bivariate, non-hyperbolic third-order Linear Partial Differential Operator (LPDO) which has a given factorization of its principal symbol is found. The invariants that are used are with respect to known gauge transformations, which is together with constructive factorization itself are essentially involved in modern exact integration algorithms. The invariants, and even a generating system of those were found in previous paper using Moving Frames methods. In order to find the expressions in terms of invariants that guarantee the existence of a factorization of a certain type, we show that the operation of taking the formal adjoint can be also defined in terms of invariants, that is for equivalence classes of LPDOs, and explicit formulae defining this operation in the space invariants are obtained. The operation of formal adjoint is highly interesting for factorization of LPDOs for if the initial operator has a factorization, its adjoint has also one, and they are related. (informally, the factorization types are symmetric).

abstract: We establish results on unique continuation at the boundary for the solutions of elliptic, partial differential operators of any order with real analytic coefficients. The second order case settles a conjecture of M. S. Baouendi and L. P. Rothschild in (1993) and has new applications to boundary unique continuation for holomorphic functions of several variables. The work is motivated by the results of X. J. Huang and S. G. Krantz in (1993), X. J. Huang et al. in (1995), and M. S. Baouendi and L. P. Rothschild in (1993).