Model problem for the motion of a compressible, viscous flow with the no-slip boundary condition

We consider the Navier–Stokes equations for the motion of a compressible, viscous, pressureless fluid in the domain W = \mathbbR³₊{\Omega = \mathbb{R}^3_+} with the no-slip boundary conditions. We construct a global in time, regular weak solution, provided that initial density ρ ₀ is bounded and the magnitude of the initial velocity u ₀ is suitably restricted in the norm ||?{r₀(·)}u₀(·)||_L²(W) + ||?u₀(·)||_L²(W){\|\sqrt{\rho_0(\cdot)}{\bf u}_0(\cdot)\|_{L^2(\Omega)} + \|\nabla{\bf u}_0(\cdot)\|_{L^2(\Omega)}}.     

Beurling's theorem and invariant subspaces for the shift on Hardy spaces

Let G be a bounded open subset in the complex plane and let H~2(G) denote the Hardy space on G. We call a bounded simply connected domain W perfectly connected if the boundary value function of the inverse of the Riemann map from W onto the unit disk D is almost 1-1 with respect to the Lebesgue measure on D and if the Riemann map belongs to the weak-star closure of the polynomials in H~∞(W). Our main theorem states: in order that for each M∈Lat (M_z), there exist u∈H~∞(G) such that M=∨{uH~2(G)}, it is necessary and sufficient that the following hold: (1) each component of G is a perfectly connected domain; (2) the harmonic measures of the components of G are mutually singular; (3) the set of polynomials is weak-star dense in H~∞(G). Moreover, if G satisfies these conditions, then every M∈Lat (M_z) is of the form uH~2(G), where u∈H~∞(G) and the restriction of u to each of the components of G is either an inner function or zero.     

Sharp estimation of the almost-sure Lyapunov exponent for the Anderson model in continuous space

In this article we study the exponential behavior of the continuous stochastic Anderson model, i.e. the solution of the stochastic partial differential equation u(t,x)=1+∫₀^tκΔ_xu (s,x) ds+∫₀^t W(ds,x) u (s,x), when the spatial parameter x is continuous, specifically x∈R, and W is a Gaussian field on R₊×R that is Brownian in time, but whose spatial distribution is widely unrestricted. We give a partial existence result of the Lyapunov exponent defined as lim_t→∞t⁻¹ log u(t,x). Furthermore, we find upper and lower bounds for lim sup_t→∞t⁻¹ log u(t,x) and lim inf_t→∞t⁻¹ log u(t,x) respectively, as functions of the diffusion constant κ which depend on the regularity of W in x. Our bounds are sharper, work for a wider range of regularity scales, and are significantly easier to prove than all previously known results. When the uniform modulus of continuity of the process W is in the logarithmic scale, our bounds are optimal. This author's research partially supported by NSF grant no. : 0204999     

Continuity andkth order differentiability in Orlicz-Sobolev spaces:W kLA

The paper gives a necessary and sufficient condition for the embedding of the Orlicz-Sobolev spaceW ^kL_A (Ω) inC(Ω). The same condition is also found to be necessary and sufficient so that a continuous function inW ^kL_A (Ω) be differentiable of orderk almost everywhere in Ω.     

On lower bounds for the widths of classes of functions defined by integral moduli of continuity

We establish lower bounds for the Kolmogorov widths d _2n-1(W ^r H ₁^ω.L _p ) and Gel’fand widths d ^2n-1(W ^r H ₁^ω.L _p ) of the classes of functions W ^r H ₁^ω with a convex integral modulus of continuity ω(t).     

Propertyf −1(S) =g −1(S) for entire and meromorphicP-adic functions

LetW be an algebraically closed filed of characteristic zero, letK be an algebraically closed field of characteristic zero, complete for an ultrametric absolute value, and letA(K) (resp. ℳ(K)) be the set of entire (resp. meromorphic) functions inK. For everyn≥7, we show that the setS _n(b) of zeros of the polynomialx ⁿ−b (b≠0) is such that, iff, g ∈W[x] or iff, g ∈A(K), satisfyf ⁻¹(S _n(b))=g ⁻¹(S _n(b)), thenf ⁿ=g ⁿ. For everyn≥14, we show thatS _n(b) is such that iff, g ∈W({tx}) or iff, g ∈ ℳ(K) satisfyf ⁻¹(S _n(b))=g ⁻¹(S _n(b)), then eitherf ⁿ=g ⁿ, orfg is a constant. Analogous properties are true for complex entire and meromorphic functions withn≥8 andn≥15, respectively. For everyn≥9, we show that the setY _n(c) of zeros of the polynomial , (withc≠0 and 1) is an ursim ofn points forW[x], and forA(K). For everyn≥16, we show thatY _n(c) is an ursim ofn points forW(x), and for ℳ(K). We follow a method based on thep-adic Nevanlinna Theory and use certain improvement of a lemma obtained by Frank and Reinders.     

γ-Convergence of integral functionals and the variational dirichlet problem in variable domains

