main-content

## Über dieses Buch

In recent years there has been a great deal of activity in both the theoretical and applied aspects of partial differential equations, with emphasis on realistic engineering applications, which usually involve lack of smoothness. On March 21-25, 1990, the University of Chicago hosted a workshop that brought together approximately fortyfive experts in theoretical and applied aspects of these subjects. The workshop was a vehicle for summarizing the current status of research in these areas, and for defining new directions for future progress - this volume contains articles from participants of the workshop.

## Inhaltsverzeichnis

### Weakly Elliptic Systems with Obstacle Constraints Part I — A 2 × 2 Model Problem

Abstract
This note is intended to be the first in a series of papers treating linear elliptic systems of partial differential operators subject to obstacle type constraints. There is a large literature concerning solutions to linear and nonlinear elliptic systems of partial differential equations, but there seems to be much less work devoted exclusively to the understanding of solutions to such systems when they are subject to constraints. These constrained systems often take the form of a system of variational inequalities. Such problems have been treated, for example in [F1] and [HW] at least for strongly elliptic, i.e. Legendre-Hadamard elliptic, systems of variational inequalities. In this note we want to begin a study of a broader class of such systems, what we shall refer to as weakly elliptic systems — elliptic in the standard sense that the characteristic form of the principal part has no real zeros. One very important feature of this larger class is that the solution vector(s) can not in general, have the same degree of regularity in each component direction, as is generally the case for strongly elliptic systems. And as is generally well understood, solutions to variational inequalities only inherit a very limited amount of regularity from the data. For weakly elliptic linear systems, this inherited regularity is intimately tied up with certain algebraic structure considerations, considerations that do not appear when the obstacle constraints are removed.

### Some Remarks on Widder’s Theorem and Uniqueness of Isolated Singularities for Parabolic Equations

Abstract
An elementary proof is given of Widder’s Theorem and of the uniqueness of isolated singularities for parabolic differential equations Lu = u t. It applies equally well to operators L that are Holder continuous, in divergence form, or of Hörmander type.
A. Ancona, J. C. Taylor

### Generalized Derivatives

Abstract
Generalized differential operators are ones which agree with differential operators when applied to sufficiently smooth functions but have special symmetry properties which allow them to be defined on less smooth functions. Such operators were used by Cantor [4] in his proof of the uniqueness of representation by trigonometric series and have been an integral part of all extensions of Cantor’s theorem to higher dimensions.
J. Marshall Ash, Jonathan Cohen, Chris Freiling, A. E. Gatto, Dan Rinne

### On Null Sets of P-Harmonic Measures

Abstract
In a Lipschitz domain Ω ⊂ R n, associated to the p-Laplace equation
$$\text{div}(\left\vert\bigtriangledown_u\right\vert^{p-2}\bigtriangledown_u)=0$$
one can define a notion of p-harmonic measure on subsets E ⊂ ∂Ω by solving the Dirichlet problem for (1) with boundary values χE. Denote by w p(x; E) the p-harmbnic function with boundary values 1 on E and 0 on ∂Ω\E. In the linear case p = 2 for each x ∈ Ω we do obtain a Borei measure on ∂Ω. This is no longer true in the nonlinear case p ≠ 2. Yet the monotonicity properties of classical harmonic measures extend to their nonlinear counterparts. Many applications of this principle are in [GLM], [HM].
Patricio Avilés, Juan J. Manfredi

### Lifetime and Heat Kernel Estimates in Non-Smooth Domains

Abstract
Let D be a domain in R n, n ≥ 2, and let B t be Brownian motion in D with lifetime τD. The transition probabilities for this motion are given by the Dirichlet heat kernel P t D(x, y) for $$\frac{1}{2}\Delta$$ in D. If h is a positive harmonic function in D the Doob h-process, the Brownian motion conditioned by h, is determined by the following transition functions:
$$P_t^h(x,y) = \frac{1}{h(x)}P_t^D(x,y)h(y)$$
.
Rodrigo Bañuelos

### On the Poisson Kernel for Nondivergence Elliptic Equations with Continuous Coefficients

Abstract
Let us consider the class of elliptic equations
$$Lu(x)=\sum_{i,j=1}^{n}a_{ij}(x)u_{x_ix_j} + \sum_{i=1}^{n}b_i(x)u_{x_i} + c(x)u$$
(1)
defined on a bounded C 2 domain D in R n.
Tomeu Barcelo

### Some Questions Concerning Harmonic Measure

