A limit theorem for matrix-solutions of Hamiltonian systems

The following limit theorem on Hamiltonian systems (resp. corresponding Riccati matrix equations) is shown: Given(N, N)-matrices,A, B, C andn ∈ {1,…, N} with the following properties:A and kemelB(x) are constant, rank(I, A, …, A ^n?1) B(x)≠N,B(x)∈C _n(R), andB(x)(A ^T)^j-1 C(x)∈C _n-j(R) forj=1, …, n. Then \(\mathop {\lim }\limits_{x \to x_0 } \eta _1^T \left( x \right)V\left( x \right)U^{ - 1} \left( x \right)\eta _2 \left( x \right) = d_1^T \left( {x_0 } \right)U\left( {x_0 } \right)d_2 \) forx ₀∈R, whenever the matricesU(x), V(x) are a conjoined basis of the differential systemU′=AU + BV, V′=CU?A ^TV, and whenever η_i(x)∈R ^N satisfy η_i(x ₀)=U(x ₀)d _i ∈ imageU(x ₀) η′_i-Aη_ni(x) ∈ imageB(x),B(x)(η′_i(x)-Aη_i(x)) ∈C _n-1 R fori=1,2.     

Commutators of BMO functions and degenerate Schr?dinger operators with certain nonnegative potentials

Let ${\mathcal{L}f(x)=-\frac{1}{\omega}\sum_{i,j} \partial_i(a_{i,j}(\cdot)\partial_jf)(x)+V(x)f(x)}$ with the non-negative potential V belonging to reverse H?lder class with respect to the measure ??(x)dx, where ??(x) satisfies the A ₂ condition of Muckenhoupt and a _i,j (x) is a real symmetric matrix satisfying ${\lambda^{-1}\omega(x)|\xi|^2\le \sum^n_{i,j=1}a_{i,j}(x)\xi_i\xi_j\le\lambda\omega(x)|\xi|^2. }$ We obtain some estimates for ${V^{\alpha}\mathcal{L}^{-\alpha}}$ on the weighted L ^p spaces and we study the weighted L ^p boundedness of the commutator ${[b, V^{\alpha} \mathcal{L}^{-\alpha}]}$ when ${b\in BMO_\omega}$ and 0?<??? ?? 1.     

The analytic spread of codimension two monomial varieties

Let ${\rm} A=k[{u_{1}^{a_{1}}},{u_{2}^{a_{2}}},\dots,{u_{n}^{a_{n}}},{u_{1}^{c_{1}}} \dots {u_{n}^{c_{n}}},{u_{1}^{b_{1}}} \dots {u_{n}^{b_{n}}}]\ \subset k[{u_{1}}, \dots {u_{n}}],$ where, a_j, b_j, C_j ∈ ?, a_j > 0, (b_j, C_j) ≠ (0,0) for 1 ≤ j ≤ n, and, further ${\underline b}:=\ ({b_{1}}, \dots,{b_{n}})\ \not=\ 0 $ and ${\underline c}:=\ ({c_{1}}, \dots,{c_{n}})\ \not=\ 0 $ . The main result says that the defining ideal I ? m = (x₁,…, x_n, y, z) ? k[x₁,…, x_n, y, z] of the semigroup ring A has analytic spread ?(I_m) at most three.     

H?lder estimates for parabolic p(x, t)-Laplacian systems

In this paper we establish the local H?lder continuity of the spatial gradient of weak solutions to the parabolic p(x, t)-Laplacian system $$\begin{array}{lll}\partial_{t}u - {\rm div} \left( a(x, t)|Du|^{p(x, t)-2}Du \right) = 0.\end{array}$$ More precisely, we prove that $$\begin{array}{lll}Du \in C_{\rm loc}^{0;\alpha,\alpha/2} \quad {\rm for\; some} \; \alpha \in (0, 1],\end{array}$$ provided p(·) and a(·) are H?lder-continuous.     

The “Full Müntz Theorem” inL p[0, 1] for 0<p<∞

