Expansion of the Heisenberg Integral Mean via Iterated Kohn Laplacians: A Pizzetti-type Formula

A generalization and some applications of the so-called Pizzetti's Formula (which expresses the integral mean of a smooth function over an Euclidean ball as a power series w.r.t. the radius of the ball, having the iterated of the ordinary Laplace operator as coefficients) is given for , the Kohn Laplace operator on the Heisenberg group. A formula expressing the n-th power of is also proved. In the case of the ordinary Laplace operator, by Pizzetti's formula, we prove in a simple way that the only nonnegative polyharmonic functions are polynomials.     

Zero sets of solutions to semilinear elliptic systems of first order

Consider a nontrivial smooth solution to a semilinear elliptic system of first order with smooth coefficients defined over an n-dimensional manifold. Assume the operator has the strong unique continuation property. We show that the zero set of the solution is contained in a countable union of smooth (n−2)-dimensional submanifolds. Hence it is countably (n−2)-rectifiable and its Hausdorff dimension is at most n−2. Moreover, it has locally finite (n−2)-dimensional Hausdorff measure. We show by example that every real number between 0 and n−2 actually occurs as the Hausdorff dimension (for a suitable choice of operator). We also derive results for scalar elliptic equations of second order. Oblatum 22-V-1998 & 26-III-1999 / Published online: 10 June 1999     

Decay of Singular Values of Power Series Kernels on the Sphere

In this article, we provide decay rates for singular values of compact integral operators generated by power series kernels on either the unit sphere or the closed unit ball in ?^m + 1, m ≥ 1 under decay assumptions on the coefficients in the expansion of the kernel. The results are illustrated in concrete examples, including an integral operator generated by a Gaussian kernel on the sphere.     

The convergence of padé approximants and the size of the power series coefficients

Let f be a power series ∑a_izⁱ with complex coefficients. The (n. n) Pade approximant to f is a rational function P/Q where P and Q are polynomials, Q(z) ? 0, of degree ≦ n such that f(z)Q(z)-P(z) = Az²ⁿ⁺¹ + higher degree terms. It is proved that if the coefficients a_i satisfy a certain growth condition, then a corresponding subsequence of the sequence of (n, n) Pade approximants converges to f in the region where the power series f converges, except on an exceptional set E having a certain Hausdorff measure 0. It is also proved that the result is best possible in the sense that we may have divergence on E. In particular,there exists an entire function f such that the sequence of (ny n) Pade approximants diverges everywhere (except at 0)     

A note on a generalized form of the Laplacian and of sub-Laplacians

In this note we prove a recent conjecture of Hasson [11]: we show that, for a locally integrable function u, a sufficient condition to be harmonic is that $ \lim\limits_{r\to 0^+} r^{-2}(M_{r}u-u) = 0 $ in the weak sense of distributions (M _r being the averaging operator on balls of radius r). We also extend this and other results to the setting of sub-Laplacians on Carnot groups.Investigation supported by University of Bologna. Funds for selected research topics.     

Heat kernel expansions on the integers and the Toda lattice hierarchy

We consider the heat equation u _t = Lu where L is a second-order difference operator in a discrete variable n. The fundamental solution has an expansion in terms of the Bessel functions of imaginary argument. The coefficients α _k (n, m) in this expansion are analogs of Hadamard’s coefficients for the (continuous) Schr?dinger operator. We derive an explicit formula for α _k in terms of the wave and the adjoint wave functions of the Toda lattice hierarchy. As a first application of this result, we prove that the values of these coefficients on the diagonals n = m and n = m + 1 define a hierarchy of differential-difference equations which is equivalent to the Toda lattice hierarchy. Using this fact and the correspondence between commutative rings of difference operators and algebraic curves we show that the fundamental solution can be summed up, giving a finite formula involving only two Bessel functions with polynomial coefficients in the time variable t, if and only if the operator L belongs to the family of bispectral operators constructed in [18].      

Fully nonlinear elliptic equations and the dini condition

Abstract

