Hyperbolicity of elliptic Lagrangian orbits in the planar three body problem

The linear stability of Lagrangian elliptic equilateral triangle homographic solutions in the classical planar three body problem depends on the mass parameterβ=27(m1m2+m2m3+m3m1)/(m1+m2+m3)2∈[0,9]and the eccentricity e∈[0,1).In this paper we use Maslov-type index to study the stability of these solutions and prove that the elliptic Lagrangian solutions is hyperbolic forβ8 with any eccentricity.     

Linear Stability of the Elliptic Lagrangian Triangle Solutions in the Three-Body Problem

This paper concerns the linear stability of the well-known periodic orbits of Lagrange in the three-body problem. Given any three masses, there exists a family of periodic solutions for which each body is at the vertex of an equilateral triangle and travels along an elliptic Kepler orbit. Reductions are performed to derive equations which determine the linear stability of the periodic solutions. These equations depend on two parameters - the eccentricity e of the orbit and the mass parameter β=27(m₁m₂+m₁m₃+m₂m₃)/(m₁+m₂+m₃)². A combination of numerical and analytic methods is used to find the regions of stability in the βe-plane. In particular, using perturbation techniques it is rigorously proven that there are mass values where the truly elliptic orbits are linearly stable even though the circular orbits are not.     

HLDER CONTINUOUS SOLUTIONS OF BOUSSINESQ EQUATIONS

We show the existence of dissipative H¨older continuous solutions of the Boussinesq equations. More precise, for any β∈(0,1/5), a time interval [0, T ] and any given smooth energy profile e : [0, T ] →(0, ∞), there exist a weak solution(v, θ) of the 3 d Boussinesq equations such that(v, θ) ∈ Cβ(T~3× [0, T ]) with e(t) =′his T~3|v(x, t)|~2 dx for all t ∈ [0, T ]. Textend the result of [2] about Onsager's conjecture into Boussinesq equation and improve our previous result in [30].     

Notes on Homoclinic Solutions of the Steady Swift-Hohenberg Equation

This paper considers the steady Swift-Hohenberg equation u＇＇＇＋β2u＇＇＋u^3-u=0.Using the dynamic approach, the authors prove that it has a homoclinic solution for each β∈ （4√8-ε0,4 √8）, where ε0 is a small positive constant. This slightly complements Santra and Wei＇s result [Santra, S. and Wei, J., Homoclinic solutions for fourth order traveling wave equations, SIAM J. Math. Anal., 41, 2009, 2038-2056], which stated that it admits a homoclinic solution for each β∈C （0,β0） where β0 = 0.9342 ....     

On a functional equation generalizing the class of semistable distributions