Denote by span {f ₁,f ₂, …} the collection of all finite linear combinations of the functionsf ₁,f ₂, … over ?. The principal result of the paper is the following. Theorem (Full Müntz Theorem in L_p(A) for p ∈ (0, ∞) and for compact sets A ? [0, 1] with positive lower density at 0). Let A ? [0, 1] be a compact set with positive lower density at 0. Let p ∈ (0, ∞). Suppose (λ _j ) _j=1 ^∞ is a sequence of distinct real numbers greater than ?(1/p). Then span {x ^λ1,x ^λ2,…} is dense in L_p(A) if and only if $\sum\limits_{j = 1}^\infty {\frac{{\lambda _j + \left( {1/p} \right)}}{{\left( {\lambda _j + \left( {1/p} \right)} \right)^2 + 1}} = \infty } $ . Moreover, if $\sum\limits_{j = 1}^\infty {\frac{{\lambda _j + \left( {1/p} \right)}}{{\left( {\lambda _j + \left( {1/p} \right)} \right)^2 + 1}} = \infty } $ , then every function from the L_p(A) closure of {x ^λ1,x ^λ2,…} can be represented as an analytic function on {z ∈ ? \ (?∞,0] : |z| < r_A} restricted to A ∩ (0, r_A) where $r_A : = \sup \left\{ {y \in \mathbb{R}:\backslash ( - \infty ,0]:\left| z \right|< r_A } \right\}$ (m(·) denotes the one-dimensional Lebesgue measure). This improves and extends earlier results of Müntz, Szász, Clarkson, Erdös, P. Borwein, Erdélyi, and Operstein. Related issues about the denseness of {x ^λ1,x ^λ2,…} are also considered.     

Extinction of solutions of semilinear higher order parabolic equations with degenerate absorption potential

We study the first vanishing time for solutions of the Cauchy–Dirichlet problem for the 2m-order (m ≥ 1) semilinear parabolic equation ${u_t + Lu + a(x) |u|^{q-1}u=0,\,0 < q < 1}We study the first vanishing time for solutions of the Cauchy–Dirichlet problem for the 2m-order (m ≥ 1) semilinear parabolic equation u_t + Lu + a(x) |u|^q-1u=0, 0 < q < 1{u_t + Lu + a(x) |u|^{q-1}u=0,\,0 < q < 1} with a(x) ≥ 0 bounded in the bounded domain W ì \mathbb R^N{\Omega \subset \mathbb R^N}. We prove that if N 1 2m{N \ne 2m} and ò₀¹ s^-1 (meas\nolimits {x ? W: |a(x)| ￡ s })^q ds < ￥, q = min(\frac2mN,1){\int_0^1 s^{-1} (\mathop{\rm meas}\nolimits \{x \in \Omega : |a(x)| \leq s \})^\theta {\rm d}s < \infty,\ \theta=\min\left(\frac{2m}N,1\right)}, then the solution u vanishes in a finite time. When N = 2m, the same property holds if ${\int_0^1 s^{-1} \left( \mathop{\rm meas}\nolimits \{x \in \Omega : |a(x)| \leq s \} \right) \ln \left( \mathop{\rm meas}\nolimits \{x \in \Omega : |a(x)| \leq s \} \right) {\rm d}s > - \infty}${\int_0^1 s^{-1} \left( \mathop{\rm meas}\nolimits \{x \in \Omega : |a(x)| \leq s \} \right) \ln \left( \mathop{\rm meas}\nolimits \{x \in \Omega : |a(x)| \leq s \} \right) {\rm d}s > - \infty}.     

A note on uniqueness problem for meromorphic mappings with 2N + 3 hyperplanes

In this paper,a uniqueness theorem for meromorphic mappings partially sharing 2N+3 hyperplanes is proved.For a meromorphic mapping f and a hyperplane H,set E(H,f) = {z|ν(f,H)(z) 0}.Let f and g be two linearly non-degenerate meromorphic mappings and {Hj}j2=N1+ 3be 2N + 3 hyperplanes in general position such that dim f-1(Hi) ∩ f-1(Hj) n-2 for i = j.Assume that E(Hj,f) E(Hj,g) for each j with 1 j 2N +3 and f = g on j2=N1+ 3f-1(Hj).If liminfr→+∞ 2j=N1+ 3N(1f,Hj)(r) j2=N1+ 3N(1g,Hj)(r) NN+1,then f ≡ g.     

Some necessary and sufficient conditions for existence of positive solutions for third order singular super-linear multi-point boundary value problems

