Estimations of Solutions of the Sturm– Liouville Equation with Respect to a Spectral Parameter

This paper is concerned with estimations of solutions of the Sturm–Liouville equation $$\big(p(x)y'(x)\big)'+\Big(\mu^2 -2i\mu d(x)-q(x)\Big)\rho(x)y(x)=0, \ \ x\in[0,1],$$ ( p ( x ) y ' ( x ) ) ' + ( μ 2 - 2 i μ d ( x ) - q ( x ) ) ρ ( x ) y ( x ) = 0 , x ∈ [ 0 , 1 ] , where ${\mu\in\mathbb{C}}$ μ ∈ C is a spectral parameter. We assume that the strictly positive function ${\rho\in L_{\infty}[0,1]}$ ρ ∈ L ∞ [ 0 , 1 ] is of bounded variation, ${p\in W^1_1[0,1]}$ p ∈ W 1 1 [ 0 , 1 ] is also strictly positive, while ${d\in L_1[0,1]}$ d ∈ L 1 [ 0 , 1 ] and ${q\in L_1[0,1]}$ q ∈ L 1 [ 0 , 1 ] are real functions. The main result states that for any r > 0 there exists a constant c _r such that for any solution y of the Sturm–Liouville equation with μ satisfying ${|{\rm Im}\, \mu|\leq r}$ | Im μ | ≤ r , the inequality ${\|y(\cdot,\mu)\|_C\leq c_r\|y(\cdot,\mu)\|_{L_1}}$ ∥ y ( · , μ ) ∥ C ≤ c r ∥ y ( · , μ ) ∥ L 1 is true. We apply our results to a problem of vibrations of an inhomogeneous string of length one with damping, modulus of elasticity and potential, rewritten in an operator form. As a consequence, we obtain that the operator acting on a certain energy Hilbert space is the generator of an exponentially stable C ₀-semigroup.     

On mappings preserving orthogonality of non-singular vectors

Letq be a regular quadratic form on a vector space (V,F) and letf be the bilinear form associated withq. Then, \(\dot V: = \{ z \in V|q(z) \ne 0\} \) is the set of non-singular vectors ofV, and forx, y ∈ \(\dot V\) , ?(x, y) ?f(x, y) ²/(q(x) · q(y)) is theq-measure of (x, y), where ?(x,y)=0 means thatx, y are orthogonal. For an arbitrary mapping \(\sigma :\dot V \to \dot V\) we consider the functional equations $$\begin{gathered} (I)\sphericalangle (x,y) = 0 \Leftrightarrow \sphericalangle (x^\sigma ,y^\sigma ) = 0\forall x,y \in \dot V, \hfill \\ (II)\sphericalangle (x,y) = \sphericalangle (x^\sigma ,y^\sigma )\forall x,y \in \dot V, \hfill \\ (III)f(x,y)^2 = f(x^\sigma ,y^\sigma )^2 \forall x,y \in \dot V, \hfill \\ \end{gathered} $$ and we state conditions on (V,F,q) such thatσ is induced by a mapping of a well-known type. In case of dimV ∈N?{0, 1, 2} ∧ ∣F∣ > 3, each of the assumptions (I), (II), (III) implies that there exist aρ-linear injectionξ :V →V and a fixed λ ∈F?{0} such thatF x ^σ =F x ^ξ ?x ∈ \(\dot V\) andf(x ^ξ,y ^ξ)=λ · (f(x, y))^ρ ?x, y ∈V. Moreover, (II) implies ρ =id _F ∧q(x ^ξ) = λ ·q(x) ?x ∈ \(\dot V\) , and (III) implies ρ=id _F ∧ λ ∈ {1,?1} ∧x ^σ ∈ {x ^ξ, ?x ^ξ} ?x ∈ \(\dot V\) . Other results obtained in this paper include the cases dimV = 2 resp. dimV ?N resp. ∣F∣ = 3.     

Power Majorization and Majorization of Sequences

Let \(\bar x\) , \(\bar y\ \in\ R_n\) be vectors which satisfy x₁ ≥ x₂ ≥ … ≥ x_n and y₁ ≥ y₂ >- … ≥ y_n and Σx_i = Σy_i. We say that \(\bar x\) is power majorized by \(\bar y\) if Σx_i ^p ≤ Σy_i ^p for all real p ? [0, 1] and Σx_i ^p ≥ Σy_i ^p for p ∈ [0, 1]. In this paper we give a classification of functions ? (which includes all possible positive polynomials) for which \(\bar\phi(\bar x) \leq \bar\phi(\bar y)\) (see definition below) when \(\bar x\) is power majorized \(\bar y\) . We also answer a question posed by Clausing by showing that there are vectors \(\bar x\) , \(\bar y\ \in\ R^n\) of any dimension n ≥ 4 for which there is a convex function ? such that \(\bar x\) is power majorized by \(\bar y\) and \(\bar\phi(\bar x)\ >\ \bar\phi(\bar y)\) .     

Bounds for singular integrals associated with a class of hypersurfaces

For the hypersurface Γ=(y,γ(y)), the singular integral operator along Γ is defined by. $$Tf(x,x_n ) = P.V.\int_{\mathbb{R}^n } {, f(x - y,x_n ) - } \gamma (y))_{\left| y \right|^{n - 1} }^{\Omega (v)} dy$$ where Σ is homogeneous of order 0, $ \int_{\Sigma _{n \lambda } } {\Omega (y')dy'} = 0 $ . For a certain class of hypersurfaces, T is shown to be bounded on L^p(Rⁿ) provided Ω∈L _α ¹ (Σ _n?2),P>1.     

Some inequalities for Franklin series

Обозначим через {f _k (t)} _k=0 ^∞ систему Франклина на отрезке [0, 1]. Доказано, чт о еслиg∈L(0,1), то $$mes\{ t:|\sum\limits_{\kappa = 0}^\infty {\varepsilon _\kappa a_\kappa (g)f_\kappa (t)| > y} \} \leqq \frac{B}{y}\int\limits_0^1 {|g(t)|dt} $$      

An embedding theorem for a weighted space of Sobolev type and correct solvability of the Sturm-Liouville equation

We consider the weighted space W ₁ ⁽²⁾ (?,q) of Sobolev type $$W_1^{(2)} (\mathbb{R},q) = \left\{ {y \in A_{loc}^{(1)} (\mathbb{R}):\left\| {y''} \right\|_{L_1 (\mathbb{R})} + \left\| {qy} \right\|_{L_1 (\mathbb{R})} < \infty } \right\} $$ and the equation $$ - y''(x) + q(x)y(x) = f(x),x \in \mathbb{R} $$ Here f ε L ₁(?) and 0 ? q ∈ L ₁ ^loc (?). We prove the following:

1. The problems of embedding W ₁ ⁽²⁾ (?q) ? L ₁(?) and of correct solvability of (1) in L ₁(?) are equivalent
2. an embedding W ₁ ⁽²⁾ (?,q) ? L ₁(?) exists if and only if $$\exists a > 0:\mathop {\inf }\limits_{x \in R} \int_{x - a}^{x + a} {q(t)dt > 0} $$

     

On the divergence of Lagrange interpolation processes on a set of second category

В статье даны полные д оказательства следу ющих утверждений. Пустьω — непрерывная неубывающая полуадд итивная функций на [0, ∞),ω(0)=0 и пусть M?[0, 1] — матрица узл ов интерполирования. Если $$\mathop {\lim sup}\limits_{n \to \infty } \omega \left( {\frac{1}{n}} \right)\log n > 0$$ то существует точкаx ₀∈[0,1] и функцияf ∈ С[0,1] таки е, чтоω(f, δ)=О(ω(δ)), для которой $$\mathop {\lim sup}\limits_{n \to \infty } |L_n (\mathfrak{M},f,x_0 ) - f(x_0 )| > 0$$ Если же $$\mathop {\lim sup}\limits_{n \to \infty } \omega \left( {\frac{1}{n}} \right)\log n = \infty$$ , то существуют множес твоE второй категори и и функцияf ∈ С[0,1],ω(f, δ)=o(ω(δ)) та кие, что для всехx∈E $$\mathop {\lim sup}\limits_{n \to \infty } |L_n (\mathfrak{M},f,x)| = \infty$$ . Исправлена погрешно сть, допущенная автор ом в [5], и отмеченная в работе П. Вертеши [9].     

Spectral asymptotics and trace formulas for differential operators with unbounded coefficients

In the space L ²[0, π], we consider the operators $$ L = L_0 + V, L_0 = - y'' + (\nu ^2 - 1/4)r^{ - 2} y (\nu \geqslant 1/2) $$ with the Dirichlet boundary conditions. The potential V is the operator of multiplication by a function (in general, complex-valued) in L ²[0, π] satisfying the condition $$ \int\limits_0^\pi {r^\varepsilon } (\pi - r)^\varepsilon |V(r)|dr < \infty , \varepsilon \in [0,1] $$ . We prove the trace formula Σ _n=1 ^∞ [µ _n ? λ _n ? Σ _k=1 ^m α _k ⁽ⁿ⁾ ] = 0.     

Boundary distortion and variation of the module under an extension of a doubly connected domain

Theorem 2

Let f(z) ∈ $\mathcal{F}(\rho ,r)$ , f(z) ≠ e^iα f(z;pr), α ∈ ?, and let ?(t) be a strictly convex monotone function of t>0. Then $$\int\limits_0^{2\pi } {\Phi (|f'(e^{i\theta } )|)d\theta< } \int\limits_0^{2\pi } {\Phi (|f'(e^{i\theta } ;\rho ,r)|)d\theta } $$ . The proof of this theorem is based on the Golusin-Komatu equation. If E is a continuum in the disk U_R={z:|z|<R}, then M (R, E) denotes the conformal module of the doubly connected component of U_R/E; let $\varepsilon (m) = \{ E:\overline U _r \subset E \subset U_1 , M(1,E) = M^{ - 1} \} $ .

Problem 3

Find the maximum of M(R, E), R>1, and the minimum of cap E over all E in ε(m). This problem was posed by V. V. Kozevnikov in a lecture to the Seminar on Geometric Function Theory at the Kuban University in 1980, and by D. Gaier (see [2]). The solution of this problem is given by the following theorem.

Theorem 3

Let $E^* = \underline U _m \cup [m,s]$ . If R>1; E, E^* ∈ ε(m) and E ≠ e^iα E*, α ∈ ?, then M(R, E)<M(R, E^*), capE^*<capE. A similar statement is also proved for continua lying in the half-plane. Bibliography: 7 titles.     

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.     

Almost periodic solutions for nonlinear delay evolutions with nonlocal initial conditions

We consider the nonlinear delay differential evolution equation $$\left\{\begin{array}{ll} u'(t) \in Au(t) + f(t, u_t), \quad \quad t \in \mathbb{R}_+,\\ u(t) = g(u)(t),\qquad \qquad \quad t \in [-\tau, 0], \end{array} \right.$$ u ′ ( t ) ∈ A u ( t ) + f ( t , u t ) , t ∈ R + , u ( t ) = g ( u ) ( t ) , t ∈ [ - τ , 0 ] , where τ ≥ 0, X is a real Banach space, A is the infinitesimal generator of a nonlinear semigroup of contractions whose Lipschitz seminorm decays exponentially as ${t \mapsto {\rm{e}}^{-\omega t}}$ t ? e - ω t when ${t \to + \infty}$ t → + ∞ and ${f : {\mathbb{R}}_+ \times C([-\tau, 0]; \overline{D(A)}) \to X}$ f : R + × C ( [ - τ , 0 ] ; D ( A ) ¯ ) → X is jointly continuous. We prove that if f Lipschitz with respect to its second argument and its Lipschitz constant ? satisfies the condition ${\ell{\rm{e}}^{\omega\tau} < \omega, g : C_b([-\tau, +\infty); \overline{D(A)}) \to C([-\tau, 0]; \overline{D(A)})}$ ? e ω τ < ω , g : C b ( [ - τ , + ∞ ) ; D ( A ) ¯ ) → C ( [ - τ , 0 ] ; D ( A ) ¯ ) is nonexpansive and (I – A)^?1 is compact, then the unique C ⁰-solution of the problem above is almost periodic.     

Об аппроксимации свермками и баэисах иэ сдвигов функции

For 2π-periodic functions f ∈ L ^p ( $ \mathbb{T} $ ), 1 ≤ p < ∞, σ ∈ V ( $ \mathbb{T} $ ) and g ∈ L( $ \mathbb{T} $ ), we consider the convolutions $$ (f*d\sigma )_T (x) = \int_0^{2\pi } {f(x - t)d\sigma (t), } (f*g)_T (x) = \int_0^{2\pi } {f(x - t)g(t)dt.} $$ For fixed functions σ ∈ V ( $ \mathbb{T} $ ) and g ∈ L( $ \mathbb{T} $ ), necessary and sufficient conditions are obtained for the density of the ranges of these operators in L ^p . Similar result is proved for the dyadic convolution $$ (f*g)_2 (x) = \int_0^1 {f(x \oplus t)g(t)dt,} $$ where ⊕ is the operation of dyadic addition on [0, 1). Moreover, it is proved that in the spaces L ^p ( $ \mathbb{T} $ ), 1 ≤ p ∞, and C( $ \mathbb{T} $ ) there exist no bases of shifts of a function. Similar results are obtained for the spaces L ^p [0, 1]*, 1 ≤ p < ∞, and C[0, 1]* relative to dyadic shifts, where [0, 1]* is the modified segment [0, 1]. It is also proved that in the space L(?₊) there exists no basis of dyadic shifts of a function.     

Zur Definition der Nörlundschen Hauptlösung von Differenzengleichungen

φ: R→R. Nörlund [4] defined the principal solution f_N of the difference equation $$V (x, y) \varepsilon R \times R_ + : \frac{1}{y}\left[ {g(x + y, y) - g(x, y)} \right] = \phi (x)$$ by V (x, y) ? [b, ∞) ×R₊: $$f_N (x, y) : = \mathop {\lim }\limits_{s \to 0 + } ( \int\limits_a^\infty {\phi (t) e^{ - st} dt} - y \sum\limits_{\nu = 0}^\infty { \phi (x + \nu y) e^{ - s(x + \nu y )} } )$$ with suitable a,bεR and proved the existence of f_N under certain restrictions onφ. In this paper, another way of defining a principal solution of the difference equation above, which includes Nörlund's, is gone. As an application, we construct in an easy manner a class of limitation methods for getting a principal solution, generalizing results from Nörlund [5].¹)     

Spectral singularities of Klein-Gordon s-wave equations with an integral boundary condition

We investigate the spectral singularities and the eigenvalues of the boundary value problem $$\begin{gathered} y'' + \left[ {\lambda - Q\left( x \right)} \right]^2 y = 0,x \in R_ + = [0,\infty ), \hfill \\ \quad \int\limits_0^\infty {K\left( x \right)y\left( x \right)dx + \alpha y'\left( 0 \right) - \beta y\left( 0 \right) = 0,} \hfill \\ \end{gathered}$$ where Q and K are complex valued functions, K∈L ²(R ₊), α,β∈C with |α|+|β|≠0 and λ is a spectral parameter.     

Schwache Lösungen des Frankl-Morawetz-Problems im ℝ3

In a bounded simple connected region G ? ?³ we consider the equation $$L\left[ u \right]: = k\left( z \right)\left( {u_{xx} + u_{yy} } \right) + u_{zz} + d\left( {x,y,z} \right)u = f\left( {x,y,z} \right)$$ where k(z)? 0 whenever z ? 0.G is surrounded forz≥0 by a smooth surface Γ₀ with S:=Γ₀ ? {(x,y,z)|=0} and forz<0 by the characteristic \(\Gamma _2 :---(x^2 + y^2 )^{{\textstyle{1 \over 2}}} + \int\limits_z^0 {(---k(t))^{{\textstyle{1 \over 2}}} dt = 0} \) and a smooth surface Γ₁ which intersect the planez=0 inS and where the outer normal n=(n_x, n_y, n_z) fulfills \(k(z)(n_x^2 + n_y^2 ) + n_z^2 |_{\Gamma _1 } > 0\) . Under conditions on Γ₁ and the coefficientsk(z), d(x,y,z) we prove the existence of weak solutions for the boundary value problemL[u]=f inG with \(u|_{\Gamma _0 \cup \Gamma _1 } = 0\) . The uniqueness of the classical solution for this problem was proved in [1].     

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 ....     

Some remarks on spectral representation for symmetric stable processes

For the symmetric α-stable stochastic process X={X_t∶t∈T} with reproducing kernel space H(X) ? L_α constructed in § 1 we define the following parameters: $\alpha _0 = \sup {\mathbf{ }}\{ \beta \in (0.2]:{\mathbf{ }}\mathcal{H}\mathcal{X}$ embeds isometrically into some L^β}, containsl _β ⁿ 's uniformly}. In §2 we show that for α₀ > α the stochastic process X admits the representation $$X_t = \smallint Y_t (w){\mathbf{ }}Z_\alpha (dw),{\mathbf{ }}t \in T,$$ where {Y_t∶t∈T} itself is a symmetric stable process and Z_α is a symmetric α-stable independently scattered random measure. We show also how some properties of the stochastic process {X_t∶t∈T} depend on the corresponding properties of the process {Y_t∶t∈T}.     

Convergence of polyharmonic splines on semi-regular grids \mathbb{Z}{{\boldsymbol{\times}} \boldsymbol{a}} {\mathbb{Z}^{\it\boldsymbol{n}}} for {\boldsymbol{a}\rightarrow\mathbf {0}}

Let p, n ∈ ? with 2p ≥ n + 2, and let I _a be a polyharmonic spline of order p on the grid ? × a? ⁿ which satisfies the interpolating conditions $I_{a}\left( j,am\right) =d_{j}\left( am\right) $ for j ∈ ?, m ∈ ? ⁿ where the functions d _j : ? ⁿ → ? and the parameter a > 0 are given. Let $B_{s}\left( \mathbb{R}^{n}\right) $ be the set of all integrable functions f : ? ⁿ → ? such that the integral $$ \left\| f\right\| _{s}:=\int_{\mathbb{R}^{n}}\left| \widehat{f}\left( \xi\right) \right| \left( 1+\left| \xi\right| ^{s}\right) d\xi $$ is finite. The main result states that for given $\mathbb{\sigma}\geq0$ there exists a constant c>0 such that whenever $d_{j}\in B_{2p}\left( \mathbb{R}^{n}\right) \cap C\left( \mathbb{R}^{n}\right) ,$ j ∈ ?, satisfy $\left\| d_{j}\right\| _{2p}\leq D\cdot\left( 1+\left| j\right| ^{\mathbb{\sigma}}\right) $ for all j ∈ ? there exists a polyspline S : ? ⁿ⁺¹ → ? of order p on strips such that $$ \left| S\left( t,y\right) -I_{a}\left( t,y\right) \right| \leq a^{2p-1}c\cdot D\cdot\left( 1+\left| t\right| ^{\mathbb{\sigma}}\right) $$ for all y ∈ ? ⁿ , t ∈ ? and all 0 < a ≤ 1.     

Continuite-Besov des operateurs definis par des integrales singulieres

Our purpose is to give necessary and sufficient conditions for continuity, on Besov spaces \(\dot B_p^{s,q} \) , of singular integral operators whose kernels satisfy: $$|\partial _x^\alpha K(x, y)| \leqslant C_\alpha |x - y|^{ - n - |\alpha |} for|\alpha | \leqslant m,$$ where m ∈ ? and 0 < s < m. The criterion is compared to the M.Meyer theorem [11] where 0 _p ^s,q spaces for s?1. For 0 _p ^s,p space is characterized by the localization and by Besov-capacity. In particular we show that the BMO ₁ ^s,1 space is characterized by generalized Carleson conditions.     

Yates type estimators of a common mean

Letx, y, S, T andW be independent random variables such that,～N(μασ ²),y～N(μ,βη ²), S/σ²～χ²(m), T/η²～χ²(n) andW/(ασ ²+βη²)～x²(q), where μ, σ², η² are unknown. For estimating μ, consider the estimator \(\hat \mu = x + \left( {y - x} \right){{aS} \mathord{\left/ {\vphantom {{aS} {\left[ {S + cT + d\left\{ {\left( {y - x} \right)^2 + W} \right\}} \right],a,c,d > 0}}} \right. \kern-0em} {\left[ {S + cT + d\left\{ {\left( {y - x} \right)^2 + W} \right\}} \right],a,c,d > 0}}\) . Note that the performance of \(\hat \mu \) depends onτ=βη ²/ασ², which is unknown. Assumeq+n≧2 and leta ₀=(n+q?1)/(m+2), c^*=cα/β, d^*=dα. Two main results are:

1. for all τ>0, \(\hat \mu \) has a variance smaller than that ofx ifa≦2 min (1,c ^*a₀, d^*a₀);
2. for all τ≧τ₀, where τ₀>0 is arbitrary, \(\hat \mu \) has a variance smaller than that ofx ifa≦2a ₀ min [c ^*τ₀/(1+τ₀),d^*].

We also obtain some necessary conditions for \(\hat \mu \) to have a variance smaller than that ofx. It can be seen that with the exception of linked block designs for any design belonging to the class calledD ₁-class by Shah [16], Yates-Rao estimator for recovery of interblock information has the same form as that of \(\hat \mu \) . Hence, for such designs the above results can be used to examine if Yates estimator is good i.e., better than the intra-block estimator. Shah [16] resolved this question for linked block designs, which include the symmetrical BIBD's. Here, we consider asymmetrical BIBD's and show that Yates' estimator is good for all such designs listed in Fisher and Yates' table [5], with two exceptions. For one of these two designs, we show that Yates' estimator is not uniformly better than the intra-block estimator.