Singular perturbations in foliations

Summary We define a constraint system , [0,₀), which is a kind of family of vector fields on a manifold. This is a generalized version of the family of the equations , [0,₀),x ^m ,y ⁿ . Finally, we prove a singular perturbation theorem for the system , [0,₀).Dedicated to Professor Kenichi Shiraiwa on his 60th birthday     

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.     

Range of the posterior probability of an interval for priors with unimodality preserving contaminations

Range of the posterior probability of an interval over the -contamination class ={=(1–)₀+q:qQ} is derived. Here, ₀ is the elicited prior which is assumed unimodal, is the amount of uncertainty in ₀, andQ is the set of all probability densitiesq for which =(1–)₀+q is unimodal with the same mode as that of ₀. We show that the sup (resp. inf) of the posterior probability of an interval is attained by a prior which is equal to (1–)₀ except in one interval (resp. two disjoint intervals) where it is constant.     

Poisson kernel is the unique approximate identity,asymptotically multiplicative on H∞

Let for anyf H(R), where (x): = ^–1(x^–1). Then (x) P (x + h) for some h R and > 0; P denotes the Poisson kernel.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova Akademii Nauk SSSR, Vol. 170, pp. 82–89, 1989.     

Approximation by infinitely divisible distributions in the multidimensional case

Let be the collection of parallelepipeds in R with edges parallel with the coordinate axes and let be the collection of closed sets in R. Let (G, H)=inf {G{A}H{A}+, H{A}G{A}+ for any; L(G, H)= inf {G{A}H{A}+, H{A}G{A}+ for any, where G, H are distributions in . In the paper one gives the proofs of results announced earlier by the author (Dokl. Akad. Nauk SSSR,253, No. 2, 277–279 (1980)). One considers the problem of the approximation of the distributions of sums of independent random vectors with the aid of infinitely divisible distributions. One obtains estimates for the distances (·, ·), L(·, ·) and. It is proved that, where 0p_i1, ; E is the distribution concentrated at zero; V_i(i=1, ..., n) are arbitrary distributions; the products and the exponentials are understood in the sense of convolution.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 130, pp. 89–103, 1983.     

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).     

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.     

Lower semicontinuity of attractors of gradient systems and applications

Summary For 0₀, let T(t), t0, be a family of semigroups on a Banach space X with local attractors A. Under the assumptions that T₀(t) is a gradient system with hyperbolic equilibria and T(t) converges to T₀(t) in an appropriate sense, it is shown that the attractors {A, 0₀} are lower-semicontinuous at zero. Applications are given to ordinary and functional differential equations, parabolic partial differential equations and their space and time discretizations. We also give an estimate of the Hausdorff distance between A and A₀, in some examples.Research supported by U.S. Army Research Office DAAL-03-86-K-0074 and the National Science Foundation DMS-8507056.     

Asymptotic behavior of constrained stochastic approximations via the theory of large deviations

Summary Let G be a bounded convex set, and _G the projection onto G, and a bounded random process. Projected algorithms of the types , where 0<a _n0, a _n =) occur frequently in applications (among other places) in control and communications theory. The asymptotic convergence properties of {X _n } as 0, n, have been well analyzed in the literature. Here, we use large deviations methods to get a more thorough understanding of the global behavior. Let be a stable point of the algorithm in the sense that X _n in distribution as 0, n. For the unconstrained case, rate of convergence results involve showing asymptotic normality of , and use linearizations about . In the constrained case is often on G, and such methods are inapplicable. But the large deviations method yields an alternative which is often more useful in the applications. The action functionals are derived and their properties (lower semicontinuity, etc.) are obtained. The statistics (mean value, etc.) of the escape times from a neighborhood of are obtained, and the global behavior on the infinite interval is described.Research has been supported in part by the US Army Research Office under Contract #DAAG 29-84-K-0082, and in part by the Office of Naval Research under Contract #N00014-83-K0542Research has been supported in part by the National Science Foundation Grant #ECS 82-11476, and the Air Force Office of Scientific Research under Contract #AF-AFOSR 81-0116     

On Asymptotic Structure,the Szlenk Index and UKK Properties in Banach Spaces

Let B be a separable Banach space and let X=B ^* be separable. We prove that if B has finite Szlenk index (for all > 0) then B can be renormed to have the weak* uniform Kadec-Klee property. Thus if > 0 there exists () > 0 so that if x _n is a sequence in the ball of X converging ^* to x so that . In addition we show that the norm can be chosen so that () c^p for some p < and c >0.     

The Dvoretzky-Hanani Theorem for the Group "ax + b"

Let G be the group "ax + b" of affine transformations of the line and let U be a neighbourhood of 1 in G. It is proved that there is another neighborhood V of 1 such that to each finite sequence g1,...,gn V there corresponds a sequence of signs 1,...,n = ±1 with U for k = 1,...,n. This implies that G satisfies the following analogue of the Dvoretzky-Hanani theorem: to each sequence converging to 1 in G there corresponds a sequence of signs k = ±1 such that the infinite product is convergent.     

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

The ε c -Product of a Schwartz b-Space by a Quotient Banach Space and Applications

We define the -product of a -space by a quotient Banach space. We give conditions under which this -product will be monic. Finally, we define the _c -product of a Schwartz b-space by a quotient Banach space and we give some examples of applications.     

Lifting-Probleme für Vektorfunktionen und ⊗-Sequenzen

In this article the topologically exact sequences of locally convex spaces are characterized for which for every locally convex space F the map id : FE F Q is a homomorphism, or equivalently, the map id L : FK F E is a topological injection. This is motivated by the problem of lifting Q-valued functions with certain given properties to E-valued functions with the same or slightly weaker properties, which may also be considered as the investigation of parameter dependences of solutions of linear (differential) equations. Applications to partial differential equations and to Fredholm functions are given.     

Extensions and selections in subspaces ofC(K)

LetK be a compact Hausdorff space and letFK be a peak interpolation set for a function algebraAC(K). Let be a map fromK to the family of all convex subsets of such that the set {(z, x)zK, x(z)} is open inK×C and such thatg(z)(z) (zK) for somegA. We prove that everyfC(F) satisfyingf(s)(s) (sF) (f(s)closure (s) (sF)) admits an extensionfAA} satisfyingf(z)(z) (zK) (f(z))}closure (z) (zK), respectively). We prove a more general theorem of this kind and present various applications which generalize known dominated interpolation theorems for subspaces ofC(K).     

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     

Almost Fredholm operators in von Neumann algebras

LetA be a von Neumann algebra,J be the ideal of compact operators relative toA and letF ₊ be the left-Fredholm class ofA. We call almost left-Fredholm the class = {A A: if P A is a projection and AP J then P J}. Then and the inclusion is proper unlessA is semifinite and has a non-large center. satisfies all of the algebraic properties ofF ₊ but it is generally not open. IfA is semifinite then A iff there are central projectionsG with G = I such that AG F₊(AG). Let :A A/J. Then the left almost essential spectrum ofA A, , coincides with the set of eigenvalues of (A)     

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.     

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.     

Positivity Preserving Forms have the Fatou Property

We prove that if (,D) is a positivity preserving form on L ² (E;m), and if (u _n)_n is a sequence in D() converging m-almost everywhere to u L ² (E;m), then (u,u) lim inf_n (u _n ,u _n ).