Schrödinger equation and oscillatory Hilbert transforms of second degree

Let $h(t,x): = p.v. \sum\limits_{n \in Z\backslash \left| 0 \right|} {\frac{{e^{\pi i(tn^2 + 2xn)} }}{{2\pi in}}} = \mathop {\lim }\limits_{N \to \infty } \sum\limits_{0< \left| n \right| \leqslant N} {\frac{{e^{\pi i(tn^2 + 2xn)} }}{{2\pi in}}} $ ( $(i = \sqrt { - 1;} t,x$ -real variables). It is proved that in the rectangle $D: = \left\{ {(t,x):0< t< 1,\left| x \right| \leqslant \frac{1}{2}} \right\}$ , the function h satisfies the followingfunctional inequality: $\left| {h(t,x)} \right| \leqslant \sqrt t \left| {h\left( {\frac{1}{t},\frac{x}{t}} \right)} \right| + c,$ where c is an absolute positive constant. Iterations of this relation provide another, more elementary, proof of the known global boundedness result $\left\| {h; L^\infty (E^2 )} \right\| : = ess sup \left| {h(t,x)} \right|< \infty .$ The above functional inequality is derived from a general duality relation, of theta-function type, for solutions of the Cauchy initial value problem for Schrödinger equation of a free particle. Variation and complexity of solutions of Schrödinger equation are discussed.     

Chebyshev's inequalities for functions monotone in the mean

LetR be the reals ≥ 0. LetF be the set of mapsf: {1, 2, ?,n} →R. Choosew ∈ F withw _i = w(i) > 0. PutW _i = w₁ + ? + w_i. Givenf ∈ F, define \(\bar f\) ∈F by $$\bar f\left( i \right) = \frac{{\left\{ {w_i f\left( 1 \right) + \ldots + w_i f\left( i \right)} \right\}}}{{W_i }}.$$ Callf mean increasing if \(\bar f\) is increasing. Letf ₁, ?, f_t be mean decreasing andf _t+1,?: f_t+u be mean increasing. Put $$k = W_n^u \min \left\{ {w_i^{u - 1} W_i^{t - u} } \right\}.$$ Then $$k\mathop \sum \limits_{i = 1}^n w_i f_1 \left( i \right) \ldots f_{t + u} \left( i \right) \leqslant \mathop \prod \limits_{j = 1}^{t + u} (\mathop \sum \limits_{i = 1}^n w_i f_1 (i)).$$      

A sequential implicit function theorem for the chords iteration

In this paper we study the local convergence of the method $$0 \in f\left( {p,x_k } \right) + A\left( {x_{k + 1} - x_k } \right) + F\left( {x_{k + 1} } \right),$$ in order to find the solution of the generalized equation $$find x \in X such that 0 \in f\left( {p,x} \right) + F\left( x \right).$$ We first show that under the strong metric regularity of the linearization of the associated mapping and some additional assumptions regarding dependence on the parameter and the relation between the operator A and the Jacobian $\nabla _x f\left( {\bar p,\bar x} \right)$ , we prove linear convergence of the method which is uniform in the parameter p. Then we go a step further and obtain a sequential implicit function theorem describing the dependence of the set of sequences of iterates of the parameter.     

Sharp Estimates for Integral Means for Three Classes of Domains

In this paper, the following sharp estimate is proved: $$\int_{0}^{2{\pi }} {\left| {F\prime \left( {e^{i\theta } } \right)} \right|^p d\theta \leqslant \sqrt {\pi } 2^{1 + p} \frac{{\gamma \left( {{1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-\nulldelimiterspace} 2} + {p \mathord{\left/ {\vphantom {p 2}} \right. \kern-\nulldelimiterspace} 2}} \right)}} {{\gamma \left( {1 + {p \mathord{\left/ {\vphantom {p 2}} \right. \kern-\nulldelimiterspace} 2}} \right)}}} ,\quad p > - 1,$$ where F is the conformal mapping of the domain $D^ - = \left\{ {\zeta :\left| \zeta \right| > 1} \right\}$ onto the exterior of a convex curve, with $F\prime \left( \infty \right) = 1$ . For p=1, this result is due to Pólya and Shiffer. We also obtain several generalizations of this estimate under other geometric assumptions about the structure of the domain F(D ^-).     

