Large deviation principle for the diffusion-transmutation processes and dirichlet problem for PDE systems with small parameter

Summary The diffusion-transmutation processes are considered as the diffusivities are of order ,0 and the transmutation intensities are of order ^–1. We prove a large deviation principle for the position joint with the type occupation times as 0 and study the exit problem for this process. We consider the Levinson case where a trajectory of the average drift field exits from a domain in finite time in a regular way and the large deviation case where the average drift field on the boundary points inward at the domain. The exit place and the type distribution at the exit time are determined as 0; this gives the limit of the Dirichlet problems for the corresponding PDE systems with a parameter 0.Supported in part by ARO Grant DAAL03-92-G0219Supported in part by NSF DMS9207928     

The regularity problem for generalized harmonic maps into homogeneous spaces

Let be a Riemannian surface and be a standard sphere, or more generally a Riemannian manifold on which a Lie group,, acts transitively by isometries. We define generalized harmonic maps by extending the notion of weakly harmonic maps in a natural way (motivated by Noether's Theorem), to mapsu W _loc ^1,1 (, ). We prove that, under some slight technical restrictions, for 1 <-p < 2, there are generalized harmonic mapsu W ^1,p(, ) that are everywhere discontinuous (in particular, this solves an open problem proposed by F. Bethuel, H. Brezis and F. Hélein, in [BBH]). We also show that the natural -regularity condition for such maps is to require <u to belong to the Lorentz space L(2, ). To prove this -regularity result we extend a compensated compactness result of R. Coifman, P.-L. Lions, Y. Meyer and S. Semmes, proved in [CLMS], to the case of Lorentz spaces in duality.     

Asymptotic limit law for the close approach of two trajectories in expanding maps of the circle

Summary Given two pointsx, yS ¹ randomly chosen independently by a mixing absolutely continuous invariant measure of a piecewise expanding and smooth mapf of the circle, we consider for each >0 the point process obtained by recording the timesn>0 such that |f ⁿ (x)–f ⁿ (y)|. With the further assumption that the density of is bounded away from zero, we show that when tends to zero the above point process scaled by –1 converges in law to a marked Poisson point process with constant parameter measure. This parameter measure is given explicity by an average on the rate of expansion off.Partially supported by FAPESP grant number 90/3918-5     

On the approximation of singular integral equations by equations with smooth kernels

Singular integral equations with Cauchy kernel and piecewise-continuous matrix coefficients on open and closed smooth curves are replaced by integral equations with smooth kernels of the form(t–)[(t–) ²–n ² (t) ²]^–1,0, wheren(t), t , is a continuous field of unit vectors non-tangential to . we give necessary and sufficient conditions under which the approximating equations have unique solutions and these solutions converge to the solution of the original equation. For the scalar case and the spaceL ₂() these conditions coincide with the strong ellipticity of the given equation.This work was fulfilled during the first author's visit to the Weierstrass Institute for Applied Analysis and Stochastics, Berlin in October 1993.     

Singularly perturbed functional-differential inclusions

Differential inclusions of a retarded type with a small real parameter >0 in part of the derivatives are considered. We prove upper semicontinuity of the map set of solutions at =0⁺ inC[0, 1]×(L ²(0, 1)–weak) topology. In case of constant delay lower semicontinuity inC[0, 1]×(L ¹(0, 1)–strong) is shown.     

Boundary layers in parabolic perturbations of scalar conservation laws

We consider the problem of estimating the boundary layer thickness for vanishing viscosity solutions of boundary value problems for parabolic perturbations of a scalar conservation law in a space strip in R^d . For the boundary layer thickness () we obtain that one can take ()= ^r, for any r<1/2, arbitrarily close to 1/2.     

Estimates of the asphericity of sections of convex bodies

We define the function (n, k) to be the infimum of all such that any bounded centrally symmetric convex body inR ⁿ possesses an -asphericalk-dimensional central section. It is proved that (3, 2)=2–1 and (n, n-1)n-1-1. Several related functions are defined and their values on the pairs (n, n-1) are estimated.Translated from Ukrainskií Geometricheskií Sbornik, Issue 28, 1985, pp. 76–79.     

Large deviations for the invariant measure of a reaction-diffusion equation with non-Gaussian perturbations

Summary In this paper we establish a large deviations principle for the invariant measure of the non-Gaussian stochastic partial differential equation (SPDE) _t v =v +f(x,v )+(x,v ) . Here is a strongly-elliptic second-order operator with constant coefficients, h:=DH _xx-h, and the space variablex takes values on the unit circleS ¹. The functionsf and are of sufficient regularity to ensure existence and uniqueness of a solution of the stochastic PDE, and in particular we require that 0<mM wherem andM are some finite positive constants. The perturbationW is a Brownian sheet. It is well-known that under some simple assumptions, the solutionv ² is aC ^k (S ¹)-valued Markov process for each 0<1/2, whereC (S ¹) is the Banach space of real-valued continuous functions onS ¹ which are Hölder-continuous of exponent . We prove, under some further natural assumptions onf and which imply that the zero element ofC (S ¹) is a globally exponentially stable critical point of the unperturbed equation _t ⁰ = ⁰ +f(x,⁰), that has a unique stationary distributionv ^K, on (C (S ¹), (C ^K (S ¹))) when the perturbation parameter is small enough. Some further calculations show that as tends to zero,v ^K, tends tov ^K,0, the point mass centered on the zero element ofC (S ¹). The main goal of this paper is to show that in factv ^K, is governed by a large deviations principle (LDP). Our starting point in establishing the LDP forv ^K, is the LDP for the process , which has been shown in an earlier paper. Our methods of deriving the LDP forv ^K, based on the LDP for are slightly non-standard compared to the corresponding proofs for finite-dimensional stochastic differential equations, since the state spaceC (S ¹) is inherently infinite-dimensional.This work was performed while the author was with the Department of Mathematics, University of Maryland, College Park, MD 20742, USA     

Shift invariant spaces inL 2

If is a complex, separable Hilbert space, letL ² () denote theL ²-space of functions defined on the unit circle and having values in . The bilateral shift onL ²() is the operator (U f)()=f(). A Hilbert spaceH iscontractively contained in the Hilbert spaceK ifHK and the inclusion mapH–K is a contraction. We describe the structure of those Hilbert spaces, contractively contained inL ²(), that are carried into themselves contractively byU . We also do this for the subcase of those spaces which are carried into themselves unitarily byU .     

Chebyshev Solution of the Nearly-Singular One-Dimensional Helmholtz Equation and Related Singular Perturbation Equations: Multiple Scale Series and the Boundary Layer Rule-of-Thumb

The one-dimensional Helmholtz equation, ² u _xx –u=f(x), arises in many applications, often as a component of three-dimensional fluids codes. Unfortunately, it is difficult to solve for 1 because the homogeneous solutions are exp(±x/), which have boundary layers of thickness O(1/). By analyzing the asymptotic Chebyshev coefficients of exponentials, we rederive the Orszag–Israeli rule [16] that Chebyshev polynomials are needed to obtain an accuracy of 1% or better for the homogeneous solutions. (Interestingly, this is identical with the boundary layer rule-of-thumb in [5], which was derived for singular functions like tanh([x–1]/).) Two strategies for small are described. The first is the method of multiple scales, which is very general, and applies to variable coefficient differential equations, too. The second, when f(x) is a polynomial, is to compute an exact particular integral of the Helmholtz equation as a polynomial of the same degree in the form of a Chebyshev series by solving triangular pentadiagonal systems. This can be combined with the analytic homogeneous solutions to synthesize the general solution. However, the multiple scales method is more efficient than the Chebyshev algorithm when is very, very tiny.     

On Some Isomorphism on the Category of b-Spaces

Given a nuclear b-space N, we show that if is a finite or -finite measure space and 1p, then the functors L _loc ^p (,N.) and NL ^p (,.) are isomorphic on the category of b-spaces of L. Waelbroeck.     

Uniqueness of kernel functions of the heat equation

We consider the heat equation on ={(x,t) R ²;t<0, ¦x¦<(–t)} and give the uniqueness of kernel functions at the infinity (see Theorem 5). For the proof, we examine the continuity of the density of the parabolic measure onD ={(x,t);t>x}, closely related to . By this theorem, we can decide the Martin boundary of (<1) with respect to the heat equation.     

Large-time behavior of perturbed diffusion markov processes with applications to the second eigenvalue problem for fokker-planck operators and simulated annealing

We study the large-time behavior and rate of convergence to the invariant measures of the processes dX (t)=b(X) (t)) dt + (X (t)) dB(t). A crucial constant appears naturally in our study. Heuristically, when the time is of the order exp( – )/² , the transition density has a good lower bound and when the process has run for about exp( – )/², it is very close to the invariant measure. LetL =(²/2) – U · be a second-order differential operator on ^d. Under suitable conditions,L ^z has the discrete spectrum

