Ground state solutions for a class of fractional Hamiltonian systems

In this paper we study the following fractional Hamiltonian systems

$$\begin{aligned} \left\{ \begin{array}{lllll} -_{t}D^{\alpha }_{\infty }(_{-\infty }D^{\alpha }_{t}x(t))- L(t).x(t)+\nabla W(t,x(t))=0, \\ x\in H^{\alpha }(\mathbb {R}, \mathbb {R}^{N}), \end{array} \right. \end{aligned}$$

where \(\alpha \in \left( {1\over {2}}, 1\right] ,\ t\in \mathbb {R}, x\in \mathbb {R}^N,\ _{-\infty }D^{\alpha }_{t}\) and \(_{t}D^{\alpha }_{\infty }\) are the left and right Liouville–Weyl fractional derivatives of order \(\alpha \) on the whole axis \(\mathbb {R}\) respectively, \(L:\mathbb {R}\longrightarrow \mathbb {R}^{2N}\) and \(W: \mathbb {R}\times \mathbb {R}^{N}\longrightarrow \mathbb {R}\) are suitable functions. One ground state solution is obtained by applying the monotonicity trick of Jeanjean and the concentration-compactness principle in the case where the matrix L(t) is positive definite and \(W \in C^{1}(\mathbb {R}\times \mathbb {R}^{N},\mathbb {R})\) is superquadratic but does not satisfy the usual Ambrosetti–Rabinowitz condition.

     

Approximation of function by Euler means

Let 蒖_n $$(q, f, x) = \frac{1}{{(1 + q)^n }}\sum\limits_{k = 0}^n {(_k^n )q^{n - k} s_k (f, x)} $$ denote the Euler means of the Fourier series of the 2π-perodic function f(x). For an integer q>0 and a function f(x)∈H^ω?C([0, 2π]), the main term of deviationf(x)-蒖_n(q, f, x) is calculated in this note. Asymptoteaally exact order 3 of decrease of the upper bound of such deviations over the class H^ω is also obtained.     

Instability of Standing Wave for the Klein–Gordon–Hartree Equation

The instability property of the standing wave uω(t, x) = eiωtφ(x) for the Klein–Gordon– Hartree equation     

The Representation of a C0-Semigroup of Linear Operators in a Banach Space on the Set of Entire Vectors of its Generator

For a C₀-semigroup \({\{U(t)\}_{t \geq 0}}\) of linear operators in a Banach space \({{\mathfrak{B}}}\) with generator A, we describe the set of elements \({x \in {\mathfrak{B}}}\) whose orbits U(t)x can be extended to entire \({{\mathfrak{B}}}\)-valued functions of a finite order and a finite type, and establish the conditions under which this set is dense in \({{\mathfrak{B}}}\). The Hille problem of finding vectors \({x \in {\mathfrak{B}}}\) such that there exists the limit \({\lim\limits_{n \to \infty}\left(I + \frac{tA}{n}\right)^{n}x}\) is also solved in the paper. We prove that this limit exists if and only if x is an entire vector of the operator A, and if this is the case, then it coincides with U(t)x.     

Limit ultraspherical series and their approximation properties

We study new series of the form $\sum\nolimits_{k = 0}^\infty {f_k^{ - 1} \hat P_k^{ - 1} (x)} $ in which the general term $f_k^{ - 1} \hat P_k^{ - 1} (x)$ , k = 0, 1, …, is obtained by passing to the limit as α→?1 from the general term $\hat f_k^\alpha \hat P_k^{\alpha ,\alpha } (x)$ of the Fourier series $\sum\nolimits_{k = 0}^\infty {f_k^\alpha \hat P_k^{\alpha ,\alpha } (x)} $ in Jacobi ultraspherical polynomials $\hat P_k^{\alpha ,\alpha } (x)$ generating, for α> ?1, an orthonormal system with weight (1 ? x ₂)α on [?1, 1]. We study the properties of the partial sums $S_n^{ - 1} (f,x) = \sum\nolimits_{k = 0}^n {f_k^{ - 1} \hat P_k^{ - 1} (x)} $ of the limit ultraspherical series $\sum\nolimits_{k = 0}^\infty {f_k^{ - 1} \hat P_k^{ - 1} (x)} $ . In particular, it is shown that the operator S _n ^?1 (f) = S _n ^?1 (f, x) is the projection onto the subspace of algebraic polynomials p _n = p _n (x) of degree at most n, i.e., S _n (p _n ) = p _n ; in addition, S _n ^?1 (f, x) coincides with f(x) at the endpoints ±1, i.e., S _n ^?1 (f,±1) = f(±1). It is proved that the Lebesgue function Λ _n (x) of the partial sums S _n ^?1 (f, x) is of the order of growth equal to O(ln n), and, more precisely, it is proved that $\Lambda _n (x) \leqslant c(1 + \ln (1 + n\sqrt {1 - x^2 } )), - 1 \leqslant x \leqslant 1$ .     

Behaviour at infinity of solutions of some linear functional equations in normed spaces

Let \({\mathbb{K} \in \{\mathbb{R}, \mathbb{C}\}, I = (d, \infty), \phi : I \to I}\) be unbounded continuous and increasing, X be a normed space over \({\mathbb{K}, \mathcal{F} : = \{f \in X^I : {\rm lim}_{t \to \infty} f(t) {\rm exists} \, {\rm in} X\},\hat{a} \in \mathbb{K}, \mathcal{A}(\hat{a}) : = \{\alpha \in \mathbb{K}^I : {\rm lim}_{t \to \infty} \alpha(t) = \hat{a}\},}\) and \({\mathcal{X} : = \{x \in X^I : {\rm lim} \, {\rm sup}_{t \to \infty} \|x(t)\| < \infty\}}\) . We prove that the limit lim _{t → ∞} x(t) exists for every \({f \in \mathcal{F}, \alpha \in \mathcal{A}(\hat{a})}\) and every solution \({x \in \mathcal{X}}\) of the functional equation $$x(\phi(t)) = \alpha(t) x(t) + f(t)$$ if and only if \({|\hat{a}| \neq 1}\) . Using this result we study behaviour of bounded at infinity solutions of the functional equation $$x(\phi^{[k]}(t)) = \sum_{j=0}^{k-1} \alpha_j(t) x (\phi^{[j]}(t)) + f(t),$$ under some conditions posed on functions \({\alpha_j(t), j = 0, 1,\ldots, k - 1,\phi}\) and f.     

Proportionally modular numerical semigroups generated by arithmetic progressions

A numerical semigroup is a submonoid of \({{\mathbb {Z}}}_{\ge 0}\) whose complement in \({{\mathbb {Z}}}_{\ge 0}\) is finite. For any set of positive integers a, b, c, the numerical semigroup S(a, b, c) formed by the set of solutions of the inequality \(ax \bmod {b} \le cx\) is said to be proportionally modular. For any interval \([\alpha ,\beta ]\), \(S\big ([\alpha ,\beta ]\big )\) is the submonoid of \({{\mathbb {Z}}}_{\ge 0}\) obtained by intersecting the submonoid of \({{\mathbb {Q}}}_{\ge 0}\) generated by \([\alpha ,\beta ]\) with \({{\mathbb {Z}}}_{\ge 0}\). For the numerical semigroup S generated by a given arithmetic progression, we characterize a, b, c and \(\alpha ,\beta \) such that both S(a, b, c) and \(S\big ([\alpha ,\beta ]\big )\) equal S.

     

Linear independence of time-frequency shifts under a generalized Schrödinger representation

Let r_\mathbbR \rho_{\mathbb{R}} be the classical Schrödinger representation of the Heisenberg group and let L \Lambda be a finite subset of \mathbbR ×\mathbbR \mathbb{R} \times \mathbb{R} . The question of when the set of functions {t ? e^{2 pi y t} f(t + x) = (r_\mathbbR(x, y, 1) f)(t) : (x, y) ? L} \{t \mapsto e^{2 \pi i y t} f(t + x) = (\rho_{\mathbb{R}}(x, y, 1) f)(t) : (x, y) \in \Lambda\} is linearly independent for all f ? L²(\mathbbR), f 1 0 f \in L^2(\mathbb{R}), f \neq 0 , arises from Gabor analysis. We investigate an analogous problem for locally compact abelian groups G. For a finite subset L \Lambda of G ×[^(G)] G \times \widehat{G} and r_G \rho_G the Schrödinger representation of the Heisenberg group associated with G, we give a necessary and in many situations also sufficient condition for the set {r_G (x, w, 1)f : (x, w) ? L} \{\rho_G (x, w, 1)f : (x, w) \in \Lambda\} to be linearly independent for all f ? L²(G), f 1 0 f \in L^2(G), f \neq 0 .     

A Spanning Tree with High Degree Vertices

Let G be a connected graph, let ${X \subset V(G)}$ and let f be a mapping from X to {2, 3, . . .}. Kaneko and Yoshimoto (Inf Process Lett 73:163–165, 2000) conjectured that if |N _G (S) ? X| ≥ f (S) ? 2|S| + ω _G (S) + 1 for any subset ${S \subset X}$ , then there exists a spanning tree T such that d _T (x) ≥ f (x) for all ${x \in X}$ . In this paper, we show a result with a stronger assumption than this conjecture; if |N _G (S) ? X| ≥ f (S) ? 2|S| + α(S) + 1 for any subset ${S \subset X}$ , then there exists a spanning tree T such that d _T (x) ≥ f (x) for all ${x \in X}$ .     

Completeness of the Grid Translates of Functions

If $f\in L^{p}(\mathbb{R}^{d})$ is a bounded real valued continuous function which has a unique maximum or a unique minimum at a point $x_{0}\in \mathbb{R}^{d}$ and if the inverse image of the neighborhoods of f(x ₀) shrinks regularly to x ₀, then $\mathrm{ span }\{f^{m}(x-2^{-m}\varSigma_{i=1}^{d} j_{i} e_{i})\mid m\in\mathbb{N}, j_{i}\in\mathbb{Z}\}$ is a dense subset of $L^{p}(\mathbb{R}^{d}), 1\le p<\infty$ where f ^m (x)=f(x) ^m and {e _i } is the natural basis of $\mathbb{R}^{d}$ . The result extends to all homogeneous groups, Riemannian symmetric spaces of noncompact type, Damek-Ricci spaces etc.     

From Chaos to Global Convergence

The main purpose of this paper is to investigate dynamical systems F : \mathbbR² ? \mathbbR²{F : \mathbb{R}^2 \rightarrow \mathbb{R}^2} of the form F(x, y) = (f(x, y), x). We assume that f : \mathbbR² ? \mathbbR{f : \mathbb{R}^2 \rightarrow \mathbb{R}} is continuous and satisfies a condition that holds when f is non decreasing with respect to the second variable. We show that for every initial condition x₀ = (x ₀, y ₀), such that the orbit

A wavelike functional equation of Pexider type

Summary. Let (G, +) and (H, +) be abelian groups such that the equation 2u = v 2u = v is solvable in both G and H. It is shown that if f₁, f₂, f₃, f₄, : G ×G ? H f_1, f_2, f_3, f_4, : G \times G \longrightarrow H satisfy the functional equation f₁(x + t, y + s) + f₂(x - t, y - s) = f₃(x + s, y - t) + f₄(x - s, y + t) for all x, y, s, t ? G x, y, s, t \in G , then f₁, f₂, f₃, and f₄ are given by f₁ = w + h, f₂ = w - h, f₃ = w + k, f₄ = w - k where w : G ×G ? H w : G \times G \longrightarrow H is an arbitrary solution of f (x + t, y + s) + f (x - t, y - s) = f (x + s, y - t) + f (x - s, y + t) for all x, y, s, t ? G x, y, s, t \in G , and h, k : G ×G ? H h, k : G \times G \longrightarrow H are arbitrary solutions of D_y,t³g(x,y) = 0 \Delta_{y,t}^{3}g(x,y) = 0 and D_x,t³g(x,y) = 0 \Delta_{x,t}^{3}g(x,y) = 0 for all x, y, s, t ? G x, y, s, t \in G .     

A generalized Cole-Hopf transformation for a two-dimensional burgers equation with a variable coefficient

The direct method is applied to the two dimensional Burgers equation with a variable coefficient (u _t + uu _x ? u _xx ) _x + s(t)u _yy = 0 is transformed into the Riccati equation $H' - \tfrac{1} {2}H^2 + \left( {\tfrac{\rho } {2} - 1} \right)H = 0$ via the ansatz $u\left( {x,y,t} \right) = \tfrac{1} {{\sqrt t }}H(\rho ) + \tfrac{y} {{2\sqrt t }}\rho \left( {x,y,t} \right) = \tfrac{x} {{\sqrt t }} - y$ , provided that s(t) = t ^?3/2. Further, a generalized Cole-Hopf transformations $u\left( {x,y,t} \right) = \tfrac{y} {{2\sqrt t }} - \tfrac{2} {{\sqrt t }}\tfrac{{U_\rho (\rho ,r)}} {{U(\rho ,r)}}$ , $\rho \left( {x,y,t} \right) = \tfrac{x} {{\sqrt t }} - y$ , r(t) = log t is derived to linearize (u _t + uu _x ? u _xx ) _x + t ^?3/2 u _yy to the parabolic equation $U_r = U_{\rho \rho } + \left( {\tfrac{\rho } {2} - 1} \right)U_\rho$ .     

Quasi-Periodic Solutions for Non-Autonomous mKdV Equation

In this paper, we consider the non-autonomous modified Korteweg-de Vries (mKdV) equation

$${u_t} = {u_{xxx}} - 6f\left( {\omega t} \right){u^2}{u_x},x \in \mathbb{R}/2\pi \mathbb{Z}$$

, where f(ωt) is real analytic and quasi-periodic in t with frequency vector ω = (ω₁,ω₂, · · ·; ω _m ). Basing on an abstract infinite dimensional KAM theorem dealing with unbounded perturbation vector-field, we obtain the existence of Cantor families of smooth quasi-periodic solutions.

     

Fourth-order Schrödinger type operator with singular potentials

We prove that a deformation of a hypersurface in an (n + 1)-dimensional real space form \({{\mathbb S}^{n+1}_{p,1}}\) induces a Hamiltonian variation of the normal congruence in the space \({{\mathbb L}({\mathbb S}^{n+1}_{p,1})}\) of oriented geodesics. As an application, we show that every Hamiltonian minimal submanifold in \({{\mathbb L}({\mathbb S}^{n+1})}\) (resp. \({{\mathbb L}({\mathbb H}^{n+1})}\)) with respect to the (para-)Kähler Einstein structure is locally the normal congruence of a hypersurface \({\Sigma}\) in \({{\mathbb S}^{n+1}}\) (resp. \({{\mathbb H}^{n+1}}\)) that is a critical point of the functional \({{\mathcal W}(\Sigma) = \int_\Sigma\left(\Pi_{i=1}^n|\epsilon+k_i^2|\right)^{1/2}}\), where k_i denote the principal curvatures of \({\Sigma}\) and \({\epsilon \in \{-1, 1\}}\). In addition, for \({n = 2}\), we prove that every Hamiltonian minimal surface in \({{\mathbb L}({\mathbb S}^{3})}\) (resp. \({{\mathbb L}({\mathbb H}^{3})}\)), with respect to the (para-)Kähler conformally flat structure, is the normal congruence of a surface in \({{\mathbb S}^{3}}\) (resp. \({{\mathbb H}^{3}}\)) that is a critical point of the functional \({{\mathcal W}\prime(\Sigma) = \int_\Sigma\sqrt{H^2-K+1}}\) (resp. \({{\mathcal W}\prime(\Sigma) = \int_\Sigma\sqrt{H^2-K-1}}\)), where H and K denote, respectively, the mean and Gaussian curvature of \({\Sigma}\).     

Convolutions of random measures on compact groups

LetG be a compact group andM ₁(G) be the convolution semigroup of all Borel probability measures onG with the weak topology. We consider a stationary sequence {μ _n } _n=?∞ ^+∞ of random measures μ _n =μ _n (ω) inM ₁(G) and the convolutions $$v_{m,n} (\omega ) = \mu _m (\omega )* \cdots *\mu _{n - 1} (\omega ), m< n$$ and $$\alpha _n^{( + k)} (\omega ) = \frac{1}{k}\sum\limits_{i = 1}^k {v_{n,n + i} (\omega ),} \alpha _n^{( - k)} (\omega ) = \frac{1}{k}\sum\limits_{i = 1}^k {v_{n - i,n} (\omega )} $$ We describe the setsA _m ⁺ (ω) andA _n ⁺ (ω) of all limit points ofv _m,n(ω) asm→?∞ orn→+∞ and the setA _∞(ω) of its two-sided limit points for typical realizations of {μ _n (ω)} _n=?∞ ^+∞ . Using an appropriate random ergodic theorem we study the limit random measures ρ _n ^(±) (ω)=lim _k→∞ α _n ^(±k) (ω).     

Finite determinacy and Whitney equisingularity of map germs from {\mathbb{C}^n} to {\mathbb{C}^{2n-1}}

We show that a holomorphic map germ ${f : (\mathbb{C}^n,0)\to(\mathbb{C}^{2n-1},0)}$ is finitely determined if and only if the double point scheme D(f) is a reduced curve. If n ≥ 3, we have that μ(D ²(f)) = 2μ(D ²(f)/S ₂)+C(f)?1, where D ²(f) is the lifting of the double point curve in ${(\mathbb{C}^n\times \mathbb{C}^n,0)}$ , μ(X) denotes the Milnor number of X and C(f) is the number of cross-caps that appear in a stable deformation of f. Moreover, we consider an unfolding F(t, x) = (t, f _t (x)) of f and show that if F is μ-constant, then it is excellent in the sense of Gaffney. Finally, we find a minimal set of invariants whose constancy in the family f _t is equivalent to the Whitney equisingularity of F. We also give an example of an unfolding which is topologically trivial, but it is not Whitney equisingular.     

A Characterization of Hardy Spaces Associated with Certain Schrödinger Operators

Let {K _t } _t>0 be the semigroup of linear operators generated by a Schrödinger operator ?L = Δ ? V (x) on ? ^d , d ≥ 3, where V (x) ≥ 0 satisfies Δ ^?1 V ∈ L ^∞. We say that an L ¹-function f belongs to the Hardy space \({H^{1}_{L}}\) if the maximal function ? _L f (x) = sup _t>0 |K _t f (x)| belongs to L ¹ (? ^d ). We prove that the operator (?Δ)^1/2 L ^?1/2 is an isomorphism of the space \({H^{1}_{L}}\) with the classical Hardy space H ¹(? ^d ) whose inverse is L ^1/2(?Δ)^?1/2. As a corollary we obtain that the space \({H^{1}_{L}}\) is characterized by the Riesz transforms \(R_{j}=\frac {\partial }{\partial x_{j}}L^{-1\slash 2}\) .     

Exit Time of a Hyperbolic α-Stable Process from a Halfspace or a Ball

For a hyperbolic α-stable process in the hyperbolic space \(\mathbb {H}^{d}, d\ge 2\), we prove that the mean exit time from a halfspace \(H(a)=\{x_{d}>a\}\subset \mathbb {H}^{d} \) is equal to \(\mathbb {E}^{x} \tau _{H(a)} = c(\alpha , d) \delta ^{\alpha /2}_{H(a)} (x),\) where δ_D(x) is the (hyperbolic) distance of x to D^c. Based on this exact result we provide a sharp estimate of the mean exit time from a hyperbolic ball B(x₀,R) of radius R and center x₀: \(\mathbb {E}^{x}\tau _{B(x_{0},R)}\approx (\delta _{B(x_{0},R)}(x) \tanh R)^{\alpha /2}, x\in \mathbb {H}^{d}\). By usual isomorphism argument the same estimate holds in any other model of real hyperbolic space.     

Exact bounds for simultaneous approximation of functions of two variables and their derivatives by bilinear splines

We find the exact value of the expression $$\varepsilon ^{(l,q)} {\mathbf{ }}(W^{(r,s)} ){\mathbf{ }}H^{w_1 ,w_2 } (G)) = \sup \{ ||f^{(l,q)} ( \cdot {\mathbf{ }}, \cdot ) - S_{1,1}^{(l,q)} (f;{\mathbf{ }} \cdot {\mathbf{ }}, \cdot )||_{C(G)} :f \in W^{(r,{\mathbf{ }}s)} H^{w_1 ,w_2 } (G)\} ,$$ , where? ^(l,q) (x,y)=? ^1+q ?/?x ^l ?y ^q (l, q=0, 1, 1≤l+q≤2) andS _1,1(f; x, y) is a bilinear spline interpolatingf(x, y) in the nodes of the grid Δ _mn =Δ _m ^x ×Δ _n ^y with Δ _m ^x :x _i =i/m (i=0, ..., m) and Δ _n ^y :y _j =j/n (j=0, ..., n). Here $(W^{(r,s)} ){\mathbf{ }}H^{w_1 ,w_2 } (G)$ is the class of functionsf(x, y) with continuous derivativesf ^(r,s)(x, y) (r, s=0, 1, 1≤r+s≤2) on the squareG=[0, 1]×[0, 1] and with the modulus of continuity satisfying the inequalityω(f ^(r,s);t, τ)≤ω ₁ (t)+ω ₂ (τ), whereω ₁ (τ) andω ₂ (τ) are the given moduli of continuity.