Infinitely many solutions for the prescribed curvature problem of polyharmonic operator

We consider the following prescribed curvature problem for polyharmonic operator: $$\left\{\begin{array}{llll} D_{m} u = \tilde{K}(y)|u|^{m^*-2}u\; {\rm in}\; \mathbb{S}^N\\ u \quad\; >0\qquad\quad\quad\quad\quad{\rm on}\; \mathbb{S}^N\\ u \quad\; \in H^{m}(\mathbb{S}^N), \end{array} \right.$$ where ${m^*=\frac{2N}{N-2m}, N\geq 2m+1,m \in \mathbb{N}_{+}, \tilde{K}}$ is positive and rationally symmetric, ${\mathbb{S}^N}$ is the unit sphere with the induced Riemannian metric ${g=g_{\mathbb{S}^N},}$ and D _m is the elliptic differential operator of 2m order given by $$\begin{array}{lll}D_m={\prod\limits_{k=1}^m}{\left(-\Delta_g+\frac{1}{4}(N-2k)(N+2k-2)\right)}\end{array}$$ where Δ _g is the Laplace-Beltrami operator on ${\mathbb{S}^N}$ . We will show that problem (P) has infinitely many non-radial positive solutions, whose energy can be arbitrary large.     

Asymptotics of series of a special form

We have found the asymptotic expansions of the series $$ \sum\limits_{k=0}^{\infty } {{{{\left( {-1} \right)}}^{{\beta k}}}Q\left( {\left( {{\delta^{\alpha }}-{{{\left( {ak+b} \right)}}^{\alpha }}} \right)+} \right)/{{{\left( {ak+b} \right)}}^{r+1 }}} $$ in powers of δ as δ → +∞, where β ∈ $ \mathbb{Z} $ , α, a, b > 0, r ∈ $ \mathbb{C} $ , and Q is an algebraic polynomial satisfying the condition Q(0) = 0. In particular cases, these series arise in the approximation of periodic differentiable functions by the Riesz means and the Cesáro means.     

The tail behaviour of a random sum of subexponential random variables and vectors

Let $\left\{ X,X_{i},i=1,2,...\right\} $ denote independent positive random variables having common distribution function (d.f.) F(x) and, independent of X, let ν denote an integer valued random variable. Using X ₀=0, the random sum Z=∑ _i=0 ^ν X _i has d.f. $G(x)=\sum_{n=0}^{\infty }\Pr\{\nu =n\}F^{n\ast }(x)$ where F ^n?(x) denotes the n-fold convolution of F with itself. If F is subexponential, Kesten’s bound states that for each ε>0 we can find a constant K such that the inequality $$ 1-F^{n\ast }(x)\leq K(1+\varepsilon )^{n}(1-F(x))\, , \qquad n\geq 1,x\geq 0 \, , $$ holds. When F is subexponential and E(1 +ε) ^ν <∞, it is a standard result in risk theory that G(x) satisfies $$ 1 - G{\left( x \right)} \sim E{\left( \nu \right)}{\left( {1 - F{\left( x \right)}} \right)},\,\,x \to \infty \,\,{\left( * \right)} $$ In this paper, we show that (*) holds under weaker assumptions on ν and under stronger conditions on F. Stam (Adv. Appl. Prob. 5:308–327, 1973) considered the case where $ \overline{F}(x)=1-F(x)$ is regularly varying with index –α. He proved that if α>1 and $E{\left( {\nu ^{{\alpha + \varepsilon }} } \right)} < \infty $ , then relation (*) holds. For 0<α<1, it is sufficient that Eν<∞. In this paper we consider the case where $\overline{F}(x)$ is an O-regularly varying subexponential function. If the lower Matuszewska index $\beta (\overline{F})<-1$ , then the condition ${\text{E}}{\left( {\nu ^{{{\left| {\beta {\left( {\overline{F} } \right)}} \right|} + 1 + \varepsilon }} } \right)} < \infty$ is sufficient for (*). If $\beta (\overline{F} )>-1$ , then again Eν<∞ is sufficient. The proofs of the results rely on deriving bounds for the ratio $\overline{F^{n\ast }}(x)/\overline{F} (x)$ . In the paper, we also consider (*) in the special case where X is a positive stable random variable or has a compound Poisson distribution derived from such a random variable and, in this case, we show that for n≥2, the ratio $\overline{F^{n\ast }}(x)/\overline{F}(x)\uparrow n$ as x↑∞. In Section 3 of the paper, we briefly discuss an extension of Kesten’s inequality. In the final section of the paper, we discuss a multivariate analogue of (*).     

Sensitivity of best recovery in the Sobolev spaces W_\infty ^{r,d} , \widetilde W_\infty ^{r,d}for perturbed sampling

Let $I^d $ be the d‐dimensional cube, $I^d = [0,1]^d $ , and let $F \ni f \mapsto Sf \in L_\infty (I^d ) $ be a linear operator acting on the Sobolev space F, where Fis either $$$$ or $$$$ where $$\left\| f \right\|_F = \sum\limits_{\left| m \right| = r} {\mathop {{\text{esssup}}}\limits_{x \in I^d } \left| {\frac{{\partial f^{\left| m \right|} }} {{\partial x_1^{m_1 } \partial x_2^{m_2 } \cdot \cdot \cdot \partial x_d^{m_d } }}(x)} \right|.} $$ We assume that the problem elements fsatisfy the condition $\sum\nolimits_{\left| m \right| = r} {{\text{esssup}}} _{x \in I^d } \left| {f^{(m)} (x)} \right| \leqslant 1 $ and that Sis continuous with respect to the supremum norm. We study sensitivity of optimal recovery of Sfrom inexact samples of ftaken at npoints forming a uniform grid on $I^d $ . We assume that the inaccuracy in reading the sample vector is measured in the pth norm and bounded by a nonnegative number δ. The sensitivity is defined by the difference between the optimal errors corresponding to the exact and perturbed readings, respectively. Our main result is that this difference is bounded by $\mathcal{A}\delta $ , where $\mathcal{A} $ is a positive constant independent of the number of samples. This indicates that the curse of dimension, which badly affects the optimal errors, does not extend to sensitivity.     

On solvability of Dirichlet problem for second order elliptic equation

The paper gives some solvability conditions of the Dirichlet problem for the second order elliptic equation $$ - div(A(x)\nabla u) + (\bar b(x),\nabla u) - div(\bar c(x)u) + d(x)u = f(x) - divF(x),x \in Q,u|_{\partial Q} = u_0 \in L_2 (\partial Q) $$ in bounded domain Q ? R _n (n ≥ 2) with smooth boundary ?Q ∈ C ₁. In particular, it is proved that if the homogeneous problem has only the trivial solution, then for any u ₀ ∈L ₂(?Q) and f, F from the corresponding functional spaces the solution of the non-homogeneous problem exists, from Gushchin’s space $ C_{n - 1} (\bar Q) $ and the following inequality is true: $$ \begin{gathered} \left\| u \right\|_{C_{n - 1} (\bar Q)}^2 + \mathop \smallint \limits_Q r\left| {\nabla u} \right|^2 dx \leqslant \hfill \\ \leqslant C\left( {\left\| {u_0 } \right\|_{L_2 (\partial Q)}^2 + \mathop \smallint \limits_Q r^3 (1 + |\ln r|)^{3/2} f^2 dx + \mathop \smallint \limits_Q r(1 + |\ln r|)^{3/2} |F|^2 dx} \right) \hfill \\ \end{gathered} $$ where r(x) is the distance from a point x ∈ Q to the boundary ?Q and the constant C does not depend on u ₀, f and F.     

A Tauberian theorem for ℓ-adic sheaves on \mathbb{A} 1

Let K ∈ L ¹(?) and let f ∈ L ^∞(?) be two functions on ?. The convolution $$ \left( {K*F} \right)\left( x \right) = \int_\mathbb{R} {K\left( {x - y} \right)f\left( y \right)dy} $$ can be considered as an average of f with weight defined by K. Wiener’s Tauberian theorem says that under suitable conditions, if $$ \mathop {\lim }\limits_{x \to \infty } \left( {K*F} \right)\left( x \right) = \mathop {\lim }\limits_{x \to \infty } \int_\mathbb{R} {\left( {K*A} \right)\left( x \right)} $$ for some constant A, then $$ \mathop {\lim }\limits_{x \to \infty } f\left( x \right) = A $$ We prove the following ?-adic analogue of this theorem: Suppose K, F, G are perverse ?-adic sheaves on the affine line $ \mathbb{A} $ over an algebraically closed field of characteristic p (p ≠ ?). Under suitable conditions, if $ \left( {K*F} \right)|_{\eta _\infty } \cong \left( {K*G} \right)|_{\eta _\infty } $ , then $ F|_{\eta _\infty } \cong G|_{\eta _\infty } $ , where η _∞ is the spectrum of the local field of $ \mathbb{A} $ at ∞.     

Representation of cyclotomic fields and their subfields

Let $\mathbb{K}$ be a finite extension of a characteristic zero field $\mathbb{F}$ . We say that a pair of n × n matrices (A,B) over $\mathbb{F}$ represents $\mathbb{K}$ if $\mathbb{K} \cong {{\mathbb{F}\left[ A \right]} \mathord{\left/ {\vphantom {{\mathbb{F}\left[ A \right]} {\left\langle B \right\rangle }}} \right. \kern-0em} {\left\langle B \right\rangle }}$ , where $\mathbb{F}\left[ A \right]$ denotes the subalgebra of $\mathbb{M}_n \left( \mathbb{F} \right)$ containing A and 〈B〉 is an ideal in $\mathbb{F}\left[ A \right]$ , generated by B. In particular, A is said to represent the field $\mathbb{K}$ if there exists an irreducible polynomial $q\left( x \right) \in \mathbb{F}\left[ x \right]$ which divides the minimal polynomial of A and $\mathbb{K} \cong {{\mathbb{F}\left[ A \right]} \mathord{\left/ {\vphantom {{\mathbb{F}\left[ A \right]} {\left\langle {q\left( A \right)} \right\rangle }}} \right. \kern-0em} {\left\langle {q\left( A \right)} \right\rangle }}$ . In this paper, we identify the smallest order circulant matrix representation for any subfield of a cyclotomic field. Furthermore, if p is a prime and $\mathbb{K}$ is a subfield of the p-th cyclotomic field, then we obtain a zero-one circulant matrix A of size p × p such that (A, J) represents $\mathbb{K}$ , where J is the matrix with all entries 1. In case, the integer n has at most two distinct prime factors, we find the smallest order 0, 1-companion matrix that represents the n-th cyclotomic field. We also find bounds on the size of such companion matrices when n has more than two prime factors.     

Regularity for solutions to anisotropic obstacle problems

For Ω a bounded subset of R n,n 2,ψ any function in Ω with values in R∪{±∞}andθ∈W1,(q i)(Ω),let K(q i)ψ,θ(Ω)={v∈W1,(q i)(Ω):vψ,a.e.and v-θ∈W1,(q i)0(Ω}.This paper deals with solutions to K(q i)ψ,θ-obstacle problems for the A-harmonic equation-divA(x,u(x),u(x))=-divf(x)as well as the integral functional I(u;Ω)=Ωf(x,u(x),u(x))dx.Local regularity and local boundedness results are obtained under some coercive and controllable growth conditions on the operator A and some growth conditions on the integrand f.     

Lipschitz-Nikolski\imath constants and asymptotic simultaneous approximation on theM n -operatorsconstants and asymptotic simultaneous approximation on theM n -operators

This note is a study of approximation of classes of functions and asymptotic simultaneous approximation of functions by theM _n -operators of Meyer-König and Zeller which are defined by $$(M_n f)(x) = (1 - x)^{n + 1} \sum\limits_{k = 0}^\infty {f\left( {\frac{k}{{n + k}}} \right)} \left( \begin{array}{l} n + k \\ k \\ \end{array} \right)x^k , n = 1,2,....$$ Among other results it is proved that for 0<α≤1 $$\mathop {\lim }\limits_{n \to \infty } n^{\alpha /2} \mathop {\sup }\limits_{f \in Lip_1 \alpha } \left| {(M_n f)(x) - f(x)} \right| = \frac{{\Gamma \left( {\frac{{\alpha + 1}}{2}} \right)}}{{\pi ^{1/2} }}\left\{ {2x(1 - x)^2 } \right\}^{\alpha /2} $$ and if for a functionf, the derivativeD ^m+2 f exist at a pointx∈(0, 1), then $$\mathop {\lim }\limits_{n \to \infty } 2n[D^m (M_n f) - D^m f] = \Omega f,$$ where Ω is the linear differential operator given by $$\Omega = x(1 - x)^2 D^{m + 2} + m(3x - 1)(x - 1)D^{m + 1} + m(m - 1)(3x - 2)D^m + m(m - 1)(m - 2)D^{m - 1} .$$      

Orthogonality properties of linear combinations of orthogonal polynomials II

Let and be polynomials orthogonal on the unit circle with respect to the measures dσ and dμ, respectively. In this paper we consider the question how the orthogonality measures dσ and dμ are related to each other if the orthogonal polynomials are connected by a relation of the form , for , where . It turns out that the two measures are related by if , where and are known trigonometric polynomials of fixed degree and where the 's are the zeros of on . If the 's and 's are uniformly bounded then (under some additional conditions) much more can be said. Indeed, in this case the measures dσ and dμ have to be of the form and , respectively, where are nonnegative trigonometric polynomials. Finally, the question is considered to which weight functions polynomials of the form where denotes the reciprocal polynomial of , can be orthogonal. This revised version was published online in June 2006 with corrections to the Cover Date.     

A mean value theorem for the Dedekind zeta-function of a quadratic number field

Let \(K = \mathbb{Q}(\sqrt d )\) be any quadratic number field with discriminantd. ζ _K (s) denotes the Dedekind zeta-function. The purpose of this note is to prove the following asymptotic formula: $$\int\limits_0^T {|\zeta _K ({1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-\nulldelimiterspace} 2} + it)|^2 dt = ({6 \mathord{\left/ {\vphantom {6 {\pi ^2 }}} \right. \kern-\nulldelimiterspace} {\pi ^2 }})} \prod\limits_{p/d} {(1 + {1 \mathord{\left/ {\vphantom {1 p}} \right. \kern-\nulldelimiterspace} p})^{ - 1} \cdot R_K^2 \cdot T \cdot \log ^2 T + O_\varepsilon \left\{ {\left| d \right|1 + \varepsilon \cdot T \cdot \log T} \right\},} $$ where the implied constant depends only on ε. HereR _K, denotes the residue of ζ _K (s) ats=1.     

Strong convergence in nonparametric estimation of regression functions

The nonparametric regression problem has the objective of estimating conditional expectation. Consider the model $$Y = R(X) + Z$$ , where the random variableZ has mean zero and is independent ofX. The regression functionR(x) is the conditional expectation ofY givenX = x. For an estimator of the form $$R_n (x) = \sum\limits_{i = 1}^n {Y_i K{{\left[ {{{\left( {x - X_i } \right)} \mathord{\left/ {\vphantom {{\left( {x - X_i } \right)} {c_n }}} \right. \kern-\nulldelimiterspace} {c_n }}} \right]} \mathord{\left/ {\vphantom {{\left[ {{{\left( {x - X_i } \right)} \mathord{\left/ {\vphantom {{\left( {x - X_i } \right)} {c_n }}} \right. \kern-\nulldelimiterspace} {c_n }}} \right]} {\sum\limits_{i = 1}^n {K\left[ {{{\left( {x - X_i } \right)} \mathord{\left/ {\vphantom {{\left( {x - X_i } \right)} {c_n }}} \right. \kern-\nulldelimiterspace} {c_n }}} \right]} }}} \right. \kern-\nulldelimiterspace} {\sum\limits_{i = 1}^n {K\left[ {{{\left( {x - X_i } \right)} \mathord{\left/ {\vphantom {{\left( {x - X_i } \right)} {c_n }}} \right. \kern-\nulldelimiterspace} {c_n }}} \right]} }}} $$ , we obtain the rate of strong uniform convergence $$\mathop {\sup }\limits_{x\varepsilon C} \left| {R_n (x) - R(x)} \right|\mathop {w \cdot p \cdot 1}\limits_ = o({{n^{{1 \mathord{\left/ {\vphantom {1 {(2 + d)}}} \right. \kern-\nulldelimiterspace} {(2 + d)}}} } \mathord{\left/ {\vphantom {{n^{{1 \mathord{\left/ {\vphantom {1 {(2 + d)}}} \right. \kern-\nulldelimiterspace} {(2 + d)}}} } {\beta _n \log n}}} \right. \kern-\nulldelimiterspace} {\beta _n \log n}}),\beta _n \to \infty $$ . HereX is ad-dimensional variable andC is a suitable subset ofR ^d .     

Essential normality for certain finite linear combinations of linear-fractional composition operators on the Hardy space H 2

In 1999 Nina Zorboska and in 2003 P. S.Bourdon, D. Levi, S.K.Narayan and J.H. Shapiro investigated the essentially normal composition operator ${C_\varphi }$ , when φ is a linear-fractional self-map of D. In this paper first, we investigate the essential normality problem for the operator T _w ${C_\varphi }$ on the Hardy space H ², where w is a bounded measurable function on ?D which is continuous at each point of F(φ), φ ∈ S(2), and T _w is the Toeplitz operator with symbol w. Then we use these results and characterize the essentially normal finite linear combinations of certain linear-fractional composition operators on H ².     

Symmetry breaking bifurcation from solutions concentrating on the equator of \mathbb{S}^N

We are concerned with the elliptic problem $${\varepsilon ^2}{\Delta _{{S^n}}}u - u + {u^p} = 0{\text{ in }}{S^n},u > 0{\text{ in }}{S^n}$$ , where ${\Delta _{{S^n}}}$ is the Laplace-Beltrami operator on $\mathbb{S}^n : = \left\{ {x \in \mathbb{R}^{n + 1} ;\left\| x \right\| = 1} \right\}\left( {n \geqslant 3} \right)$ , and p ? 2. We construct a smooth branch C of solutions concentrating on the equator S ⁿ ∩ {x _{n+1 = 0}}. Using the Crandall-Rabinowitz bifurcation theorem, we show that C has infinitely many bifurcation points from which continua of nonradial solutions emanate. In applying the bifurcation theorem, we verify the transversality condition directly.     

Sharp weak-type inequalities for Hilbert transform and Riesz projection

The paper is devoted to the study of the weak norms of the classical operators in the vector-valued setting.

1. Let S, H denote the singular integral involution operator and the Hilbert transform on $L^p \left( {\mathbb{T}, \ell _\mathbb{C}^2 } \right)$ , respectively. Then for 1 ≤ p ≤ 2 and any f, $$\left\| {\mathcal{S}f} \right\|_{p,\infty } \leqslant \left( {\frac{1} {\pi }\int_{ - \infty }^\infty {\frac{{\left| {\tfrac{2} {\pi }\log \left| t \right|} \right|^p }} {{t^2 + 1}}dt} } \right)^{ - 1/p} \left\| f \right\|p,$$ $$\left\| {\mathcal{H}f} \right\|_{p,\infty } \leqslant \left( {\frac{1} {\pi }\int_{ - \infty }^\infty {\frac{{\left| {\tfrac{2} {\pi }\log \left| t \right|} \right|^p }} {{t^2 + 1}}dt} } \right)^{ - 1/p} \left\| f \right\|p.$$ Both inequalities are sharp.
2. Let P ₊ and P _? stand for the Riesz projection and the co-analytic projection on $L^p \left( {\mathbb{T}, \ell _\mathbb{C}^2 } \right)$ , respectively. Then for 1 ≤ p ≤ 2 and any f, $$\left\| {P + f} \right\|_{p,\infty } \leqslant \left\| f \right\|_p ,$$ $$\left\| {P - f} \right\|_{p,\infty } \leqslant \left\| f \right\|_p .$$ Both inequalities are sharp.
3. We establish the sharp versions of the estimates above in the nonperiodic case.

The results are new even if the operators act on complex-valued functions. The proof rests on the construction of an appropriate plurisubharmonic function and probabilistic techniques.     

Oscillations of difference equations with several deviated arguments

We find the solutions ${f,g,h \colon G \to X,\,\varphi \colon G \to \mathbb{K}}$ of each of the functional equation $$\sum\limits_{\lambda \in K} f(x + \lambda y) = |K| \varphi (y) g(x) + |K|h(y), \quad x, y \in G$$ , where (G, + ) is an abelian group, K is a finite, abelian subgroup of the automorphism group of G, X is a linear space over the field ${\mathbb{K} \in \{ \mathbb{R},\mathbb{C}\}}$ .