Perturbation theory in large order

For many quantum mechanical models, the behavior of perturbation theory in large order is strikingly simple. For example, in the quantum anharmonic oscillator, which is defined by−″ + (x²/4+εx⁴/4−E)y=0, y(±∞)=0,the perturbation coefficients A_n in the expansion for the ground-state energysimplify dramatically as n → ∞:.We use the methods of applied mathematics to investigate the nature of perturbation theory in quantum mechanics and we show that its large-order behavior is determined by the semiclassical content of the theory. In quantum field theory the perturbation coefficients are computed by summing Feynman graphs. We present a statistical procedure in a simple λ⁴ model for summing the set of all graphs as the number of vertices → ∞. Finally, we discuss the connection between the large-order behavior of perturbation theory in quantum electrodynamics and the value of α, the charge on the electron.     

Existence and exponential stability in Lr‐spaces of stationary Navier–Stokes flows with prescribed flux in infinite cylindrical domains

We prove existence, uniqueness and exponential stability of stationary Navier–Stokes flows with prescribed flux in an unbounded cylinder of ?ⁿ,n?3, with several exits to infinity provided the total flux and external force are sufficiently small. The proofs are based on analytic semigroup theory, perturbation theory and L^r ? L^q‐estimates of a perturbation of the Stokes operator in L^q‐spaces. Copyright © 2006 John Wiley & Sons, Ltd.     

Stability of compact actions of ℝ n of codimensional oneof codimensional one

In this paper we study theC ^r stability of locally free compact actions of ℝ ⁿ with compact orbits over manifolds of dimensionn+1. More precisely, we show that in many cases aC ¹ perturbation of an action with all orbits compact must also have all orbits compact and aC ⁰ perturbation usually has many compact orbits.     

Solvability in Hardy space for second order elliptic equations

We obtain a priori estimates and solvability in Hardy type space in a bounded domain of R ⁿ for second order elliptic equations with coefficients of limited smoothness. Such a result can be served as an endpoint case of the classical L ^p (1 < p < ∞) theory for second order elliptic equations. Our approach is based on a standard technique of perturbation rather than that of integral representation formula.     

Bi-invariant Integrals on GL(n) with Applications

In this paper measures and functions on GL(n) are called bi-invariant if they are invariant under left and right multiplication of their arguments. If v is any bi-invariant Borel measure on GL(n), then there exists a unique Borel measure v^* on D _{+ ≥}(n), the set of all diagonal matrices of rank n with positive non-increasing diagonal entries, such that holds for each v-integrable bi-invariant function f:GL(n) → IR. An explicit formula for v^* will be derived in case v equals the Lebesgue measure on GL(n) and the above integral formula will be applied to concrete integration problems. In particular, if v is a probability measure, then v^* can be interpreted as the distribution of the singular value vector. This fact will be used to derive a stochastic version of a theorem from perturbation theory concerning the numerical computation of the polar decomposition.     

Nonlinear and linear instability of the Rossby-Haurwitz wave