We investigate transmission problems with strongly Lipschitz interfaces for the Dirac equation by establishing spectral estimates on an associated boundary singular integral operator, the rotation operator. Using Rellich estimates we obtain angular spectral estimates on both the essential and full spectrum for general bi-oblique transmission problems. Specializing to the normal transmission problem, we investigate transmission problems for Maxwell's equations using a nilpotent exterior/interior derivativeoperator. The fundamental commutation properties for this operator with the two basic reflection operators are proved. We show how the L ₂spectral estimates are inherited for the domain of the exterior/interior derivative operator and prove some complementary eigenvalue estimates. Finally we use a general algebraic theorem to prove a regularity property needed for Maxwell's equations.     

A Fredholm determinant formula for Toeplitz determinants

We prove a formula expressing a generaln byn Toeplitz determinant as a Fredholm determinant of an operator 1 –K acting onl ₂ (n,n+1,...), where the kernelK admits an integral representation in terms of the symbol of the original Toeplitz matrix. The proof is based on the results of one of the authors, see [14], and a formula due to Gessel which expands any Toeplitz determinant into a series of Schur functions. We also consider 3 examples where the kernel involves the Gauss hypergeometric function and its degenerations.     

Matrix-valued Schrödinger operators over local fields

We consider quantum systems that have as their configuration spaces finite dimensional vector spaces over local fields. The quantum Hilbert space is taken to be a space with complex coefficients and we include in our model particles with internal symmetry. The Hamiltonian operator is a pseudo-differential operator that is initially only formally defined. For a wide class of potentials we prove that this Hamiltonian is well-defined as an unbounded self-adjoint operator. The free part of the operator gives rise to ameasure on the Skorokhod space of paths,D[0,∞), and with respect to this measure there is a path integral representation for the semigroup associated to the Hamiltonian. We prove this Feynman-Kac formula in the local field setting as a consequence of the Hille-Yosida theory of semi-groups. The text was submitted by the authors in English.     

Mapping properties of the heat operator on edge manifolds

We consider the heat operator acting on differential forms on spaces with complete and incomplete edge metrics. In the latter case we study the heat operator of the Hodge Laplacian with algebraic boundary conditions at the edge singularity. We establish the mapping properties of the heat operator, recovering and extending the classical results from smooth manifolds and conical spaces. The estimates, together with strong continuity of the heat operator, yield short‐time existence of solutions to certain semilinear parabolic equations. Our discussion reviews and generalizes earlier work by Jeffres and Loya.     

Spectral asymptotics of periodic elliptic operators

We demonstrate that the structure of complex second-order strongly elliptic operators H on with coefficients invariant under translation by can be analyzed through decomposition in terms of versions , , of H with z-periodic boundary conditions acting on where . If the s emigroup S generated by H has a H?lder continuous integral kernel satisfying Gaussian bounds then the semigroups generated by the have kernels with similar properties and extends to a function on which is analytic with respect to the trace norm. The sequence of semigroups obtained by rescaling the coefficients of by converges in trace norm to the semigroup generated by the homogenization of . These convergence properties allow asymptotic analysis of the spectrum of H. Received September 1, 1998; in final form January 14, 1999     

On the coupled BEM and FEM for a nonlinear exterior Dirichlet problem in R2

Summary In this paper we apply the coupling of boundary integral and finite element methods to solve a nonlinear exterior Dirichlet problem in the plane. Specifically, the boundary value problem consists of a nonlinear second order elliptic equation in divergence form in a bounded inner region, and the Laplace equation in the corresponding unbounded exterior region, in addition to appropriate boundary and transmission conditions. The main feature of the coupling method utilized here consists in the reduction of the nonlinear exterior boundary value problem to an equivalent monotone operator equation. We provide sufficient conditions for the coefficients of the nonlinear elliptic equation from which existence, uniqueness and approximation results are established. Then, we consider the case where the corresponding operator is strongly monotone and Lipschitz-continuous, and derive asymptotic error estimates for a boundary-finite element solution. We prove the unique solvability of the discrete operator equations, and based on a Strang type abstract error estimate, we show the strong convergence of the approximated solutions. Moreover, under additional regularity assumptions on the solution of the continous operator equation, the asymptotic rate of convergenceO (h) is obtained.The first author's research was partly supported by the U.S. Army Research Office through the Mathematical Science Institute of Cornell University, by the Universidad de Concepción through the Facultad de Ciencias, Dirección de Investigación and Vicerretoria, and by FONDECYT-Chile through Project 91-386.     

Isoperimetric inequalities,Wulff shape and related questions for strongly nonlinear elliptic operators

