On an inhomogeneous slip-inflow boundary value problem for a steady flow of a viscous compressible fluid in a cylindrical domain

We investigate a steady flow of a viscous compressible fluid with inflow boundary condition on the density and inhomogeneous slip boundary conditions on the velocity in a cylindrical domain Ω=Ω₀×(0,L)∈R³. We show existence of a solution , p>3, where v is the velocity of the fluid and ρ is the density, that is a small perturbation of a constant flow (, ). We also show that this solution is unique in a class of small perturbations of . The term u⋅∇w in the continuity equation makes it impossible to show the existence applying directly a fixed point method. Thus in order to show existence of the solution we construct a sequence (vn,ρn) that is bounded in and satisfies the Cauchy condition in a larger space L_∞(0,L;L₂(Ω₀)) what enables us to deduce that the weak limit of a subsequence of (vn,ρn) is in fact a strong solution to our problem.     

Stability to the global large solutions of 3-D Navier-Stokes equations

In this paper, we consider the stability to the global large solutions of 3-D incompressible Navier-Stokes equations in the anisotropic Sobolev spaces. In particular, we proved that for any , given a global large solution v∈C([0,∞);H0,s₀(R³)∩L³(R³)) of (1.1) with and a divergence free vector satisfying for some sufficiently small constant depending on , v, and , (1.1) supplemented with initial data v(0)+w₀ has a unique global solution in u∈C([0,∞);H0,s₀(R³)) with ∇u∈L²(R⁺,H0,s₀(R³)). Furthermore, uh is close enough to vh in C([0,∞);H0,s(R³)).     

A remark on Ricceri's conjecture for a class of nonlinear eigenvalue problems

Consider the eigenvalue problem : −Δu=λf(x,u) in Ω, u=0 on ∂Ω, where Ω is a bounded smooth domain in RN. Denote by the set of all Carathéodory functions f:Ω×R→R such that for a.e. x∈Ω, f(x,⋅) is Lipschitzian with Lipschitz constant L, f(x,0)=0 and , and denote by (resp. ) the set of λ>0 such that has at least one nonzero classical (resp. weak) solution. Let λ₁ be the first eigenvalue for the Laplacian-Dirichlet problem. We prove that and . Our result is a positive answer to Ricceri's conjecture if use f(x,u) instead of f(u) in the conjecture.     

Existence, uniqueness and asymptotic behavior of solutions for a singular parabolic equation

In this paper, we are concerned with a singular parabolic equation in a smooth bounded domain Ω⊂RN subject to zero Dirichlet boundary condition and initial condition φ?0. Under the assumptions on μ, φ and f(x,t), some existence and uniqueness results are obtained by applying parabolic regularization method and the sub-supersolutions method. We also discuss the asymptotic behaviors of solutions in the sense of and L^∞(0,T;L²(Ω)) norms as μ→0 or μ→∞. As a byproduct we obtain the existence of solutions for some problems which blow up on the boundary.     

The heat equation with nonlinear generalized Robin boundary conditions

Let Ω⊂RN be a bounded domain and let μ be an admissible measure on ∂Ω. We show in the first part that if Ω has the H¹-extension property, then a realization of the Laplace operator with generalized nonlinear Robin boundary conditions, formally given by on ∂Ω, generates a strongly continuous nonlinear submarkovian semigroup SB=(SB(t))_t?0 on L²(Ω). We also obtain that this semigroup is ultracontractive in the sense that for every u,v∈Lp(Ω), p?2 and every t>0, one has

     

Composition operators from the Hardy space to the nth weighted-type space on the unit disk and the half-plane

The boundedness of the composition operator C_φf(z)=f(φ(z)) from the Hardy space , where X is the upper half-plane or the unit disk D={z∈C:|z|<1} in the complex plane C, to the nth weighted-type space, where φ is an analytic self-map of X, is characterized.     

Existence of solutions to nonlinear, subcritical higher order elliptic Dirichlet problems

We consider the 2m-th order elliptic boundary value problem Lu=f(x,u) on a bounded smooth domain Ω⊂RN with Dirichlet boundary conditions on ∂Ω. The operator L is a uniformly elliptic linear operator of order 2m whose principle part is of the form . We assume that f is superlinear at the origin and satisfies , , where are positive functions and q>1 is subcritical. By combining degree theory with new and recently established a priori estimates, we prove the existence of a nontrivial solution.     

Nonlinear random ergodic theorems for affine operators

Let (Ω,ß,μ) be a finite measure space and let (S,F,ν) be another probability measure space on which a measure preserving transformation φ is given. We introduce the so-called affine systems and prove a vector-valued nonlinear random ergodic theorem for the random affine system determined by a strongly F-measurable family of affine operators, where B is a reflexive Banach space, is a strongly F-measurable family of linear contractions on L₁(Ω,B) as well as on L_∞(Ω,B) and ξ is a function in (I−T)Lp(S×Ω,B) (1?p<∞) with the operator T defined by Tf(s,ω)=[Tsfφs](ω) which denotes the F⊗ß-measurable version of Tsfφs(ω). Moreover, some variant forms of the nonlinear random ergodic theorem are also obtained with some examples of affine systems for which the nonlinear ergodic theorems fail to hold.     

