Rectifiable oscillations of self-adjoint and damped linear differential equations of second-order

Asymptotic and oscillatory behaviours near x=0 of all solutions y=y(x) of self-adjoint linear differential equation (Ppq): ^′(py^′)+qy=0 on (0,T], will be studied, where p=p(x) and q=q(x) satisfy the so-called Hartman-Wintner type condition. We show that the oscillatory behaviour near x=0 of (Ppq) is characterised by the nonintegrability of on (0,T). Moreover, under this condition, we show that the rectifiable (resp. unrectifiable) oscillations near x=0 of (Ppq) are characterised by the integrability (resp. nonintegrability) of on (0,T). Next, some invariant properties of rectifiable oscillations in respect to the Liouville transformation are proved. Also, Sturm?s comparison type theorem for the rectifiable oscillations is stated. Furthermore, previous results are used to establish such kind of oscillations for damped linear second-order differential equation y^″+g(x)y^′+f(x)y=0, and especially, the Bessel type damped linear differential equations are considered. Finally, some open questions are posed for the further study on this subject.     

Inverse spectral problems for the Sturm-Liouville operator on a d-star graph

In this work, we consider inverse spectral problems for the Sturm-Liouville differential operator on a d-star-type graph with standard matching conditions in the internal vertex, where the integer d?2. By using the Yurko's method (Yurko (2008) [27], Yurko (2009) [28]) we show that

(1)

if the potential function qj(x) on a fixed edge ej is prescribed on the interval , then the reciprocal of d of the spectrum suffices to determine qj(x) on the whole interval [0,π];

(2)

the 2 over d of the spectrum suffices to determine qj(x) on a fixed edge ej.

     

Existence-uniqueness results for a class of singular boundary value problems-II

In this paper we establish existence-uniqueness of solution of a class of singular boundary value problem −(p(x)y^′′(x))=q(x)f(x,y) for 0<x?b and y(0)=a, α₁y(b)+β₁y^′(b)=γ₁, where p(x) satisfies (i) p(x)>0 in (0,b), (ii) p(x)∈C¹(0,r), and for some r>b, (iii) is analytic in and q(x) satisfies (i) q(x)>0 in (0,b), (ii) q(x)∈L¹(0,b) and for some r>b, (iii) is analytic in with quite general conditions on f(x,y). Region for multiple solutions have also been determined.     

Coefficients of ternary cyclotomic polynomials

It is customary to define a cyclotomic polynomial Φn(x) to be ternary if n is the product of three distinct primes, p<q<r. Let A(n) be the largest absolute value of a coefficient of Φn(x) and M(p) be the maximum of A(pqr). In 1968, Sister Marion Beiter (1968, 1971) [3] and [4] conjectured that . In 2008, Yves Gallot and Pieter Moree (2009) [6] showed that the conjecture is false for every p≥11, and they proposed the Corrected Beiter conjecture: . Here we will give a sufficient condition for the Corrected Beiter conjecture and prove it when p=7.     

Monotone method for singular BVP in the presence of upper and lower solutions

In this paper we examine existence of monotone approximations of solutions of singular boundary value problem -(p(x)y^′(x))^′=q(x)f(x,y,py^′) for 0<x?b and lim_x→0⁺p(x)y^′(x)=0,α₁y(b)+β₁p(b)y^′(b)=γ₁. Under quite general conditions on f(x,y,py^′) we show that solution of the singular two point boundary value problem is unique. Here is allowed to have integrable singularity at x=0 and we do not assume .     

Equiconvergence of the trigonometric Fourier series and the expansion in eigenfunctions of the Sturm-Liouville operator with a distribution potential