We investigate the first eigenvalue of a highly nonlinear class of elliptic operators which includes the p--Laplace operator $\Delta_p u=\sum_i {{\partial}\over{\partial x_i}} (\vert\nabla u \vert^{p-2}{{\partial u}\over{\partial x_i}})$, the pseudo-p-Laplace operator $\tilde\Delta_p u=\sum_i {{\partial}\over{\partial x_i}} (\vert {{\partial u}\over{\partial x_i}} \vert^{p-2} {{\partial u}\over{\partial x_i}})$ and others. We derive the positivity of the first eingefunction, simlicity of the first eigenvalue, Faber-Krahn and Payne-Rayner type inequalities. In another chapter we address the question of symmetry for positive solutions to more general equations. Using a Pohozaev-type inequality and isoperimetric inequalities as well as convex rearrangement methods we generalize a symmetry result of Kesavan and Pacella. Our optimal domains are level sets of a convex function H ^o. They have the so-called Wulff shape associated with H and only in special cases they are Euclidean balls.     

Mean Ergodicity and Mean Stability of Regularized Solution Families

We prove general theorems on mean ergodicity and mean stability of regularized solution families with respect to fairly general summability methods. They can be applied to integrated solution families, integrated semigroups and cosine functions. In particular, through applications with modified Cesàro, Abel, Gauss, and Gamma like summability methods we deduce particular results on mean ergodicity and mean stability of polynomially bounded C₀-semigroups and cosine operator functions.     

Matrix methods for wave equations

In analogy to a characterisation of operator matrices generating C₀-semigroups due to R. Nagel ([13]), we give conditions on its entries in order that a 2×2 operator matrix generates a cosine operator function. We apply this to systems of wave equations, to second order initial-boundary value problems, and to overdamped wave equations.     

Parabolic equations with BMO coefficients in Lipschitz domains

In this paper, we are concerned with certain natural Sobolev-type estimates for weak solutions of inhomogeneous problems for second-order parabolic equations in divergence form. The geometric setting is that of time-independent cylinders having a space intersection assumed to be locally given by graphs with small Lipschitz coefficients, the constants of the operator being uniformly parabolic. We prove the relevant L^p estimates, assuming that the coefficients are in parabolic bounded mean oscillation (BMO) and that their parabolic BMO semi-norms are small enough.     

Motivic Serre invariants of curves

In this article, we generalize the theory of motivic integration on formal schemes topologically of finite type and the notion of motivic Serre invariant, to a relative point of view. We compute the relative motivic Serre invariant for curves defined over the field of fractions of a complete discrete valuation ring R of equicharacteristic zero. One aim of this study is to understand the behavior of motivic Serre invariants under ramified extension of the ring R. Thanks to our constructions, we obtain, in particular, an expression for the generating power series, whose coefficients are the motivic Serre invariant associated to a curve, computed on a tower of ramified extensions of R. We give an interpretation of this series in terms of the motivic zeta function of Denef and Loeser.     

A non-local regularization of first order Hamilton-Jacobi equations

In this paper, we investigate the regularizing effect of a non-local operator on first-order Hamilton-Jacobi equations. We prove that there exists a unique solution that is C² in space and C¹ in time. In order to do so, we combine viscosity solution techniques and Green's function techniques. Viscosity solution theory provides the existence of a W^1,∞ solution as well as uniqueness and stability results. A Duhamel's integral representation of the equation involving the Green's function permits to prove further regularity. We also state the existence of C^∞ solutions (in space and time) under suitable assumptions on the Hamiltonian. We finally give an error estimate in L^∞ norm between the viscosity solution of the pure Hamilton-Jacobi equation and the solution of the integro-differential equation with a vanishing non-local part.     

Chromatic polynomial, q-binomial counting and colored Jones function

We define a q-chromatic function and q-dichromate on graphs and compare it with existing graph functions. Then we study in more detail the class of general chordal graphs. This is partly motivated by the graph isomorphism problem. Finally we relate the q-chromatic function to the colored Jones function of knots. This leads to a curious expression of the colored Jones function of a knot diagram K as a chromatic operator applied to a power series whose coefficients are linear combinations of long chord diagrams. Chromatic operators are directly related to weight systems by the work of Chmutov, Duzhin, Lando and Noble, Welsh.