By using special local characteristics of domains Ω _s ⊂Ω,s=12,..., we establish necessary and sufficient conditions for the γ-convergence of sequences of integral functionalsI _λs :W ^k,m (Ω _s )→ℝ, λ⊂Ω to interal functionals defined on W ^k,m (Ω). Institute of Applied Mathematics and Mechanics, Ukrainian Academy of Sciences, Donetsk. Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 48, No. 9, pp. 1236–1254, September, 1996.     

Punishing Factors for Finitely Connected Domains

Let Ω and Π be two finitely connected hyperbolic domains in the complex plane \Bbb C{\Bbb C} and let R(z, Ω) denote the hyperbolic radius of Ω at z and R(w, Π) the hyperbolic radius of Π at w. We consider functions f that are analytic in Ω and such that all values f(z) lie in the domain Π. This set of analytic functions is denoted by A(Ω, Π). We prove among other things that the quantities C_n(W,P) := sup_{f ? A(W,P)}sup_{z ? W}\frac|f⁽ⁿ⁾(z)| R(f(z),P)n! (R(z,W))ⁿC_n(\Omega,\Pi)\,:=\,\sup_{f\in A(\Omega,\Pi)}\sup_{z\in \Omega}\frac{\vert f^{(n)}(z)\vert\,R(f(z),\Pi)}{n!\,(R(z,\Omega))^n} are finite for all n ? \Bbb N{n \in {\Bbb N}} if and only if ∂Ω and ∂Π do not contain isolated points.     

On generalized shift bases for the wiener disc algebra

LetW(D) denote the set of functionsf(z)=Σ _n=0 ^∞ A _n Z ⁿ a _nzⁿ for which Σ_n=0 ^∞|a _n |<+∞. Given any finite set lcub;f _i (z)rcub; _i=1 ⁿ inW(D) the following are equivalent: (i) The generalized shift sequence lcub;f ₁(z)z ^kn ,f ₂(z)z ^kn+1, …,f _n (z)z ^(k+1)n−1rcub; _k=0 ^∞ is a basis forW(D) which is equivalent to the basis lcub;z ^m rcub; _m=0 ^∞ . (ii) The generalized shift sequence is complete inW(D), (iii) The function has no zero in |z|≦1, wherew=e ^2πiti /n.     

Nonnegative functions in weighted hardy spaces

Let W be a nonnegative summable function whose logarithm is also summable with respect to the Lebesgue measure on the unit circle. For 0?<?p?<?∞ , H^p (W) denotes a weighted Hardy space on the unit circle. When W?≡?1, H ^p(W) is the usual Hardy space H^p . We are interested in H^p ( W)₊ the set of all nonnegative functions in H^p ( W). If p?≥?1/2, H^p ₊ consists of constant functions. However H^p ( W)₊ contains a nonconstant nonnegative function for some weight W. In this paper, if p?≥?1/2 we determine W and describe H^p ( W)₊ when the linear span of H^p ( W)₊ is of finite dimension. Moreover we show that the linear span of H^p (W)₊ is of infinite dimension for arbitrary weight W when 0?<?p?<?1/2.     

Root differences for A n

Suppose W is a Weyl group with Φ = Φ(W) a root system of W. The set D of root differences is given by D = {α − β : α, β, ∈ Φ}. We define t(Φ) to be the maximum exponent of the torsion subgroup of for any In this article we show that if W is of type A_n, then t(Φ) = 2ⁿ. Received: 25 November 2004     

Two order superconvergence of finite element methods for Sobolev equations

We consider finite element methods applied to a class of Sobolev equations inR ^d(d ≥ 1). Global strong superconvergence, which only requires that partitions are quais-uniform, is investigated for the error between the approximate solution and the Ritz-Sobolev projection of the exact solution. Two order superconvergence results are demonstrated inW ^1,p (Ω) andL _p(Ω) for 2 ≤p < ∞.     

Exact controllability for the wave equation with variable coefficients