Sharp Large Deviation Estimates for the Stochastic Heat Equation

We consider the family {X , 0} of solution to the heat equation on [0,T]×[0,1] perturbed by a small space-time white noise, that is _t X = X +b({X })+({X }) . Then, for a large class of Borelian subsets of the continuous functions on [0,T]×[0,1], we get an asymptotic expansion of P({X }A) as 0. This kind of expansion has been handled for several stochastic systems, ranging from Wiener integrals to diffusion processes.     

How to approximate the solutions of certain free boundary problems for the Laplace equation by using the contraction principle

We show how the free boundary of an ideal fluid, subject to a generalized Bernoulli condition, can (under appropriate circumstances) be approximated. Our method is based on a class of free-boundary perturbation operatorsT , 0<<1, which are all contracting relative to a suitable norm and class of boundaries, and whose fixed points converge to the desired free boundary solution as 0+.

---

Zusammenfassung Wir zeigen, wie der freie Rand einer idealen Flüssigkeit, welcher einer verallgemeinerten Bernoulli-Bedingung genügt, unter geeigneten Umständen approximiert werden kann. Unsere Methode stützt sich auf eine Klasse freier RandperturbationsoperatorenT , 0<<1, welche relativ zu einer geeigneten Norm und Ränderklasse kontrahierend sind und deren Fixpunkte gegen die gewünschte Lösung der freien Randaufgabe mit 0+ konvergieren.

     