The dynamics of perturbations to the Rossby-Haurwitz (RH) wave is analytically analyzed. These waves, being of great meteorological importance, are exact solutions to the nonlinear vorticity equation describing the motion of an ideal incompressible fluid on a rotating sphere. Each RH wave belongs to a space H ₁ ⊕ H _n , where H _n is the subspace of homogeneous spherical polynomials of degree n. It is shown that any perturbation of the RH wave evolves in such a way that its energy K(t) and enstrophy η(t) decrease, remain constant, or increase simultaneously. A geometric interpretation of variations in the perturbation energy is given. A conservation law for arbitrary perturbations is obtained and used to classify all the RH-wave perturbations in four invariant sets, M ₋ ⁿ , M ₊ ⁿ , H _n , and M ₀ ⁿ − H _n , depending on the value of their mean spectral number χ(t) = η(t)/K(t). The energy cascade of growing (or decaying) perturbations has opposite directions in the sets M ₋ ⁿ and M ₊ ⁿ due to the hyperbolic dependence between K(t) and χ(t). A factor space with a factor norm of the perturbations is introduced, using the invariant subspace H _n of neutral perturbations as the zero factor class. While the energy norm controls the perturbation part belonging to H _n , the factor norm controls the perturbation part orthogonal to H _n . It is shown that in the set M ₋ ⁿ (χ(t) < n(n + 1)), any nonzonal RH wave of subspace H ₁ ⊕ H _n (n ≥ 2) is Lyapunov unstable in the energy norm. This instability has nothing in common with the orbital (Poincaré) instability and is caused by asynchronous oscillations of two almost coinciding RH-wave solutions. It is also shown that the exponential instability is possible only in the invariant set M ₀ ⁿ − H _n . A necessary condition for this instability is given. The condition states that the spectral number η(t) of the amplitude of each unstable mode must be equal to n(n + 1), where n is the RH wave degree. The growth rate is estimated and the orthogonality of the unstable normal modes to the RH wave are shown in two Hilbert spaces. The instability in the invariant set M ₊ ⁿ of small-scale perturbations (χ(t) > n(n + 1)) is still an open problem. __________ Translated from Sovremennaya Matematika. Fundamental’nye Napravleniya (Contemporary Mathematics. Fundamental Directions), Vol. 17, Differential and Functional Differential Equations. Part 3, 2006.     

Perturbation Analysis for the Eigenvalue Problem of a Formal Product of Matrices

We study the perturbation theory for the eigenvalue problem of a formal matrix product A ₁ ^{s 1} ··· A _p ^{s p}, where all A _k are square and s _k {–1, 1}. We generalize the classical perturbation results for matrices and matrix pencils to perturbation results for generalized deflating subspaces and eigenvalues of such formal matrix products. As an application we then extend the structured perturbation theory for the eigenvalue problem of Hamiltonian matrices to Hamiltonian/skew-Hamiltonian pencils.     

Instability of the Rossby–Haurwitz wave in the invariant sets of perturbations

Stability of the Rossby–Haurwitz (RH) wave of subspace H₁H_n in an ideal incompressible fluid on a rotating sphere is analytically studied (H_n is the subspace of homogeneous spherical polynomials of degree n). It is shown that any perturbation of the RH wave evolves in such a way that its energy K(t) and enstrophy η(t) decrease, remain constant or increase simultaneously. A geometric interpretation of variations in the perturbation energy is given. A conservation law for arbitrary perturbations is obtained and used to classify all the RH-wave perturbations in four invariant sets M₋ⁿ, M₊ⁿ, H_n and M₀ⁿ−H_n depending on the value of their mean spectral number χ(t)=η(t)/K(t). The energy cascade of growing (or decaying) perturbations has opposite directions in the sets M₋ⁿ and M₊ⁿ due to a hyperbolic dependence between K(t) and χ(t). A factor space with a factor norm of the perturbations is introduced using the invariant subspace H_n of neutral perturbations as the zero factor class. While the energy norm controls the perturbation part belonging to H_n, the factor norm controls the perturbation part orthogonal to H_n. It is shown that in the set M₋ⁿ (χ(t)<n(n+1)), any nonzonal RH wave of subspace H₁H_n (n2) is Liapunov unstable in the energy norm. This instability has nothing in common with the orbital (Poincaré) instability and is caused by asynchronous oscillations of two almost coinciding RH-wave solutions. It is also shown that the exponential instability is possible only in the invariant set M₀ⁿ−H_n. A necessary condition for this instability is given. The condition states that the spectral number χ(t) of the amplitude of each unstable mode must be equal to n(n+1), where n is the RH-wave degree. The growth rate is estimated and the orthogonality of the unstable normal modes to the RH wave is shown. The instability in the invariant set M₊ⁿ of small-scale perturbations (χ(t)>n(n+1)) is still open problem.     

Upper and Lower Bounds on Resonances for Manifolds Hyperbolic Near Infinity

For a conformally compact manifold that is hyperbolic near infinity and of dimension n + 1, we complete the proof of the optimal O(r ⁿ⁺¹) upper bound on the resonance counting function, correcting a mistake in the existing literature. In the case of a compactly supported perturbation of a hyperbolic manifold, we establish a Poisson formula expressing the regularized wave trace as a sum over scattering resonances. This leads to an r ⁿ⁺¹ lower bound on the counting function for scattering poles.     

