Two-sided bounds uniform in the real argument and the index for modified Bessel functions

Bounds uniform in the real argument and the index for the functionsa _ν (x)=xI′ _ν (x)/I′ _ν (x) andb _ν (x)=xK′ _ν (x)/K _ν (x), as well as for the modified Bessel functionsI _ν(x) andK _ν(x), are established in the quadrantx>0, ν≥0, except for some neighborhoods of the pointx=0, ν=0. Translated fromMatematicheskie Zametki, Vol. 65, No. 5, pp. 681–692, May, 1999.     

Reduced measures associated with parabolic problems

We study the existence and the properties of reduced measures for the parabolic equations ∂ _t u − Δu + g(u) = 0 in Ω × (0, ∞) subject to the conditions (P): u = 0 on ∂Ω × (0, ∞), u(x, 0) = μ and (P′): u = μ′ on ∂Ω × (0, ∞), u(x, 0) = 0, where μ and μ′ are positive Radon measures and g is a continuous nondecreasing function.     

Linear functional differential equations of neutral type asymptotically autonomous

Summary It is studied the relationship between the solutions of the linear functional differential equations(1) (d/dx) D(x_t)=L(x_t) and its perturbed equation(2) [(d/dx) D(x_t)−G(t, x_t)]= =L(x_t)+F(t, x_t) and is proved, under certain hypotheses which will be precised bellow that, if μ is a simple characteristic root of(1), then there exist a σ > 0 and a non zero vector a such that system(2) has a solution satisfying where δ(t)=αd{F(t, ϕ_μ)+μG(t, ϕ_μ)+F(t, X₀G(t, ϕ_μ))}, ϕ_μ(θ)=c·exp (μθ), −r⩾θ⩾0 and α, d, X₀ are given constants. Entrata in Redazione il 5 gennaio 1972.     

Radial solutions to the wave equation

We study some boundedness properties of radial solutions to the Cauchy problem associated to the wave equation (∂ _t ²-▵ _x )u(t,x)=0 and meanwhile we give a new proof of the solution formula. Received: July 7, 1998?Published online: March 19, 2002     

Differential operators associated with zonal polynomials. II

Summary LetC _κ(S) be the zonal polynomial of the symmetricm×m matrixS=(s_ij), corresponding to the partition κ of the non-negative integerk. If ∂/∂S is them×m matrix of differential operators with (i, j)th entry ((1+δ_ij)∂/∂s_ij)/2, δ being Kronecker's delta, we show that C_k(∂/∂S)C_λ(S)=k!δ_λkC_k(I), where λ is a partition ofk. This is used to obtain new orthogonality relations for the zonal polynomials, and to derive expressions for the coefficients in the zonal polynomial expansion of homogenous symmetric polynomials.     

On the height of the Kronecker product ofS n characters

Given any two heightsh ₁,h ₂, we can choose wide enough partitionsν, μ ∈ Par(n) such thath(ν)=h ₁,h(μ)=h ₂ andh(x _ν⊗xμ)=h ₁sdh ₂.     

Existence of solutions with turning points for nonlinear singularly perturbed boundary-value problems

We consider the following singularly perturbed boundary-value problem:

On the evolution operator for abstract parabolic equations

We find a new construction of the evolution operatorG(t, s) associated to a family {A(t), 0≦t≦T} of generators of analytic semigroups in a Banach spaceX. We study the dependence ofG (t, s) ont ands, and we give regularity results for the solution of the i.v.p.u′(t)=A(t)u(t)+f(t),u(0)=x.     

Triangle-free distance-regular graphs

Let Γ denote a distance-regular graph with diameter d≥3. By a parallelogram of length 3, we mean a 4-tuple xyzw consisting of vertices of Γ such that ∂(x,y)=∂(z,w)=1, ∂(x,z)=3, and ∂(x,w)=∂(y,w)=∂(y,z)=2, where ∂ denotes the path-length distance function. Assume that Γ has intersection numbers a ₁=0 and a ₂≠0. We prove that the following (i) and (ii) are equivalent. (i) Γ is Q-polynomial and contains no parallelograms of length 3; (ii) Γ has classical parameters (d,b,α,β) with b<−1. Furthermore, suppose that (i) and (ii) hold. We show that each of b(b+1)²(b+2)/c ₂, (b−2)(b−1)b(b+1)/(2+2b−c ₂) is an integer and that c ₂≤b(b+1). This upper bound for c ₂ is optimal, since the Hermitian forms graph Her₂(d) is a triangle-free distance-regular graph that satisfies c ₂=b(b+1). Work partially supported by the National Science Council of Taiwan, R.O.C.     