We consider the Sturm-Liouville operator L = ?d ²/dx ² + q(x) with the Dirichlet boundary conditions in the space L ₂[0, π] under the assumption that the potential q(x) belongs to W ₂ ^?1 [0, π]. We study the problem of uniform equiconvergence on the interval [0, π] of the expansion of a function f(x) in the system of eigenfunctions and associated functions of the operator L and its Fourier sine series expansion. We obtain sufficient conditions on the potential under which this equiconvergence holds for any function f(x) of class L ₁. We also consider the case of potentials belonging to the scale of Sobolev spaces W ₂ ^?θ [0, π] with ½ < θ ≤ 1. We show that if the antiderivative u(x) of the potential belongs to some space W ₂ ^θ [0, π] with 0 < θ < 1/2, then, for any function in the space L ₂[0, π], the rate of equiconvergence can be estimated uniformly in a ball lying in the corresponding space and containing u(x). We also give an explicit estimate for the rate of equiconvergence.     

Half-inverse problem for diffusion operators on the finite interval

The potential function q(x) in the regular and singular Sturm-Liouville problem can be uniquely determined from two spectra. Inverse problem for diffusion operator given at the finite interval eigenvalues, normal numbers also on two spectra are solved. Half-inverse spectral problem for a Sturm-Liouville operator consists in reconstruction of this operator by its spectrum and half of the potential. In this study, by using the Hochstadt and Lieberman's method we show that if q(x) is prescribed on , then only one spectrum is sufficient to determine q(x) on the interval for diffusion operator.     

On global attractor for m-Laplacian parabolic equation with local and nonlocal nonlinearity

In this paper, we study the long-time behavior of solutions for m-Laplacian parabolic equation in Ω×(0,∞) with the initial data u(x,0)=u₀(x)∈Lq, q?1, and zero boundary condition in ∂Ω. Two cases for a(x)?a₀>0 and a(x)?0 are considered. We obtain the existence and Lp estimate of global attractor A in Lp, for any p?max{1,q}. The attractor A is in fact a bounded set in if a(x)?a₀>0 in Ω, and A is bounded in if a(x)?0 in Ω.     

Positive solutions for some Schrödinger equations having partially periodic potentials

This paper is concerned with the problem of finding positive solutions of the equation −Δu+(a_∞+a(x))u=|u|^q−2u, where q is subcritical, Ω is either RN or an unbounded domain which is periodic in the first p coordinates and whose complement is contained in a cylinder , a_∞>0, a∈C(RN,R) is periodic in the first p coordinates, infx∈RN(a_∞+a(x))>0 and a(x^′,x^″)→0 as |x^″|→∞ uniformly in x^′. The cases a?0 and a?0 are considered and it is shown that, under appropriate assumptions on a, the problem has one solution in the first case and p+1 solutions in the second case when p?N−2.     

Carleson embeddings for Sobolev spaces via heat equation

Let u(t,x) be the solution of the heat equation (∂_t-Δ_x)u(t,x)=0 on subject to u(0,x)=f(x) on Rⁿ. The main goal of this paper is to characterize such a nonnegative measure μ on that f(x)?u(t²,x) induces a bounded embedding from the Sobolev space , p∈[1,n) into the Lebesgue space , q∈(0,∞).     

Ground state solutions for a semilinear elliptic problem with a convection term

By a sub-supersolution method and a perturbed argument, we improve the earlier results concerning the existence of ground state solutions to a semilinear elliptic problem −Δu+p(x)q|∇u|=f(x,u), u>0, x∈RN, , where q∈(1,2], for some α∈(0,1), p(x)?0, ∀x∈RN, and f:RN×(0,∞)→[0,∞) is a locally Hölder continuous function which may be singular at zero.     

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

Mappings between Banach spaces that send mixed summable sequences into absolutely summable sequences