Rigidity of Poisson structures

We study germs of analytic Poisson structures which are suitable perturbations of a quasihomogeneous Poisson structure in a neighborhood of the origin of ℝ ⁿ or ℂ ⁿ , a fixed point of the Poisson structures. We define a “diophantine condition” relative to the quasihomogeneous initial part ie256-1 which ensures that such a good perturbation of 256-2 which is formally conjugate to 256-3 is also analytically conjugate to it.     

Integrable Submanifolds in Almost Complex Manifolds

Let (M,J) be a germ of an almost complex manifold of real dimension 2m and let n (n<m) be an integer. We study a necessary and sufficient condition for M to admit an integrable submanifold N of complex dimension n. If n=m−1, we find defining functions of N explicitly from the coefficients of the torsion tensor. For J obtained by small perturbation of the standard complex structure of ℂ ^m this condition is given as an overdetermined system of second order PDEs on the perturbation. The proof is based on the rank conditions of the Nijenhuis tensor and application of the Newlander-Nirenberg theorem. We give examples of almost complex structures on ℂ³: the ones with a single complex submanifold of dimension 2 and the ones with 1-parameter or 2-parameter families of complex submanifolds of dimension 2.     

Renormalization group, causality, and nonpower perturbation expansion in QFT

The structure of the QFT expansion is studied in the framework of a new “invariant analytic” version of the perturbative QCD. Here, an invariant coupling constant α(Q ² /Λ ² ) = β ₁ α_s(Q ² )/(4π) becomes a Q ² -analytic invariant function α _an (Q²/Λ ² ) ≡A(x), which, by construction, is free of ghost singularities because it incorporates some nonperturbative structures. In the framework of the “analyticized” perturbation theory, an expansion for an observable F, instead of powers of the analytic invariant charge A(x), may contain specific functions A_n(x)=[aⁿ(x)] _an , the “nth power of a(x) analyticized as a whole.” Functions A _n>2(x) for small Q² ≤Λ ² oscillate, which results in weak loop and scheme dependences. Because of the analyticity requirement, the perturbation series for F(x) becomes an asymptotic expansion à la Erdélyi using a nonpower set {A _n (x)}. The probable ambiguities of the invariant analyticization procedure and the possible inconsistency of some of its versions with the renormalization group structure are also discussed. Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 119, No. 1, pp. 55–66, April, 1999.     

Comportement asymptotique de la seconde valeur propre des processus de Kolmogorov

Our goal is to demonstrate on ⁿ the Holley, Kusuoka, and Stroock result about the asymptotic behavior of the second eigenvalue associated to dynamical systems with a small random perturbation.     

Rigidity of planar tilings

Summary Aperturbation of a tiling of a region inR ⁿ is a set of isometries, one applied to each tile, so that the images of the tiles tile the same region.We show that a locally finite tiling of an open region inR ² with tiles which are closures of their interiors isrigid in the following sense: any sufficiently small perturbation of the tiling must have only earthquake-type discontinuities, that is, the discontinuity set consists of straight lines and arcs of circles, and the perturbation near such a curve shifts points along the direction of that curve.We give an example to show that this type of rigidity does not hold inR ⁿ , forn>2.Using rigidity in the plane we show that any tiling problem with a finite number of tile shapes (which are topological disks) is equivalent to a polygonal tiling problem, i.e. there is a set of polygonal shapes with equivalent tiling combinatorics.Oblatum 19-III-1991     

Perturbation theory for the LDU factorization and accurate computations for diagonally dominant matrices

We present a structured perturbation theory for the LDU factorization of (row) diagonally dominant matrices and we use this theory to prove that a recent algorithm of Ye (Math Comp 77(264):2195–2230, 2008) computes the L, D and U factors of these matrices with relative errors less than 14n ³ u, where u is the unit roundoff and n × n is the size of the matrix. The relative errors for D are componentwise and for L and U are normwise with respect the “max norm” ||A||_M = max_ij |a_ij|{\|A\|_M = \max_{ij} |a_{ij}|}. These error bounds guarantee that for any diagonally dominant matrix A we can compute accurately its singular value decomposition and the solution of the linear system Ax = b for most vectors b, independently of the magnitude of the traditional condition number of A and in O(n ³) flops.     