We mainly study the existence of positive solutions for the following third order singular super-linear multi-point boundary value problem $$ \left \{ \begin{array}{l} x^{(3)}(t)+ f(t, x(t), x'(t))=0,\quad0 where \(0\leq\alpha_{i}\leq\sum_{i=1}^{m_{1}}\alpha_{i}<1\) , i=1,2,…,m ₁, \(0<\xi_{1}< \xi_{2}< \cdots<\xi_{m_{1}}<1\) , \(0\leq\beta_{j}\leq\sum_{i=1}^{m_{2}}\beta_{i}<1\) , j=1,2,…,m ₂, \(0<\eta_{1}< \eta_{2}< \cdots<\eta_{m_{2}}<1\) . And we obtain some necessary and sufficient conditions for the existence of C ¹[0,1] and C ²[0,1] positive solutions by means of the fixed point theorems on a special cone. Our nonlinearity f(t,x,y) may be singular at t=0 and t=1.     

A positive solution of a nonlinear Schrdinger system with nonconstant potentials

In this paper, we study the existence of positive solutions to the following Schr¨odinger system:{-?u + V_1(x)u = μ_1(x)u~3+ β(x)v~2u, x ∈R~N,-?v + V_2(x)v = μ_2(x)v~3+ β(x)u~2v, x ∈R~N,u, v ∈H~1(R~N),where N = 1, 2, 3; V_1(x) and V_2(x) are positive and continuous, but may not be well-shaped; and μ_1(x), μ_2(x)and β(x) are continuous, but may not be positive or anti-well-shaped. We prove that the system has a positive solution when the coefficients Vi(x), μ_i(x)(i = 1, 2) and β(x) satisfy some additional conditions.     

On a kind of generalized Lehmer problem

For 1 ? c ? p ? 1, let E ₁,E ₂, …,E _m be fixed numbers of the set {0, 1}, and let a ₁, a ₂, …, a _m (1 ? a _i ? p, i = 1, 2, …,m) be of opposite parity with E ₁,E ₂, …,E _m respectively such that a ₁ a ₂…a _m ≡ c (mod p). Let $$N(c,m,p) = {1 \over {{2^{m - 1}}}}\mathop {\sum\limits_{{a_1} = 1}^{p - 1} {\sum\limits_{{a_2} = 1}^{p - 1} \ldots } }\limits_{{a_1}{a_2} \ldots \equiv c{\rm{ (}}\bmod {\rm{ }}p)} \sum\limits_{{a_m} = 1}^{p - 1} {(1 - {{( - 1)}^{{a_1} + {E_1}}})(1 - {{( - 1)}^{{a_2} + {E_2}}}) \ldots } (1 - {( - 1)^{{a_m} + {E_m}}}).$$ We are interested in the mean value of the sums $$\sum\limits_{c = 1}^{p - 1} {{E^2}} (c,m,p),$$ where E(c, m, p) = N(c,m, p)?((p ? 1) ^m?1)/(2 ^m?1) for the odd prime p and any integers m ? 2. When m = 2, c = 1, it is the Lehmer problem. In this paper, we generalize the Lehmer problem and use analytic method to give an interesting asymptotic formula of the generalized Lehmer problem.     

Poincaré series

Let N_α denote the number of solutions to the congruence F(x_i,..., x_m) ≡ 0 (mod p^α) for a polynomial F(x_i,..., x_m) with integral p-adic coefficients. We examine the series \(\varphi (t) = \sum\nolimits_{\alpha = 0}^\infty {N_{\alpha ^{t^\alpha } } } \) . called the Poincaré series for the polynomial F. In this work we prove the rationality of the series ?(t) for a class of isometrically equivalent polynomials of m variables, m ≥ 2, containing the sum of two forms ?_n(x, y) + ?_n+1(x, y) respectively of degrees n and n+1, n ≥ 2. In particular the Poincaré series for any third degree polynomial F₃(x, y) (over the set of unknowns) with integral p-adic coefficients is a rational function of t.     

Stability of the Graph of a Convex Function

Let x: M → A ⁿ⁺¹ be the graph of some strongly convex function x ⁿ+1= ?( x₁,…,x_n) defined on a domain Ω ? A ⁿ in a real affine space. We consider the relative metric G, defined by $ G=\sum{\partial^{2}f\over\partial x_{i}\partial x_{j}}dx_{i}dx_{j}$ .In this paper, we calculate the second variation of the area integral with respect to the relative metric G. We prove that the parabolic affine hyperspheres are stable.     

On the exceptional sets in Sylvester expansions*

For any x ?? (0, 1], let the series \( {\sum}_{n=1}^{\infty }1/{d}_n(x) \) be the Sylvester expansion of x, where {d _j (x),?j?≥?1} is a sequence of positive integers satisfying d₁(x)?≥?2 and d_j?+?1(x)?≥?d _j (x)(d _j (x)???1)?+?1 for j?≥?1. Suppose ? : ? → ?⁺ is a function satisfying ?(n+1) – ? (n) → ∞ as n → ∞. In this paper, we consider the set

$$ E\left(\phi \right)=\left\{x\kern0.5em \in \left(0,1\right]:\kern0.5em \underset{n\to \infty }{\lim}\frac{\log {d}_n(x)-{\sum}_{j=1}^{n-1}\log {d}_j(x)}{\phi (n)}=1\right\} $$

and quantify the size of the set in the sense of Hausdorff dimension. As applications, for any β > 1 and γ > 0, we get the Hausdorff dimension of the set \( \left\{x\in \kern1em \left(0,1\right]:\kern0.5em {\lim}_{n\to \infty}\left(\log {d}_n(x)-{\sum}_{j=1}^{n-1}\log {d}_j(x)\right)/{n}^{\beta }=\upgamma \right\}, \) and for any τ > 1 and η > 0, we get a lower bound of the Hausdorff dimension of the set \( \left\{x\kern0.5em \in \kern0.5em \left(0,1\right]:\kern1em {\lim}_{n\to \infty}\left(\log {d}_n(x)-{\sum}_{j=1}^{n-1}\log {d}_j(x)\right)/{\tau}^n=\eta \right\}. \)     

Zolotarev's first problem — the best approximation by polynomials of degree ≤n − 2 tox n − nσx n−1 in [−1, 1]

Chebyshev determined $$\mathop {\min }\limits_{(a)} \mathop {\max }\limits_{ - 1 \le x \le 1} |x^n + a_1 x^{n - 1} + \cdots + a_n |$$ as 2^1?n , which is attained when the polynomial is 2^1?n T _n(x), whereT _n(x) = cos(n arc cosx). Zolotarev's First Problem is to determine $$\mathop {\min }\limits_{(a)} \mathop {\max }\limits_{ - 1 \le x \le 1} |x^n - n\sigma x^{n - 1} + a_2 x^{n - 2} + \cdots + a_n |$$ as a function ofn and the parameter σ and to find the extremal polynomials. He solved this in 1878. Another discussion was given by Achieser in 1928, and another by Erdös and Szegö in 1942. The case when 0≤|σ|≤ tan²(π/2n) is quite simple, but that for |σ|> tan²(π/2n) is quite different and very complicated. We give two new versions of the proof and discuss the change in character of the solution. Both make use of the Equal Ripple Theorem.     

Asymptotic properties of least squares estimators for discrete compound distributions

Let (X, Λ) be a pair of random variables, where Λ is an Ω (a compact subset of the real line) valued random variable with the density functiong(Θ: α) andX is a real-valued random variable whose conditional probability function given Λ=Θ is P {X=x|Θ} withx=x ₀, x₁, …. Based onn independent observations ofX, x ⁽ⁿ⁾, we are to estimate the true (unknown) parameter vectorα=(α ₁, α₂, ...,α_m) of the probability function ofX, P_α(X=∫_ΩP{X=x|Θ}g(Θ:α)dΘ. A least squares estimator of α is any vector \(\hat \alpha \left( {X^{\left( n \right)} } \right)\) which minimizes $$n^{ - 1} \sum\limits_{i = 1}^n {\left( {P_\alpha \left( {x_i } \right) - fn\left( {x_i } \right)} \right)^2 } $$ wherex ⁽ⁿ⁾=(x₁, x₂,…,x _n) is a random sample ofX andf _n(x_i)=[number ofx _i inx ⁽ⁿ⁾]/n. It is shown that the least squares estimators exist as a unique solution of the normal equations for all sufficiently large sample size (n) and the Gauss-Newton iteration method of obtaining the estimator is numerically stable. The least squares estimators converge to the true values at the rate of \(O\left( {\sqrt {2\log \left( {{{\log n} \mathord{\left/ {\vphantom {{\log n} n}} \right. \kern-0em} n}} \right)} } \right)\) with probability one, and has the asymptotically normal distribution.     

Rational approximations of real numbers

For anyx ∈ r put $$c(x) = \overline {\mathop {\lim }\limits_{t \to \infty } } \mathop {\min }\limits_{(p,q\mathop {) \in Z}\limits_{q \leqslant t} \times N} t\left| {qx - p} \right|.$$ . Let [x₀; x₁,..., x_n, ...] be an expansion of x into a continued fraction and let \(M = \{ x \in J,\overline {\mathop {\lim }\limits_{n \to \infty } } x_n< \infty \}\) .Forx∈M put D(x)=c(x)/(1?c(x)). The structure of the set \(\mathfrak{D} = \{ D(x),x \in M\}\) is studied. It is shown that $$\mathfrak{D} \cap (3 + \sqrt 3 ,(5 + 3\sqrt 3 )/2) = \{ D(x^{(n,3} )\} _{n = 0}^\infty \nearrow (5 + 3\sqrt 3 )/2,$$ where \(x^{(n,3)} = [\overline {3;(1,2)_n ,1} ].\) This yields for \(\mu = \inf \{ z,\mathfrak{D} \supset (z, + \infty )\}\) (“origin of the ray”) the following lower bound: μ?(5+3√3)/2=5.0n>(5 + 3/3)/2=5.098.... Suppose a∈n. Put \(M(a) = \{ x \in M,\overline {\mathop {\lim }\limits_{n \to \infty } } x_n = a\}\) , \(\mathfrak{D}(a) = \{ D(x),x \in M(a)\}\) . The smallest limit point of \(\mathfrak{D}(a)(a \geqslant 2)\) is found. The structure of (a) is studied completely up to the smallest limit point and elucidated to the right of it.     

Commutators of BMO functions and degenerate Schr?dinger operators with certain nonnegative potentials

Let Lf(x)=-\frac1w?_i,j ?_i(a_i,j(·)?_jf)(x)+V(x)f(x){\mathcal{L}f(x)=-\frac{1}{\omega}\sum_{i,j} \partial_i(a_{i,j}(\cdot)\partial_jf)(x)+V(x)f(x)} with the non-negative potential V belonging to reverse H?lder class with respect to the measure ω(x)dx, where ω(x) satisfies the A ₂ condition of Muckenhoupt and a _i,j (x) is a real symmetric matrix satisfying l^-1w(x)|x|² ￡ ?ⁿ_i,j=1a_i,j(x)x_ix_j ￡ lw(x)|x|².{\lambda^{-1}\omega(x)|\xi|^2\le \sum^n_{i,j=1}a_{i,j}(x)\xi_i\xi_j\le\lambda\omega(x)|\xi|^2. } We obtain some estimates for V^aL^-a{V^{\alpha}\mathcal{L}^{-\alpha}} on the weighted L ^p spaces and we study the weighted L ^p boundedness of the commutator [b, V^a L^-a]{[b, V^{\alpha} \mathcal{L}^{-\alpha}]} when b ? BMO_w{b\in BMO_\omega} and 0 < α ≤ 1.     

Two results on arithmetical functions

Generalizing two results of Rieger [8] and Selberg [10] we give asymptotic formulas for sums of type $${\matrix {\sum \limits_{n\leq x}\cr n\equiv l({\rm mod}k)\cr f_{\kappa}(n)\equiv s_{\kappa}({\rm mod}p_{\kappa})\cr (\kappa=1,\dots,r)\cr}}\qquad \chi(n)\qquad {\rm and} {\matrix {\sum \limits_{n\leq x}\cr n\equiv l({\rm mod}k)\cr f_{\kappa}(n)\equiv s_{\kappa}({\rm mod}p_{\kappa})\cr (\kappa=1,\dots,r)\cr}}\qquad \chi(n),$$ where χ is a suitable multiplicative function, f₁,…, f _r are “small” additive, prime-independent arithmetical functions and k, l are coprime. The proofs are based on an analytic method which consists of considering the Dirichlet series generated by $ \chi(n)z_{1}^{f_{1}(n)}\cdot... \cdot z_{r}^{f_{r}(n)},z_{1}\dots z_{r} $ complex.     

Bounds for the spectral abscissa of an element in a Banach algebra

For an arbitrary element x with spectrum sp(x) in a Banach algebra with identity e ≠ 0 we define the upper (lower) spectral abscissa \(\mathop {\sigma + (x)}\limits_{( - )} = \mathop {\max }\limits_{(\min )} \operatorname{Re} \lambda ,\lambda \in sp(x)\) . With the aid of the spectral radius \(\rho (x) = \mathop {\max }\limits_{\lambda \in sp(x)} \left| \lambda \right| = \mathop {\lim }\limits_{n \to + \infty } \parallel x^n {{1 - } \mathord{\left/ {\vphantom {{1 - } n}} \right. \kern-0em} n}\) we prove the following bounds: γ_?(x)?σ_?(x)?Γ_?(x)?₊(x)?σ₊(x)?γ₊(x), Γ_(±)(x)=(2δ_(±))^?1 (ρ _δ ² )_(±)?δ _(±) ² ?ρ ₀ ² )(δ_(±)≠0), γ_(±)(x)= (±)ρ_δ(±)?δ_(±), δ₊?0, δ_??0 ρ _(±) ^δ = ρ(x+eδ_(±)). We mention a case where equality is achieved, some corollaries,and discuss the sharpness of the bounds: for every ? > 0 there is a δ: ¦δ¦ ≥ρ ₀ ² /2?, such that Δ: = ¦γ_(±) x?Γ_(±) x¦?ε and conversely, if the bounds are computed for some δ ≠ 0, then △ ≤ρ ₀ ² /2 ¦δ¦. An example is considered.     

A local mountain pass type result for a system of nonlinear Schr?dinger equations

We consider a singular perturbation problem for a system of nonlinear Schr?dinger equations: $$ \begin{array}{l} -\varepsilon^2\Delta v_1 +V_1(x)v_1 = \mu_1 v_1^3 + \beta v_1v_2^2 \quad {\rm in}\,\,{\bf R}^N, \\ -\varepsilon^2\Delta v_2 +V_2(x)v_2 = \mu_2 v_2^3 + \beta v_1^2v_2 \quad {\rm in}\,\,{\bf R}^N, \\ \null\ v_1(x), \ v_2(x) >0 \quad {\rm in}\,\,{\bf R}^N, \\ \null\ v_1(x), \ v_2(x)\in H^1({\bf R}^N), \end{array} \quad\quad\quad\quad\quad (*) $$ where N?=?2, 3, ?? ₁, ?? ₂, ?? > 0 and V ₁(x), V ₂(x): R ^N ?? (0, ??) are positive continuous functions. We consider the case where the interaction ?? > 0 is relatively small and we define for ${P\in{\bf R}^N}$ the least energy level m(P) for non-trivial vector solutions of the rescaled ??limit?? problem: $$ \begin{array}{l} -\Delta v_1 +V_1(P)v_1 = \mu_1 v_1^3 + \beta v_1v_2^2 \quad {\rm in}\,\,{\bf R}^N, \\ -\Delta v_2 +V_2(P)v_2 = \mu_2 v_2^3 + \beta v_1^2v_2 \quad {\rm in}\,\,{\bf R}^N, \\ \null\ v_1(x), \ v_2(x) >0 \quad {\rm in}\,\,{\bf R}^N, \\ \null\ v_1(x), \ v_2(x)\in H^1({\bf R}^N). \end{array} \quad\quad\quad\quad\quad\quad (**) $$ We assume that there exists an open bounded set ${\Lambda\subset{\bf R}^N}$ satisfying $$ {\mathop {\rm inf} _{P\in\Lambda} m(P)} < {\mathop {\rm inf}_{P\in\partial\Lambda} m(P)}. $$ We show that (*) possesses a family of non-trivial vector positive solutions ${\{(v_{1\varepsilon}(x), v_{2\varepsilon} (x))\}_{\varepsilon\in (0,\varepsilon_0]}}$ which concentrates??after extracting a subsequence ?? _n ?? 0??to a point ${P_0\in\Lambda}$ with ${m(P_0)={\rm inf}_{P\in\Lambda}m(P)}$ . Moreover (v _1?? (x), v _2?? (x)) converges to a least energy non-trivial vector solution of (**) after a suitable rescaling.