We consider in this paper the evolution systemy″−Ay=0, whereA =∂ _i(a_ij∂_j) anda _ij ∈C ¹ (ℝ⁺;W ^1,∞ (Ω)) ∩W ^1,∞ (Ω × ℝ⁺), with initial data given by (y ₀,y ₁) ∈L ²(Ω) ×H ⁻¹ (Ω) and the nonhomogeneous conditiony=v on Γ ×]0,T[. Exact controllability means that there exist a timeT>0 and a controlv such thaty(T, v)=y′(T, v)=0. The main result of this paper is to prove that the above system is exactly controllable whenT is “sufficiently large”. Moreover, we obtain sharper estimates onT.     

A Characterization for Windowed Fourier Orthonormal Basis with Compact Support

Let g(x) ∈L ²(R) and ğ(ω) be the Fourier transform of g(x). Define g _mn (x) = e ^imx g(x−2πn). In this paper we shall give a sufficient and necessary condition under which {g _mn (x)} constitutes an orthonormal basis of L ²(R) for compactly supported g(ω) or ˘(ω). Received March 25, 1999, Revised November 5, 1999, Accepted September 6, 2000     

Spectral Approximation and Index for Convolution Type Operators on Cones on L^{p}(\mathbb {R}^2)

We consider an algebra of operator sequences containing, among others, the approximation sequences to convolution type operators on cones acting on L^p(\mathbb R²)L^{p}(\mathbb {R}^2), with 1 < p < ∞. To each operator sequence (A_n) we associate a family of operators W_x(A_n) ? L(L^p(\mathbb R²))W_{x}(A_{n}) \in \mathcal {L}(L^{p}(\mathbb {R}^2)) parametrized by x in some index set. When all W_x(A_n) are Fredholm, the so-called approximation numbers of A_n have the α-splitting property with α being the sum of the kernel dimensions of W_x(A_n). Moreover, the sum of the indices of W_x(A_n) is zero. We also show that the index of some composed convolution-like operators is zero. Results on the convergence of the e\epsilon-pseudospectrum, norms of inverses and condition numbers are also obtained.     

Boundedness of maximal,potential type,and singular integral operators in the generalized variable exponent Morrey type spaces

We consider generalized Morrey type spaces M^{p( ·),q( ·),w( ·)}( W) {\mathcal{M}^{p\left( \cdot \right),\theta \left( \cdot \right),\omega \left( \cdot \right)}}\left( \Omega \right) with variable exponents p(x), θ(r) and a general function ω(x, r) defining a Morrey type norm. In the case of bounded sets W ì \mathbbRⁿ \Omega \subset {\mathbb{R}^n} , we prove the boundedness of the Hardy–Littlewood maximal operator and Calderón–Zygmund singular integral operators with standard kernel. We prove a Sobolev–Adams type embedding theorem M^{p( ·),q₁( ·),w₁( ·)}( W) ? M^{q( ·),q₂( ·),w₂( ·)}( W) {\mathcal{M}^{p\left( \cdot \right),{\theta_1}\left( \cdot \right),{\omega_1}\left( \cdot \right)}}\left( \Omega \right) \to {\mathcal{M}^{q\left( \cdot \right),{\theta_2}\left( \cdot \right),{\omega_2}\left( \cdot \right)}}\left( \Omega \right) for the potential type operator I ^α(·) of variable order. In all the cases, we do not impose any monotonicity type conditions on ω(x, r) with respect to r. Bibliography: 40 titles.     

An asymptotic approximation of Wallis’ sequence

An asymptotic approximation of Wallis’ sequence W(n) = Π _k=1 ⁿ 4k ²/(4k ² − 1) obtained on the base of Stirling’s factorial formula is presented. As a consequence, several accurate new estimates of Wallis’ ratios w(n) = Π _k=1 ⁿ (2k−1)/(2k) are given. Also, an asymptotic approximation of π in terms of Wallis’ sequence W(n) is obtained, together with several double inequalities such as, for example,

Bose-Mesner Algebras Associated with Four-Weight Spin Models

It is known that for each matrix W _i and it's transpose ^t W _i in any four-weight spin model (X, W ₁, W ₂, W ₃, W ₄; D), there is attached the Bose-Mesner algebra of an association scheme, which we call Nomura algebra. They are denoted by N(W _i ) and N( ^t W _i ) = N′(W _i ) respectively. H. Guo and T. Huang showed that some of them coincide with a self-dual Bose-Mesner algebra, that is, N(W ₁) = N′(W ₁) = N(W ₃) = N′(W ₃) holds. In this paper we show that all of them coincide, that is, N(W _i ), N′(W _i ), i=1, 2, 3, 4, are the same self-dual Bose-Mesner algebra. Received: June 17, 1999 Final version received: Januray 17, 2000     

Spectral theorem for multipliers on {L_{\omega}^{2}(\mathbb{R})}

We study the spectrum σ(M) of the multipliers M which commute with the translations on weighted spaces ${L_{\omega}^{2}(\mathbb{R})}We study the spectrum σ(M) of the multipliers M which commute with the translations on weighted spaces L_w²(\mathbbR){L_{\omega}^{2}(\mathbb{R})} For operators M in the algebra generated by the convolutions with f ? C_c(\mathbb R){\phi \in {C_c(\mathbb {R})}} we show that [`(m(W))] = s(M){\overline{\mu(\Omega)} = \sigma(M)}, where the set Ω is determined by the spectrum of the shift S and μ is the symbol of M. For the general multipliers M we establish that [`(m(W))]{\overline{\mu(\Omega)}} is included in σ(M). A generalization of these results is given for the weighted spaces L²_w(\mathbb R^k){L^2_{\omega}(\mathbb {R}^{k})} where the weight ω has a special form.     

Restricted summability of Fourier transforms and local Hardy spaces

A general summability method, the so-called θ-summability is considered for multi-dimensional Fourier transforms. Under some conditions on θ, it is proved that the maximal operator of the θ-means defined in a cone is bounded from the amalgam Hardy space W（hp, e∞） to W（Lp,e∞）. This implies the almost everywhere convergence of the θ-means in a cone for all f ∈ W（L1, e∞） velong to L1.