On the Schur Test forL2-Boundedness of Positive Integral Operators with a Wiener–Hopf Example

The Schur sufficiency condition for boundedness of any integral operator with non-negative kernel betweenL₂-spaces is deduced from an observation, Proposition 1.2, about the central role played byL₂-spaces in the general theory of these operators. Suppose (Ω, , μ) is a measure space and thatK: Ω×Ω→[0, ∞) is an ×-measurable kernel. The special case of Proposition 1.2 for symmetrical kernels says that such a linear integral operator is bounded onanyreasonable normed linear spaceXof -measurable functions only if it is bounded onL₂(Ω, , μ) where its norm is no larger. The general form of Schur's condition (Halmos and Sunder “Bounded Integral Operators onL₂-Spaces,” Springer-Verlag, Berlin/New York, 1978) is a simple corollary which, in the symmetrical case, says that the existence of an -measurable (not necessarily square-integrable) functionh>0μ-almost-everywhere onΩwithimplies thatKis a bounded (self-adjoint) operator onL₂(Ω, , μ) of norm at mostΛ. When (Ω, , μ) isσ-finite, we show that Schur's condition is sharp: in the symmetrical case the boundedness of onL₂(Ω, , μ) implies, for anyΛ>‖‖₂, the existence of a functionh∈L₂(Ω, , μ) which is positiveμ-almost-everywhere and satisfies (*). Such functionshsatisfying (*), whether inL₂(Ω, , μ) or not, will be calledSchur test functions. They can be found explicitly in significant examples to yield best-possible estimates of the norms for classes of integral operators with non-negative kernels. In the general theory the operators are not required to be symmetrical (a theorem of Chisholm and Everitt (Proc. Roy. Soc. Edinburgh Sect. A69(14) (1970/1971), 199–204) on non-self-adjoint operators is derived in this way). They may even act between differentL₂-spaces. Section 2 is a rather substantial study of how this method yields the exact value of the norm of a particular operator between differentL₂-spaces which arises naturally in Wiener–Hopf theory and which has several puzzling features.     

On the existence of local strong solutions for the Navier-Stokes equations in completely general domains

There are only very few results on the existence of unique local in time strong solutions of the Navier-Stokes equations for completely general domains Ω⊆R³, although domains with edges and corners, bounded or unbounded, are very important in applications. The reason is that the L^q-theory for the Stokes operator A is available in general only in the Hilbert space setting, i.e., with q=2. Our main result for a general domain Ω is optimal in a certain sense: Consider an initial value and a zero external force. Then the condition is sufficient and necessary for the existence of a unique local strong solution u∈L⁸(0,T;L⁴(Ω)) in some interval [0,T), 0<T≤∞, with u(0)=u₀, satisfying Serrin’s condition . Note that Fujita-Kato’s sufficient condition u₀∈D(A^1/4) is strictly stronger and therefore not optimal.     

Entropy solutions for a doubly nonlinear elliptic problem with variable exponent

We study the boundary value problem in Ω, u=0 on ∂Ω, where Ω is a smooth bounded domain in RN (N?3) and is a p(x)-Laplace type operator with p(.):Ω→[1,+∞) a measurable function and b a continuous and nondecreasing function from R→R. We prove the existence and uniqueness of an entropy solution for L¹-data f.     

Remarks on common hypercyclic vectors

We treat the question of existence of common hypercyclic vectors for families of continuous linear operators. It is shown that for any continuous linear operator T on a complex Fréchet space X and a set Λ⊆R₊×C which is not of zero three-dimensional Lebesgue measure, the family has no common hypercyclic vectors. This allows to answer negatively questions raised by Godefroy and Shapiro and by Aron. We also prove a sufficient condition for a family of scalar multiples of a given operator on a complex Fréchet space to have a common hypercyclic vector. It allows to show that if and φ∈H^∞(D) is non-constant, then the family has a common hypercyclic vector, where Mφ:H²(D)→H²(D), Mφf=φf, and , providing an affirmative answer to a question by Bayart and Grivaux. Finally, extending a result of Costakis and Sambarino, we prove that the family has a common hypercyclic vector, where Tbf(z)=f(z−b) acts on the Fréchet space H(C) of entire functions on one complex variable.     

Boundary behavior of large solutions to semilinear elliptic equations with nonlinear gradient terms

In this paper, we study the boundary behavior of solutions to boundary blow-up elliptic problems , where Ω is a bounded domain with smooth boundary in R^N, q>0, , which is positive in Ω and may be vanishing on the boundary and rapidly varying near the boundary, and f is rapidly varying or normalized regularly varying at infinity.     

The attractors for the nonhomogeneous nonautonomous Navier-Stokes equations