Abstract
The purpose of this note is to discuss some conjectures concerning harmonic measure. We will start by considering harmonic measure on a simply connected plane domain Ω, but eventually we will also consider some multiply connected and higher dimensional domains. Most of these questions are trivial if ∂Ω has tangents a.e. and many are easy if Ω is only a quasicircle. Thus they are really questions about very non-smooth domains.
Christopher J. Bishop

### The Trace of the Heat Kernel in Domains with Nonsmooth Boundaries

Abstract
In this note, I would like to describe some recent work that considers the relationship between the smoothness of the boundary of a domain in R n and the spectral properties of the Laplacian in the domain.
Russell M. Brown

### A Note on L p Estimates for Parabolic Systems in Lipschitz Cylinders

Abstract
Let Ω be a bounded Lipschitz domain in R n. Consider the parabolic system
$$\frac{\partial\vec{u}}{\partial t} = \mu\Delta \vec{u} + (\lambda +\mu)\bigtriangledown (\text{div}\vec{u}) \ \ \text{in} \ \ \Omega_T = \Omega \times(0,T)$$
(1)
where 0<T<∞, μ > 0 and λ < −2μ/n are constants.
Russell M. Brown, Zhongwei Shen

### Intrinsic Ultracontractivity and Probability

Abstract
Let $$p_t^D(x,y) = p_t(x,y)$$ be the Dirichlet heat kernel for $$\frac{1}{2}\Delta$$ in a domain DR n, n ≥ 2. In [4] E.B. Davies and B. Simon define the semigroup connected with the Dirichlet Laplacian to be intrinsically ultracontractive if there is a positive (in D) eigenfunction φ 0 for $$\frac{1}{2}\Delta$$ in D and if for each t > 0 there are positive constants c t, Ct depending only on D and t such that
$${c_{t}}{\phi _{0}}(x){\phi _{0}}(y) < {p_{t}}(x,y) < {C_{t}}{\phi _{0}}(x){\phi _{0}}(y),x,y \in D$$
(1)
.
Burgess Davis

### Uniqueness in the Dirichlet Problem for Time Independent Elliptic Operators

Abstract
Uniqueness is proved for the Dirichlet problem associated to a second order non-divergence form elliptic operator whose coefficients are independent of one direction and have discontinuities along a countable set of lines which are parallel to the given direction and accumulate around a single line.
Luis Escauriaza

### The Spectral Radius of the Classical Layer Potentials on Convex Domains

Abstract
Let D denote a bounded Lipschitz domain in R n. For almost every (with respect to surface measure )Q∂D the exterior normal N Q at Q exists. The solution u to the Dirichlet problem,
$$\Delta u = 0 \text{ i}n \ \ D, \ \ u \vert_{\partial D} = g$$
, with g ∈ L 2(∂D,dσ) can be represented in the form of the classical double layer potential
$$u(X) = \frac{1}{\omega_n} \int\limits_{\partial D} \frac{N_Q\circ(Q - X)}{\left\vert X - Q \right\vert^n}[((1/2)I + K)^{-1}g](Q)d\sigma(Q)$$
.
Eugene Fabes, Mark Sand, Jin Keun Seo

### Unique Continuation for Degenerate Elliptic Equations

Abstract
A famous result, first proved in ℝ2 by Carleman [C] in 1939, states that if $$V \in L_{\text{loc}}^{\infty}(\mathbb{R}^N)$$ and u is a solution to Δu = Vu in a connected open set $$D \subset \mathbb{R}^N$$, then u cannot vanish to infinite order at a point x 0D unless u ≡ 0 in D. We are interested in analogous results when the (elliptic) Laplacian in ℝN is replaced by a subelliptic operator of the type
$$\mathcal{L} = \sum_{j=1}^{N-1}X_j^2$$
(1.1)
, where X 1,…, X N −1 are smooth vector fields satisfying Hörmander’s condition for hypoellipticity [H]:
$$\text{rank Lie} [X_1,\cdots, X_{N-1}] = N \text{ at every point}$$
.
Nicola Garofalo

### Sharp Estimates for Harmonic Measure in Convex Domains

Abstract
In this note we will prove estimates for harmonic measure in convex and convex C 1 domains. It is not hard to show that in a convex domain, surface measure belongs to the Muckenhoupt class A 1 with respect to harmonic measure (Lemma 3). If the boundary of the domain is also of class C 1, then it follows from [JK1] that the constant in the A 1 condition tends to 1 as the radius of the ball tends to 0 (Lemma 7′). Our main estimates (Theorems A and B) are of the same type. The novelty is that they are not calculated with respect to balls, but rather with respect to “slices” formed by the intersection of the boundary with an arbitrary half-space. In addition to proving Theorems A and B we will also explain how these estimates are related to an approach to regularity for the Monge-Ampère equation due to L. Caffarelli and to a problem of prescribing harmonic measure as a function of the unit normal.
David Jerison