Complete rank theorem of advanced calculus and singularities of bounded linear operators

Let E and F be Banach spaces, f: U ⊂ E → F be a map of C ^r (r ⩾ 1), x ₀ ∈ U, and ft (x ₀) denote the FréLechet differential of f at x ₀. Suppose that f′(x ₀) is double split, Rank(f′(x ₀)) = ∞, dimN(f′(_{x 0})) > 0 and codimR(f′(x ₀)) s> 0. The rank theorem in advanced calculus asks to answer what properties of f ensure that f(x) is conjugate to f′(x ₀) near x ₀. We have proved that the conclusion of the theorem is equivalent to one kind of singularities for bounded linear operators, i.e., x ₀ is a locally fine point for f′(x) or generalized regular point of f(x); so, a complete rank theorem in advanced calculus is established, i.e., a sufficient and necessary condition such that the conclusion of the theorem to be held is given.      

Two methods for avoiding hereditary completeness

A family of vectors of a Hubert space H is said to be hereditarily complete if it posses a biorthogonal family {x_n′;n≥1}((x_n,x_k′)=δ_nk) and if any elementx, xε H can be reconstructed in terms of the component of its Fourier series, i.e., x∈V((x,x′_n)x_n:n≥1),∀x∈H. In the paper we indicate two simple methods for constructing nonhereditary complete minimal families having a total biorthogonal family, which just not long ago has caused well-known difficulties (see Ref. Zh. Mat., 1975, 7B802). The first method consists in the fact that a given pair of biorthogonal families Y, Y′ of the space H′,H′⊂H is represented as the projection of the families of the same type but already complete in H.. Clearly, in this case cannot be hereditarily complete. The second method consists in considering linear deformation _n :n⩾1 of the orthogonal bases_n: n⩾1; here A is an unbounded operator of a special type. Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 65, pp. 183–188, 1976.     

Almost continuous orbit equivalence for non-singular homeomorphisms

Let X and Y be Polish spaces with non-atomic Borel measures μ and ν of full support. Suppose that T and S are ergodic non-singular homeomorphisms of (X, μ) and (Y, ν) with continuous Radon-Nikodym derivatives. Suppose that either they are both of type III ₁ or that they are both of type III _λ, 0 < λ < 1 and, in the III _λ case, suppose in addition that both ‘topological asymptotic ranges’ (defined in the article) are log λ · ℤ. Then there exist invariant dense G _δ-subsets X′ ⊂ X and Y′ ⊂ Y of full measure and a non-singular homeomorphism ϕ: X′ → Y′ which is an orbit equivalence between T| _X′ and S| _Y′, that is ϕ{T ⁱ x} = {S ⁱ ϕx} for all x ∈ X′. Moreover, the Radon-Nikodym derivative dν ∘ ϕ/dμ is continuous on X′ and, letting S′ = ϕ ⁻¹ Sϕ, we have T _x = S′ ^n(x) x and S′x = T ^m(x) x where n and m are continuous on X′.     

Very weak solutions to elliptic equations with nonlinear Neumann boundary conditions

Consider the equation −Δu = 0 in a bounded smooth domain , complemented by the nonlinear Neumann boundary condition ∂_ν u = f(x, u) − u on ∂Ω. We show that any very weak solution of this problem belongs to L ^∞(Ω) provided f satisfies the growth condition |f(x, s)| ≤ C(1 + |s| ^p ) for some p ∈ (1, p*), where . If, in addition, f(x, s) ≥ −C + λs for some λ > 1, then all positive very weak solutions are uniformly a priori bounded. We also show by means of examples that p* is a sharp critical exponent. In particular, using variational methods we prove the following multiplicity result: if N ∈ {3, 4} and f(x, s) =  s ^p then there exists a domain Ω and such that our problem possesses at least two positive, unbounded, very weak solutions blowing up at a prescribed point of ∂Ω provided . Our regularity results and a priori bounds for positive very weak solutions remain true if the right-hand side in the differential equation is of the form h(x, u) with h satisfying suitable growth conditions.     

A chart preserving the normal vector and extensions of normal derivatives in weighted function spaces

Given a domain Ω of class C ^k,1, k ∈ ℕ, we construct a chart that maps normals to the boundary of the half space to normals to the boundary of in the sense that (∂/∂x _n )α(x′, 0) = − N(x′) and that still is of class C ^k,1. As an application we prove the existence of a continuous extension operator for all normal derivatives of order 0 to k on domains of class C ^k,1. The construction of this operator is performed in weighted function spaces where the weight function is taken from the class of Muckenhoupt weights.     

Everywhere H?lder continuity of the spatial gradient of weak solutions to nonlinear parabolic systems