A construction of stable subharmonic orbits in monotone time-periodic dynamical systems

We consider a family of abstract semilinear elliptic-like equationsB(t,u _o (t))=0 for an unknown functionu ₀ (t) parametrized by the time-variablet0 and valued in a Banach spaceX. Suppose that bothB(.,u) andu ₀ areT-periodic in timet, and each Fréchet derivative generates an exponentially decaying, analyticC ₀-semigroup inX. We show that, for every small >0, the abstract parabolic-like evolution equationdu /dt=B(t,u _(t) ),t0, has a linearly stableT-periodic solutionu nearu ₀. Given any integern2, we construct examples ofB andu ₀ such that the minimum periods ofB(.,u) andu ₀, respectively, are=T/n andT. Thenu (t), t0, is alinearly stable subharmonic orbit of minimum periodT for our -periodic evolution equation. The corresponding dynamical systems are strongly monotone.This work was supported in part by, Vanderbilt University Research Council.     

On Shikata's distance between differentiable structures

Shikata proved: there is a number (n) with the following property: If two compact homeomorphic n-dimensional manifolds have a distance less than (n), then they are diffeomorphic. We improve the known lower bound (n!)^–n for (n) to 1/3n ^–2.This work was done under the program Sonderforschungsbereich Theoretische Mathematik (SFB 40) at Bonn University while Shikata was SFB-guest at Bonn.     

Inverse Problems in the Theory of Singular Perturbations

First, in joint work with S. Bodine of the University of Puget Sound, Tacoma, Washington, USA, we consider the second-order differential equation ² y'=(1+² (x, ))y with a small parameter , where is analytic and even with respect to . It is well known that it has two formal solutions of the form y^±(x,)=e^±x/h^±(x,), where h^±(x,) is a formal series in powers of whose coefficients are functions of x. It has been shown that one (resp. both) of these solutions are 1-summable in certain directions if satisfies certain conditions, in particular concerning its x-domain. We show that these conditions are essentially necessary for 1-summability of one (resp. both) of the above formal solutions. In the proof, we solve a certain inverse problem: constructing a differential equation corresponding to a certain Stokes phenomenon. The second part of the paper presents joint work with Augustin Fruchard of the University of La Rochelle, France, concerning inverse problems for the general (analytic) linear equations ^r y' = A(x,) y in the neighborhood of a nonturning point and for second-order (analytic) equations y' - 2xy'-g(x,) y=0 exhibiting resonance in the sense of Ackerberg-O'Malley, i.e., satisfying the Matkowsky condition: there exists a nontrivial formal solution such that the coefficients have no poles at x=0.     

Homogenization of a Singularly Perturbed Parabolic Problem in a Thick Periodic Junction of the Type 3:2:1

We prove a convergence theorem and obtain asymptotic (as 0) estimates for a solution of a parabolic initial boundary-value problem in a junction that consists of a domain ₀ and a large number N ² of -periodically located thin cylinders whose thickness is of order = O(N ^–1).     

Spectral parameter asymptotics of the Weyl solutions of Sturm-Liouville equations

In the paper one investigates the dependence of Weyl's solution ,)=c(,)+n()s(,) of the Sturm-Liouville equation y+q()y=²y on the spectral parameter . Under the condition that the potential q is bounded from below and q()exp(c₀+c[in1 ¦¦), it is proved for {ie217-01} for any positive values and A. If q()>1 and {ie217-02} for all >0, then in the semiplane >0 the Weyl solution (, ) is obtained from the Weyl solution (,x) is obtained from the Weyl solution e^ix with zero potential, with the aid of a generalization of B. Ya Levin's transformation operators.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova Akademii Nauk SSSR, Vol. 170, pp. 184–206, 1989.I express my sincere gratitude to L. A. Pastur and I. V. Ostrovskii for valuable advice and discussions.