With ?(p),p≥0 the Laplace-Stieltjes transform of some infinitely divisible probability distribution, we consider the solutions to the functional equation ?(p-e ^?pβΠ _i=1 ^m ?^γi (c _i p) for somem≥1,c _i>0, γ _i >0,i=1., …,m, β ε ®. We supply its complete solutions in terms of semistable distributions (the ones obtained whenm=1). We then show how to obtain these solutions as limit laws (r → ∞) of normalized Poisson sums of iid samples when the Poisson intensity λ(r) grows geometrically withr.     

Fonctions holomorphes cliffordiennes

Let be the Clifford algebra of with a quadratic form of negative signature, D = e_i ∂/∂x_i, Δ the ordinary Laplacian. The holomorphic cliffordian functions are solutions of D Δ^mƒ = 0. We study the polynomial and singular solutions, representation integral formulas, and the foundation of the Cliffordian elliptic function theory.     

A Supplement to Hölder’s Inequality. The Resonance Case. I

Suppose that m ≥ 2, numbers p₁, …, p _m ∈ (1, +∞] satisfy the inequality \(\frac{1}{{{p_1}}} + ... + \frac{1}{{{p_m}}} < 1\), and functions γ₁ ∈ \({L^{{p_1}}}\)(?¹), …, γ _m ∈ \({L^{{p_m}}}\)(?¹) are given. It is proved that if the set of “resonance points” of each of these functions is nonempty and the so-called “resonance condition” holds, then there are arbitrarily small (in norm) perturbations Δγ_k ∈ \({L^{{p_k}}}\)(?¹) under which the resonance set of each function γ_k + Δγ_k coincides with that of γ_k for 1 ≤ k ≤ m, but \({\left\| {\int\limits_0^t {\prod\limits_{k = 0}^m {\left[ {{\gamma _k}\left( \tau \right) + \Delta {\gamma _k}\left( \tau \right)} \right]d\tau } } } \right\|_{{L^\infty }\left( {{\mathbb{R}^1}} \right)}} = \infty \). The notion of a resonance point and the resonance condition for functions in the spaces L ^p (?¹), p ∈ (1, +∞], were introduced by the author in his previous papers.     

On a J. C. C. Nitsche’s Type Inequality for the Hyperbolic Space H3

Let H ³ be the hyperbolic space identified with the unit ball B ³ = {x ∈ R ³ : |x| < 1} with the Poincaré metric d _h and let ??(x ₀, p, q) : = {x : p < d _h (x, x ₀) < q} ? H ³ be a hyperbolic annulus with the inner and outer radii 0 < p < q < ∞. We prove that if there exists a hyperbolic harmonic diffeomorphism between annuli ??(x ₀, a, b) and ?? (y ₀, α, β) in the hyperbolic space H ³, then β/α>1+ψ(a,b), where ψ is a positive function. In addition, for given two annuli in the hyperbolic space H ³, satisfying certain conditions, we construct radial harmonic mappings between them.     

Schrödinger operators with singular potentials

Recently B. Simon proved a remarkable theorem to the effect that the Schrödinger operatorT=?Δ+q(x) is essentially selfadjoint onC ₀ ^∞ (R ^m if 0≦q ∈L ²(R ^m). Here we extend the theorem to a more general case,T=?Σ _j ^=1/m (?/?x _j ?ib _j(x))² +q ₁(x) +q ₂(x), whereb _j, q₁,q ₂ are real-valued,b _j ∈C(R ^m),q ₁ ∈L _loc ² (R ^m),q ₁(x)≧?q*(|x|) withq*(r) monotone nondecreasing inr ando(r ²) asr → ∞, andq ₂ satisfies a mild Stummel-type condition. The point is that the assumption on the local behavior ofq ₁ is the weakest possible. The proof, unlike Simon’s original one, is of local nature and depends on a distributional inequality and elliptic estimates.     

Existence of Infinitely Many Non-Trivial Bifurcation Points

We consider the non-linear two point boundary value problem where λ > 0,f ∈ C², f′ ≥ 0, f(0) < 0 and lim_{u → ∞} f(u) > 0. By considering the non-negative as well as all sign changing solutions, we establish the existence of infinitely many non-trivial bifurcation points. Further, when f is superlinear, we prove that there exists a constant λ* > 0, such that for each λ ∈ (0, λ*) there are exactly two solutions with m interior zeros for every m = 1,2, …We apply our results to the case when f(u) = u ³ - k; k > 0, and also discuss the evolution of the bifurcation diagram as k → 0.     

On the difference between an integer and its m-th power mod n

For any real constants λ ₁, λ ₂ ∈ (0, 1], let $n \geqslant \max \{ [\tfrac{1} {{\lambda _1 }}],[\tfrac{1} {{\lambda _2 }}]\} $ , m ? 2 be integers. Suppose integers a ∈ [1, λ ₁ n] and b ∈ [1, λ ₂ n] satisfy the congruence b ≡ a ^m (mod n). The main purpose of this paper is to study the mean value of (a ? b)^2k for any fixed positive integer k and obtain some sharp asymptotic formulae.     

Exact solution to a nonlinear Klein-Gordon equation

The nonlinear Klein-Gordon equation ?^μ?_μΦ + M²Φ + λ₁Φ^1?m + λ₂Φ^1?2m = 0 has the exact formal solution Φ = [u^2m ?λ₁u^m/(m ? 2)M²+λ₁²/(m?2)²M⁴?λ₂/4(m ? 1)M²]^1/mu^?1, m ≠ 0, 1, 2, where u and v^?1 are solutions of the linear Klein-Gordon equation. This equation is a simple generalization of the ordinary second order differential equation satisfied by the homogeneous function y = [au^m + b(uv)^m/2 + cv^m]^k/m, where u and v are linearly independent solutions of y″ + r(x) y′ + q(x) y = 0.     

On the equivalence of the Euler-Pommier operators in spaces of analytic functions

In the space A (θ) of all one-valued functions f(z) analytic in an arbitrary region G ? ? (0 ∈ G) with the topology of compact convergence, we establish necessary and sufficient conditions for the equivalence of the operators L ₁=α _n z ⁿ Δ ⁿ + ... + α₁ zΔ+α₀ E and L ₂= z ⁿ a _n (z)Δ ⁿ + ... + za ₁(z)Δ+a ₀(z)E, where δ: (Δ?)(z)=(f(z)-?(0))/z is the Pommier operator in A(G), n ∈ ?, α _n ∈ ?, a _k (z) ∈ A(G), 0≤k≤n, and the following condition is satisfied: Σ _j=s ^n?1 α _j+1 ∈ 0, s=0,1,...,n?1. We also prove that the operators z ^s+1Δ+β(z)E, β(z) ∈ A _R , s ∈ ?, and z ^s+1 are equivalent in the spaces A _R, 0?R?-∞, if and only if β(z) = 0.     

Eigenschaften der Lösungsmenge eines Systems von Volterra-Integralgleichungen

By a well known theorem of H. Kneser [4] the set U of all solutions of the initial value problem $$u' = f(x,u)forx\varepsilon [0,a],u(0) = u_o $$ has the following property: If f is continuous and bounded then U(x₀)={u(x₀): u∈U} is a continuum (i.e. a compact and connected subset) for every x₀∈[0,a]. In the present paper we claim to extend this theorem to a system of Volterra integral equations in several variables of the form x∈B∞R^m, ν=1,...,n that had been investigated in [8]. In fact we shall prove that U is a continuum of the Banach space Cⁿ(B) of all ‘vector functions’ u(x)=(u₁(x),...,u_n(x)), continuous on B. It is an immediate consequence from this that U(x₀) is a continuum of Rⁿ. These results will be established by the help of a suitable modification of a method used by M. Müller [5] to prove Kneser's theorem. Especially, we obtain new theorems for some initial value problems for hyperbolic equations.     

A polarographic study of methionine complexes of cadmium in mixed solvents

Methionine complexes of cadmium in 25 and 50 per cent aqueous mixtures of ethyl and methyl alcohol and dioxan have been studied. The half-wave potentials measured in both the alcohols were the same and the reduction was reversible. Three complex species withβ ₁=1·0×10⁴,β ₂=1·1×10⁷ andβ ₃=1·2×10⁹ were found in 25 per cent alcohol while four complexes withβ ₁=3·0×10⁴,β ₂=4·3×10⁷,β ₃=4·0×10⁹ andβ ₄=1·6×10¹¹ were observed in 50 per cent solutions. In the case of dioxan, the reduction was quasi-reversible (k _s=1·0×10^?3 cm sec^?1) in 25 per cent and irreversible (k _s=2·0×10^?4 cm sec^?1) in 50 per cent solutions. The stability constants, evaluated using the formal potentials, wereβ ₁=7·0×10³,β ₂-3·9×10⁵;β ₂=3·9×10⁸ andβ ₄=3·4×10¹⁰ in 25 per cent dioxan andβ ₁=1·5×10⁴,β ₂=3·4×10⁷.β ₃=7·5×10⁹ andβ ₄=9·0×10¹¹ in 50 per cent solutions.     

Quantization causes waves: Smooth finitely computable functions are affine

Every automaton (a letter-to-letter transducer) A whose both input and output alphabets are F _p = {0, 1,..., p - 1} produces a 1-Lipschitz map f _A from the space Z _p of p-adic integers to Z _p . The map fA can naturally be plotted in a unit real square I² ? R²: To an m-letter non-empty word v = γ _m-1γ _m-2... γ0 there corresponds a number 0.v ∈ R with base-p expansion 0.γ _m-1γ _m-2... γ0; so to every m-letter input word w = α _m-1α _m-2 ··· α0 of A and to the respective m-letter output word a(w) = β _m-1β _m-2 ··· β0 of A there corresponds a point (0.w; 0.a(w)) ∈ R². Denote P(A) a closure of the point set (0.w; 0.a(w)) where w ranges over all non-empty words.We prove that once some points of P(A) constitute a C ²-smooth curve in R², the curve is a segment of a straight line with a rational slope. Moreover, when identifying P(A) with a subset of a 2-dimensional torus T² ∈ R³, the smooth curves from P(A) constitute a collection of torus windings which can be ascribed to complex-valued functions ψ(x, t) = e ^i(Ax-2πBt) (x, t ∈ R), i.e., to matter waves. As automata are causal discrete systems, the main result may serve a mathematical reasoning why wave phenomena are inherent in quantum systems: This is just because of causality principle and discreteness of matter.     

The conformal plate buckling equation

The linear equation Δ²u = 1 for the infinitesimal buckling under uniform unit load of a thin elastic plate over ?² has the particularly interesting nonlinear generalization Δ_g²u = 1, where Δ_g = e^?2u Δ is the Laplace‐Beltrami operator for the metric g = e^2ug₀, with g₀ the standard Euclidean metric on ?². This conformal elliptic PDE of fourth order is equivalent to the nonlinear system of elliptic PDEs of second order Δu(x)+K_g(x) exp(2u(x)) = 0 and Δ K_g(x) + exp(2u(x)) = 0, with x ∈ ?², describing a conformally flat surface with a Gauss curvature function K_g that is generated self‐consistently through the metric's conformal factor. We study this conformal plate buckling equation under the hypotheses of finite integral curvature ∫ K_g exp(2u)dx = κ, finite area ∫ exp(2u)dx = α, and the mild compactness condition K₊ ∈ L¹(B₁(y)), uniformly w.r.t. y ∈ ?². We show that asymptotically for |x|→∞ all solutions behave like u(x) = ?(κ/2π)ln |x| + C + o(1) and K(x) = ?(α/2π) ln|x| + C + o(1), with κ ∈ (2π, 4π) and . We also show that for each κ ∈ (2π, 4π) there exists a K^* and a radially symmetric solution pair u, K, satisfying K(u) = κ and maxK = K^*, which is unique modulo translation of the origin, and scaling of x coupled with a translation of u. © 2001 John Wiley & Sons, Inc.     

A Functional Equation Of J.A. Baker Involving Integral Means

The functional equation $$f(x)={1\over 2}\int^{x+1}_{x-1}f(t)\ dt\ \ \ {\rm for}\ \ \ x\ \in\ {\rm R}$$ has the linear functions ?(x) = a + bx (a, b ∈ ?) as trivial solutions. It is shown that there are two kinds of nontrivial solutions, (i) ?(x) = eλ_i ^x (i = 1, 2, …), where the λ_i∈ ? are the fixed points of the map z ? sinh z, and (ii) C^∞-solutions ? for which the values in the interval [?1,1] can be prescribed arbitrarily, but with the provision that ?^(j)(? 1) = ?^(j)(0) = ?^(j)(1) = 0 for all j = 0, 1, 2 …     

Regularized traces of higher-order singular differential operators

We consider singular differential operators of order 2m, m ∈ ?, with discrete spectrum in L ₂[0, + ∞). For self-adjoint extensions given by the boundary conditions y(0) = y″(0) = ? = y ^(2m?2)(0) = 0 or y′(0) = y?(0) = ? = y ^(2m?1)(0) = 0, we obtain regularized traces. We present the explicit form of the spectral function, which can be used for calculating regularized traces.     

On low discrepancy sequences and low discrepancy ergodic transformations of the multidimensional unit cube

In this paper we describe a third class of low discrepancy sequences. Using a lattice Γ ? ? ^s , we construct Kronecker-like and van der Corput-like ergodic transformations T _1,Γ and T _2,Γ of [0, 1) ^s . We prove that for admissible lattices Γ, (T _ν,Γ ⁿ (x))_n≥0 is a low discrepancy sequence for all x ∈ [0, 1) ^s and ν ∈ {1, 2}. We also prove that for an arbitrary polyhedron P ? [0, 1) ^s , for almost all lattices Γ ∈ L _s = SL(s,?)/SL(s, ?) (in the sense of the invariant measure on L _s ), the following asymptotic formula

$\# \{ 0 \le n < N:T_{v,\Gamma }^n(x) \in P\} = NvolP + O({(\ln N)^{s + \varepsilon }}),N \to \infty$

holds with arbitrary small ? > 0, for all x ∈ [0, 1) ^s , and ν ∈ {1, 2}.