Perturbation theory for pseudo-inverses

A perturbation theory for pseudo-inverses is developed. The theory is based on a useful decomposition (theorem 2.1) ofB ⁺ -A ⁺ whereB andA arem ×n matrices. Sharp estimates of B ⁺ -A ⁺ are derived for unitary invariant norms whenA andB are of the same rank and B -A is small. Under similar conditions the perturbation of a linear systemAx=b is studied. Realistic bounds on the perturbation ofx=A ⁺ b andr=b=Ax are given. Finally it is seen thatA ⁺ andB ⁺ can be compared if and only ifR(A) andR(B) as well asR(A ^H ) andR(B ^H ) are in the acute case. Some theorems valid only in the acute case are also proved.This work was sponsored in part by The Swedish Institute of Applied Mathematics.     

Spectral Properties of Some Linear Matrix Differential Operators in Lp-spaces on $${\mathbb{R}}$$

A detailed study is made of matrix-valued, ordinary linear differential operators T in for 1 < p < ∞, which arise as the perturbation of a constant coefficient differential operator of order n ≥ 1 by a lower order differential operator which has a factorisation S = AB for suitable operators A and B. Via techniques from L ^p -harmonic analysis, perturbation theory and local spectral theory, it is shown that T satisfies certain local resolvent estimates, which imply the existence of local functional calculi and decomposability properties of T.      

Non-recursive functions,knots “with thick ropes,” and self-clenching “thick” hyperspheres

We introduce an approach to certain geometric variational problems based on the use of the algorithmic unrecognizability of the n-dimensional sphere for n ≥ 5. Sometimes this approach allows one to prove the existence of infinitely many solutions of a considered variational problem. This recursion-theoretic approach is applied in this paper to a class of functionals on the space of C^1.1-smooth hypersurfaces diffeomorphic to Sⁿ in Rⁿ⁺¹, where n is any fixed number ≥ 5. The simplest of these functionals k_v is defined by the formula k_v(Σⁿ) = (vol(Σⁿ))^1/n/r(Σⁿ), where r(Σⁿ) denotes the radius of injectivity of the normal exponential map for Σⁿ ? Rⁿ+l. We prove the existence of an infinite set of distinct locally minimal values of k_v on the space of C^1.1-smooth topological hyperspheres in Rⁿ⁺¹ for any n ≥ 5. The functional k_v naturally arises when one attempts to generalize knot theory in order to deal with embeddings and isotopies of “thick” circles and, more generally, “thick” spheres into Euclidean spaces. We introduce the notion of knot “with thick rope” types. The theory of knot “with thick rope” types turns out to be quite different from the classical knot theory because of the following result: There exists an infinite set of non-trivial knot “with thick rope” types in codimension one for every dimension greater than or equal to five.     

On a Liouville-type theorem for linear and nonlinear elliptic differential equations on a torus

We study solutionsu of quasilinear elliptic equations—div(F _p (x,∇u))=0 on ℝ ⁿ , whereF(x,p) is periodic inx=(x ₁,...,x _n ) and satisfies suitable convexity and growth assumptions with respect top. Ifu has asymptotically linear growth, we show thatu is, in fact, a linear function up to a periodic perturbation. This partially generalizes recent results of Avallaneda-Lin from the linear to the nonlinear case, and we also achieve a simplified proof of their results. Our work is motivated by the study of minimals of variational problems on a torus and, moreover, has contact with homogenization theory.     

Existentially complete nilpotent groups

Letn be a positive integer, letK _n denote the theory of groups nilpotent of class at mostn, and letK _n ⁺ denote the theory of torsion-free groups nilpotent of class at mostn. We show that ifn≧2 then neitherK _n norK _n ⁺ has a model companion. ForK _n we obtain the stronger result that the class of finitely generic models is disjoint from the class of infinitely generic models. We also give some other results about existentially complete nilpotent groups. Dedicated to the Memory of Abraham Robinson.