In this paper, we consider the attractors for the two-dimensional nonautonomous Navier-Stokes equations in nonsmooth bounded domain Ω with nonhomogeneous boundary condition u=φ on ∂Ω. Assuming , which is translation compact and φ∈L^∞(∂Ω), we establish the existence of the uniform attractor in L²(Ω) and .     

A unique solution to a nonlinear elliptic equation

The purpose of this paper is to prove the existence of a unique, classical solution to the nonlinear elliptic partial differential equation −∇⋅(a(u(x))∇u(x))=f(x) under periodic boundary conditions, where u(x₀)=u₀ at x₀∈Ω, with Ω=TN, the N-dimensional torus, and N=2,3. The function a is assumed to be smooth, and a(u(x))>0 for , where G⊂R is a bounded interval. We prove that if the functions f and a satisfy certain conditions, then a unique classical solution u exists. The range of the solution u is a subset of a specified interval . Applications of this work include stationary heat/diffusion problems with a source/sink, where the value of the solution is known at a spatial location x₀.     

Fourier transforms and generalized Lipschitz classes in uniform metric

For functions f∈L¹(R)∩C(R) with Fourier transforms in L¹(R) we give necessary and sufficient conditions for f to belong to the generalized Lipschitz classes Hω,m and hω,m in terms of behavior of .     

On the Dirichlet semigroup for Ornstein-Uhlenbeck operators in subsets of Hilbert spaces

We consider a family of self-adjoint Ornstein-Uhlenbeck operators Lα in an infinite dimensional Hilbert space H having the same gaussian invariant measure μ for all α∈[0,1]. We study the Dirichlet problem for the equation λφ−Lαφ=f in a closed set K, with f∈L²(K,μ). We first prove that the variational solution, trivially provided by the Lax-Milgram theorem, can be represented, as expected, by means of the transition semigroup stopped to K. Then we address two problems: 1) the regularity of the solution φ (which is by definition in a Sobolev space ) of the Dirichlet problem; 2) the meaning of the Dirichlet boundary condition. Concerning regularity, we are able to prove interior regularity results; concerning the boundary condition we consider both irregular and regular boundaries. In the first case we content to have a solution whose null extension outside K belongs to . In the second case we exploit the Malliavin's theory of surface integrals which is recalled in Appendix A of the paper, then we are able to give a meaning to the trace of φ at ∂K and to show that it vanishes, as it is natural.     

On Bayes estimators with uniform priors on spheres and their comparative performance with maximum likelihood estimators for estimating bounded multivariate normal means

For independently distributed observables: X_i∼N(θ_i,σ²),i=1,…,p, we consider estimating the vector θ=(θ₁,…,θ_p)^′ with loss ‖d−θ‖² under the constraint , with known τ₁,…,τ_p,σ²,m. In comparing the risk performance of Bayesian estimators δ_α associated with uniform priors on spheres of radius α centered at (τ₁,…,τ_p) with that of the maximum likelihood estimator , we make use of Stein’s unbiased estimate of risk technique, Karlin’s sign change arguments, and a conditional risk analysis to obtain for a fixed (m,p) necessary and sufficient conditions on α for δ_α to dominate . Large sample determinations of these conditions are provided. Both cases where all such δ_α’s and cases where no such δ_α’s dominate are elicited. We establish, as a particular case, that the boundary uniform Bayes estimator δ_m dominates if and only if m≤k(p) with , improving on the previously known sufficient condition of Marchand and Perron (2001) [3] for which . Finally, we improve upon a universal dominance condition due to Marchand and Perron, by establishing that all Bayesian estimators δ_π with π spherically symmetric and supported on the parameter space dominate whenever m≤c₁(p) with .     

The oscillation of differential transforms - entire Jacobi expansions

Let L=(1−x²)D²−((β−α)−(α+β+2)x)D with , and . Let f∈C^∞[−1,1], , with normalized Jacobi polynomials and the Cn decrease sufficiently fast. Set Lk=L(Lk−1), k?2. Let ρ>1. If the number of sign changes of (Lkf)(x) in (−1,1) is O(k1/(ρ+1)), then f extends to be an entire function of logarithmic order . For Legendre expansions, the result holds with replaced with .     

A non-linear structure preserving matrix method for the low rank approximation of the Sylvester resultant matrix

A non-linear structure preserving matrix method for the computation of a structured low rank approximation of the Sylvester resultant matrix S(f,g) of two inexact polynomials f=f(y) and g=g(y) is considered in this paper. It is shown that considerably improved results are obtained when f(y) and g(y) are processed prior to the computation of , and that these preprocessing operations introduce two parameters. These parameters can either be held constant during the computation of , which leads to a linear structure preserving matrix method, or they can be incremented during the computation of , which leads to a non-linear structure preserving matrix method. It is shown that the non-linear method yields a better structured low rank approximation of S(f,g) and that the assignment of f(y) and g(y) is important because may be a good structured low rank approximation of S(f,g), but may be a poor structured low rank approximation of S(g,f) because its numerical rank is not defined. Examples that illustrate the differences between the linear and non-linear structure preserving matrix methods, and the importance of the assignment of f(y) and g(y), are shown.