In this work we study mappings f from an open subset A of a Banach space E into another Banach space F such that, once a∈A is fixed, for mixed (s;q)-summable sequences of elements of a fixed neighborhood of 0 in E, the sequence is absolutely p-summable in F. In this case we say that f is (p;m(s;q))-summing at a. Since for s=q the mixed (s;q)-summable sequences are the weakly absolutely q-summable sequences, the (p;m(q;q))-summing mappings at a are absolutely (p;q)-summing mappings at a. The nonlinear absolutely summing mappings were studied by Matos (see [Math. Nachr. 258 (2003) 71-89]) in a recent paper, where one can also find the historical background for the theory of these mappings. When s=+∞, the mixed (∞,q)-summable sequences are the absolutely q-summable sequences. Hence the (p;m(∞;q))-summing mappings at a are the regularly (p;q)-summing mappings at a. These mappings were also studied in [Math. Nachr. 258 (2003) 71-89] and they were important to give a nice characterization of the absolutely (p;q)-summing mappings at a. We show that for q<s<+∞ the space of the (p;m(s;q))-summing mappings at a are different from the spaces of the absolutely (p;q)-summing mappings at a and different from the spaces of regularly (p;q)-summing mappings at a. We prove a version of the Dvoretzky-Rogers theorem for n-homogeneous polynomials that are (p;m(s;q))-summing at each point of E. We also show that the sequence of the spaces of such n-homogeneous polynomials, n∈N, gives a holomorphy type in the sense of Nachbin. For linear mappings we prove a theorem that gives another characterization of (s;q)-mixing operators in terms of quotients of certain operators ideals.     

Large solutions to non-monotone semilinear elliptic systems

We present the existence of entire large positive radial solutions for the non-monotonic system Δu=p(|x|)g(v), Δv=q(|x|)f(u) on Rn where n?3. The functions f and g satisfy a Keller-Osserman type condition while nonnegative functions p and q are required to satisfy the decay conditions and . Further, p and q are such that min(p,q) does not have compact support.     

Convergence to strong nonlinear diffusion waves for solutions to p-system with damping on quadrant

In this paper, we consider the so-called p-system with linear damping on quadrant. We show that for a certain class of given large initial data (v₀(x),u₀(x)), the corresponding initial-boundary value problem admits a unique global smooth solution (v(x,t),u(x,t)) and such a solution tends time-asymptotically, at the Lp (2?p?∞) optimal decay rates, to the corresponding nonlinear diffusion wave which satisfies (1.9) provided the corresponding prescribed initial error function (V₀(x),U₀(x)) lies in (H³(R⁺)∩L¹(R⁺))×(H²(R⁺)∩L¹(R⁺)).     

Carleson measure problems for parabolic Bergman spaces and homogeneous Sobolev spaces

Let be the space of solutions to the parabolic equation having finite norm. We characterize nonnegative Radon measures μ on having the property , 1≤p≤q<∞, whenever . Meanwhile, denoting by v(t,x) the solution of the above equation with Cauchy data v₀(x), we characterize nonnegative Radon measures μ on satisfying , β∈(0,n), p∈[1,n/β], q∈(0,∞). Moreover, we obtain the decay of v(t,x), an isocapacitary inequality and a trace inequality.     

A subadditive property of the gamma function

Let Δ=min_x?0Γ(2x)/Γ(x) and . We prove that the function x?(Γ(x))^α is subadditive on (0,∞) if and only if α∗?α?0.     

Area and the inradius of lemniscates

We study geometric properties of filled lemniscates of a complex polynomial p(z) of degree n. In particular, we answer a question raised by H.H. Cuenya and F.E. Levis (2007) by showing that there is a constant C(n) such that for every lemniscate E(p,c). Here μ(E(p,c)) and r(E(p,c)) denote the area and the inradius of E(p,c).     

Local “superlinearity” and “sublinearity” for the p-Laplacian

We study the existence, nonexistence and multiplicity of positive solutions for a family of problems −Δpu=fλ(x,u), , where Ω is a bounded domain in RN, N>p, and λ>0 is a parameter. The family we consider includes the well-known nonlinearities of Ambrosetti-Brezis-Cerami type in a more general form, namely λa(x)uq+b(x)ur, where 0?q<p−1<r?p^∗−1. Here the coefficient a(x) is assumed to be nonnegative but b(x) is allowed to change sign, even in the critical case. Preliminary results of independent interest include the extension to the p-Laplacian context of the Brezis-Nirenberg result on local minimization in and , a C1,α estimate for equations of the form −Δpu=h(x,u) with h of critical growth, a strong comparison result for the p-Laplacian, and a variational approach to the method of upper-lower solutions for the p-Laplacian.