### On the Positive Solutions of the Free-Boundary Problem for Emden-Fowler Type Equations

Abstract
Let Ω be a smooth, bounded and connected domain in R n. In this paper, we consider the following boundary value problem:
$$\left\{ \begin{gathered} \Delta u + f\left( u \right) = 0 in \Omega , \hfill \\ u > 0 in \Omega , \hfill \\ u = \tfrac{{\partial u}}{{\partial n}} = 0 on \partial \Omega . \hfill \\ \end{gathered} \right.$$
(1.1)
.
Hans G. Kaper, Man Kam Kwong, Yi Li

### Absolute Continuity of Parabolic Measure

Abstract
Let ℝ be the real numbers and if E $$\subseteq$$ ℝ, let Ē,∂E, |E|, denote the closure, boundary, and outer Lebesgue measure of E, respectively.
John L. Lewis, Margaret Murray

### Some Inequalities for the Density of the Area Integral

Abstract
Let X t be a continuous martingale starting at 0 and set $$X^\ast = \text{sup}\{\left\vert X_t \right\vert : t > 0 \}$$ and $$S(X) = \sqrt{\left\langle X \right\rangle_\infty}$$, where 〈Xtis the quadratic variation process at time t. We then define a measure μ on ℝ by $$\mu(E) = d\left\langle X \right\rangle_t (\{t : X_t \in E\})$$, where $$d\left\langle X \right\rangle_t$$ is the Riemann-Stieltjes measure on 0,∞) associated to the nondecreasing function 〈Xt. It is known that μ is absolutely continuous with respect to Lebesgue measure so that there exists a function L(a), (called the local time), so that $$\mu(E) = \int_E L(a)da$$ for every Borel set E. More generally, for any Borel function f on ℝ:
$$\int_0^\infty f(X_t)d\left\langle X \right\rangle_t = \int_\mathbb{R} f(a)L(a)da$$
(1.1)
Take f = 1 in (1.1) and we obtain:
$$S(X)^2 = \int_\mathbb{R}L(a)da = \int_{-X^\ast}^{X^\ast}L(a)da$$
(1.2)
where the last equality follows by noting that $$L(a) = 0 \text{ if} a \notin [-X^\ast, X^\ast]$$. We now set $$L^\ast = \text{sup}\{L(a) : a \in \mathbb{R}\}$$; L* is called the maximal local time. Then (1.2) trivially yields $$S(X)^2\leq 2L^\ast X^\ast$$, and this, the Cauchy-Schwarz inequality, and the Burkholder-Gundy inequality: $$\left \Vert S(X) \right \Vert_p\approx \left \Vert X^\ast \right \Vert_p for\ 0< p< \infty$$, then gives $$\left \Vert S(X) \right \Vert_p\leq C_p\left \Vert L\ast \right \Vert_p \text{ for} 0 < p < \infty$$. The reverse inequality is more difficult and was shown by Barlow and Yor [4], [5]. In fact, even more is true. The following theorem is essentially to Bass [6] and independently, Davis [12], however, their statements of these results are different than appears here, but a careful analysis of their methods yields these results.
Charles N. Moore

### Restriction Theorems and the Schrödinger Multiplier on the Torus

Abstract
Restriction theorems for Fourier integrals and series are proven. In the continuous case, a mixed norm inequality for the restriction of the Fourier transform to the sphere is given. On the other hand a discrete version of a result by R.S. Strichartz [10] is found.
Luis Vega

### Numerical Analysis on Non-Smooth Problems: Some Examples

Abstract
In a partial differential equation roughness in the solution may be caused in various ways, such as by
i)
a rough right hand side,

ii)
a rough boundary,

iii)
rough initial data. We shall briefly describe two examples from numerical analysis showing that:

Example A) In a linear Poisson problem, roughness introduced by i) or ii) leads to dramatically different behavior in numerical solutions.
Example B) Although for linear and semilinear parabolic problems, in the case of iii) (all other “data” being smooth) there is “no difference” in the sense that the solution is smooth for (some) positive time, in numerical analysis the linear and semilinear problem are miles apart.
While the main point of Example A was “computational folklore” for many years before it was fully proven in 1984, the punchline of Example B was totally unexpected at the time of its discovery in 1987.
More details, and more examples of rough stuff in the numerical analysis of partial differential equations, e.g., in singularly perturbed problems, can be found in WAHLBIN [7].
Lars B. Wahlbin
Weitere Informationen