We consider weak solutions to the parabolic system ∂u ⁱ∂t−D _α A _i ^α (∇u)=B _i(∇u) in (i=1,...,) (Q=Ω×(0,T), R ⁿ a domain), where the functionsB _i may have a quadratic growth. Under the assumptionsn≤2 and ∇u ɛL _loc ^4+δ (Q; R ^nN ) (δ>0) we prove that ∇u is locally H?lder continuous inQ.     

Lower bounds at infinity of solutions of partial differential equations in the exterior of a proper cone

An extension of a classical theorem of Rellich to the exterior of a closed proper convex cone is proved: Let Γ be a closed convex proper cone inR ⁿ and −Γ′ be the antipodes of the dual cone of Γ. Let be a partial differential operator with constant coefficients inR ⁿ, whereQ(ζ)≠0 onR ⁿ−iΓ′ andP _i is an irreducible polynomial with real coefficients. Assume that the closure of each connected component of the set {ζ∈R ⁿ−iΓ′;P _j(ζ)=0, gradP _j(ζ)≠0} contains some real point on which gradP _j≠0 and gradP _j∉Γ∪(−Γ). LetC be an open cone inR ⁿ−Γ containing both normal directions at some such point, and intersecting each normal plane of every manifold contained in {ξ∈R ⁿ;P(ξ)=0}. Ifu∈ℒ′∩L _loc ² (R ⁿ−Γ) and the support ofP(−i∂/∂x)u is contained in Γ, then the condition implies that the support ofu is contained in Γ.     

Global existence and time decay of small solutions to the landau-ginzburg type equations

We study the Cauchy problem for the nonlinear dissipative equations (0.1) uo∂u-αδu + Β|u|^2/n u = 0,x ∃ Rⁿ,t } 0,u(0,x) = u0(x),x ∃ Rⁿ, where α,Β ∃ C, ℜα 0. We are interested in the dissipative case ℜα 0, and ℜδ(α,Β)≥ 0, θ = |∫ u0(x)dx| ⊋ 0, where δ(α, Β) = ##|α|^n-1n^n/2 / ((n + 1)|α|² + α^{2 n/2}. Furthermore, we assume that the initial data u₀ ∃ L^p are such that (1 + |x|)^αu0 ∃ L¹, with sufficiently small norm ∃ = (1 + |x|)^α u₀ 1 + u₀ p, wherep 1, α ∃ (0,1). Then there exists a unique solution of the Cauchy problem (0.1)u(t, x) ∃ C ((0, ∞); L^∞) ∩ C ([0, ∞); L¹ ∩ L^p) satisfying the time decay estimates for allt0 u(t)||_∞ Cɛt^-n/2(1 + η log 〈t〉)^-n/2, if hg = θ^2/n 2_π ℜδ(α, Β) 0; u(t)||_∞ Cɛt^-n/2(1 + Μ log 〈t〉)^-n/4, if η = 0 and Μ = θ^4/n 4π)² (ℑδ(α, Β))² ℜ((1 + 1/n) υ1-1 υ2) 0; and u(t)||_∞ Cɛt^-n/2(1 + κ log 〈t〉)^-n/6, if η = 0, Μ = 0, κ 0, where υl,l = 1,2 are defined in (1.2), κ is a positive constant defined in (2.31).     

Theoremes de Viabilite Pour les Inclusions Differentielles du Second Ordre

This paper gives conditions ensuring the existence for an initial value (x ₀,v ₀) of a solution to the second order differential inclusionx″(t) ∈F[x(t),x′(t)],x(0)=x ₀,x′(0)=v ₀ such thatx(t) ∈K for allt whereK is a nonempty given subset ofR ⁿ .      

A finite volume scheme for nonlinear parabolic equations derived from one-dimensional local dirichlet problems

In this paper, we propose a new method to compute the numerical flux of a finite volume scheme, used for the approximation of the solution of the nonlinear partial differential equation u_t+div(qf(u))−ΔΦ(u)=0 in a 1D, 2D or 3D domain. The function Φ is supposed to be strictly increasing, but some values s such that Φ′(s)=0 can exist. The method is based on the solution, at each interface between two control volumes, of the nonlinear elliptic two point boundary value problem (qf(υ)+(Φ(υ))′)′=0 with Dirichlet boundary conditions given by the values of the discrete approximation in both control volumes. We prove the existence of a solution to this two point boundary value problem. We show that the expression for the numerical flux can be yielded without referring to this solution. Furthermore, we prove that the so designed finite volume scheme has the expected stability properties and that its solution converges to the weak solution of the continuous problem. Numerical results show the increase of accuracy due to the use of this scheme, compared to some other schemes.