On the inverse problem of the product of a semi-classical form by a polynomial

A form (linear functional) u is called regular if there exists a sequence of polynomials {P_n}_n⩾0, deg P_n=n which is orthogonal with respect to u. Such a form is said to be semi-classical, if there exist polynomials Φ and Ψ such that D(Φu) + Ψu = 0, where D designs the derivative operator.On certain regularity conditions, the product of a semi-classical form by a polynomial, gives a semi-classical form. In this paper, we consider the inverse problem: given a semi-classical form v, find all regular forms u which satisfy the relation x²u = −λv, $\text{λ ∈}\text{C}{}^1$. We give the structure relation (differential-recurrence relation) of the orthogonal polynomial sequence relatively to u. An example is treated with a nonsymmetric form v.     

Copositive pointwise approximation

We prove that if a functionf ∈C ⁽¹⁾ (I),I: = [?1, 1], changes its signs times (s ∈ ?) within the intervalI, then, for everyn > C, whereC is a constant which depends only on the set of points at which the function changes its sign, andk ∈ ?, there exists an algebraic polynomialP _n =P _n (x) of degree ≤n which locally inherits the sign off(x) and satisfies the inequality $$\left| {f\left( x \right) - P_n \left( x \right)} \right| \leqslant c\left( {s,k} \right)\left( {\frac{1}{{n^2 }} + \frac{{\sqrt {1 - x^2 } }}{n}} \right)\omega _k \left( {f'; \frac{1}{{n^2 }} + \frac{{\sqrt {1 - x^2 } }}{n}} \right), x \in I$$ , where ω _k (f′;t) is thekth modulus of continuity of the functionf’. It is also shown that iff ∈C (I) andf(x) ≥ 0,x ∈I then, for anyn ≥k ? 1, there exists a polynomialP _n =P _n (x) of degree ≤n such thatP _n (x) ≥ 0,x ∈I, and |f(x) ?P _n (x)| ≤c(k)ω _k (f;n ^?2 +n ^?1 √1 ?x ²),x ∈I.     

Boundedness in nonlinear oscillations

In this paper, the boundedness of all solutions of the nonlinear differential equation (φ_p(x′))′ + αφ_p(x⁺) – βφ_p(x^–) + f(x) = e(t) is studied, where φ_p(u) = |u|^p–2 u, p ≥ 2, α, β are positive constants such that = 2w^–1 with w ∈ ?⁺\?, f is a bounded C⁵ function, e(t) ∈ C⁶ is 2π_p‐periodic, x⁺ = max{x, 0}, x^– = max{–x, 0}. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Nonlinear parabolic equations with p-growth and unbounded data

The purpose of this paper is to prove the existence of a solution for a nonlinear parabolic equation in the form u_t - div(a(t, x, u, Du)) = H(t, x, u, Du) - div(g(t, x)) in Q_T =]0,T[×Ω, Ω ⊂ R^N, with an initial condition u(0) = u₀, where u₀ is not bounded, |H(t,x, u, ξ)⩽ β|ξ|^p + f(t,x) + βe^λ₁^|u|f, |g|^p/(p-1) ∈ L^r(Q_T) for some r = r{N) ⩾ 1, and - div(a(t,x,u, Du)) is the usual Leray-Lions operator.     

On the smoothness of solutions of a class of regular equations in a strip

The paper considers a class of regular, hypoelliptic in x ₁, two-dimensional operators P(D) = P(D ₁,D ₂) in rather wide strip Ω _H = {x = (x ₁; x ₂) ∈ $ \mathbb{E} $ \mathbb{E} ², |x ₁| < H, x ₂ ∈ $ \mathbb{E} $ \mathbb{E} ¹}. It is proved the infinite differentiability in Ω _H of those generalized solutions of the equation P(D) _u = 0, for which D ₂ ^j u ∈ L ₂(Ω _H ), j = 0, …, ord _x2 P.     

The conformal plate buckling equation

The linear equation Δ²u = 1 for the infinitesimal buckling under uniform unit load of a thin elastic plate over ?² has the particularly interesting nonlinear generalization Δ_g²u = 1, where Δ_g = e^?2u Δ is the Laplace‐Beltrami operator for the metric g = e^2ug₀, with g₀ the standard Euclidean metric on ?². This conformal elliptic PDE of fourth order is equivalent to the nonlinear system of elliptic PDEs of second order Δu(x)+K_g(x) exp(2u(x)) = 0 and Δ K_g(x) + exp(2u(x)) = 0, with x ∈ ?², describing a conformally flat surface with a Gauss curvature function K_g that is generated self‐consistently through the metric's conformal factor. We study this conformal plate buckling equation under the hypotheses of finite integral curvature ∫ K_g exp(2u)dx = κ, finite area ∫ exp(2u)dx = α, and the mild compactness condition K₊ ∈ L¹(B₁(y)), uniformly w.r.t. y ∈ ?². We show that asymptotically for |x|→∞ all solutions behave like u(x) = ?(κ/2π)ln |x| + C + o(1) and K(x) = ?(α/2π) ln|x| + C + o(1), with κ ∈ (2π, 4π) and . We also show that for each κ ∈ (2π, 4π) there exists a K^* and a radially symmetric solution pair u, K, satisfying K(u) = κ and maxK = K^*, which is unique modulo translation of the origin, and scaling of x coupled with a translation of u. © 2001 John Wiley & Sons, Inc.     

On an over-determined problem of free boundary of a degenerate parabolic equation

This work is concerned with the inverse problem of determining initial value of the Cauchy problem for a nonlinear diffusion process with an additional condition on free boundary. Considering the flow of water through a homogeneous isotropic rigid porous medium, we have such desire: for every given positive constants K and T ₀, to decide the initial value u ₀ such that the solution u(x, t) satisfies $\mathop {\sup }\limits_{x \in H_u (T_0 )} |x| \geqslant K$ , where H _u(T ₀) = {x, ?^N: u(x, T ₀) > 0}. In this paper, we first establish a priori estimate u _t ? C(t)u and a more precise Poincaré type inequality $\left\| \phi \right\|_{L^2 (B_\varrho )}^2 \leqslant \varrho \left\| {\nabla \phi } \right\|_{L^2 (B_\varrho )}^2 $ , and then, we give a positive constant C ₀ and assert the main results are true if only $\left\| {u_0 } \right\|_{L^2 (\mathbb{R}^N )} \geqslant C_0 $ .     

Elliptic equation with a singular potential in a domain with a conic point

This paper deals with the behavior of the nonnegative solutions of the problem $$- \Delta u = V(x)u, \left. u \right|\partial \Omega = \varphi (x)$$ in a conical domain Ω ? ? ⁿ , n ≥ 3, where 0 ≤ V (x) ∈ L₁(Ω), 0 ≤ ?(x) ∈ L₁(?Ω) and ?(x) is continuous on the boundary ?Ω. It is proved that there exists a constant C _*(n) = (n ? 2)²/4 such that if V ₀(x) = (c + λ ₁)|x|^?2, then, for 0 ≤ c ≤ C _*(n) and V(x) ≤ V ₀(x) in the domain Ω, this problem has a nonnegative solution for any nonnegative boundary function ?(x) ∈ L ₁(?Ω); for c > C _*(n) and V(x) ≥ V ₀(x) in Ω, this problem has no nonnegative solutions if ?(x) > 0.     

A limit theorem for matrix-solutions of Hamiltonian systems

The following limit theorem on Hamiltonian systems (resp. corresponding Riccati matrix equations) is shown: Given(N, N)-matrices,A, B, C andn ∈ {1,…, N} with the following properties:A and kemelB(x) are constant, rank(I, A, …, A ^n?1) B(x)≠N,B(x)∈C _n(R), andB(x)(A ^T)^j-1 C(x)∈C _n-j(R) forj=1, …, n. Then \(\mathop {\lim }\limits_{x \to x_0 } \eta _1^T \left( x \right)V\left( x \right)U^{ - 1} \left( x \right)\eta _2 \left( x \right) = d_1^T \left( {x_0 } \right)U\left( {x_0 } \right)d_2 \) forx ₀∈R, whenever the matricesU(x), V(x) are a conjoined basis of the differential systemU′=AU + BV, V′=CU?A ^TV, and whenever η_i(x)∈R ^N satisfy η_i(x ₀)=U(x ₀)d _i ∈ imageU(x ₀) η′_i-Aη_ni(x) ∈ imageB(x),B(x)(η′_i(x)-Aη_i(x)) ∈C _n-1 R fori=1,2.     

On one representation of analytic functions by harmonic functions

Let u(x) be a function analytic in some neighborhood D about the origin, $ \mathcal{D} Let u(x) be a function analytic in some neighborhood D about the origin, ⊂ ℝ ⁿ . We study the representation of this function in the form of a series u(x) = u ₀(x) + |x|² u ₁(x) + |x|⁴ u ₂(x) + …, where u _k (x) are functions harmonic in . This representation is a generalization of the well-known Almansi formula. Original Russian Text ? V. V. Karachik, 2007, published in Matematicheskie Trudy, 2007, Vol. 10, No. 2, pp. 142–162.     

Maximal space regularity for abstract linear non-autonomous parabolic equations

The linear non-autonomous evolution equation $\text{u′(t) ? A(t) u(t) = ?(t), t ∈ [0, T]}$, with the initial datum u(0) = x, in the space C([0, T], E), where E is a Banach space and {A(t)} is a family of infinitesimal generators of bounded analytic semigroups is considered; the domains D(A(t)) are supposed constant in t and possibly not dense in E. Maximal regularity of the strict and classical solutions, i.e., regularity of u′ and A(·)u(·) with values in the interpolation spaces D_A(0)(θ, ∞) and D_A(0)(θ) between D(A(0)) and E, is studied. A characterization of such spaces in a concrete case is also given.     

On Extraction of Smooth Solutions of a Class of Almost Hypoelliptic Equations with Constant Power

A linear differential operator P(x, D) = P(x₁,... x _n , D₁,..., D _n ) = ∑_αγ_α(x)D^α with coefficients γ_α(x) defined in E ⁿ is called formally almost hypoelliptic in E ⁿ if all the derivatives D^ν_ξP(x, ξ) can be estimated by P(x, ξ), and the operator P(x, D) has uniformly constant power in Eⁿ. In the present paper, we prove that if P(x, D) is a formally almost hypoelliptic operator, then all solutions of equation P(x, D)u = 0, which together with some of their derivatives are square integrable with a specified exponential weight, are infinitely differentiable functions.     

Regularity of the obstacle problem for a fractional power of the laplace operator

Given a function φ and s ∈ (0, 1), we will study the solutions of the following obstacle problem:

• u ≥ φ in ?ⁿ,
• (??)^su ≥ 0 in ?ⁿ,
• (??)^su(x) = 0 for those x such that u(x) > φ(x),
• lim_{|x| → + ∞} u(x) = 0.

We show that when φ is C^{1, s} or smoother, the solution u is in the space C^{1, α} for every α < s. In the case where the contact set {u = φ} is convex, we prove the optimal regularity result u ∈ C^{1, s}. When φ is only C^{1, β} for a β < s, we prove that our solution u is C^{1, α} for every α < β. © 2006 Wiley Periodicals, Inc.     

Asymptotic expansion of the solution of the initial value problem for a singularly perturbed ordinary differential equation

We consider the Cauchy problem for the nonlinear differential equation

$$\varepsilon \frac{{du}}{{dx}} = f(x,u),u(0,\varepsilon ) = R_0 ,$$

where ? > 0 is a small parameter, f(x, u) ∈ C ^∞ ([0, d] × ?), R ₀ > 0, and the following conditions are satisfied: f(x, u) = x ? u ^p + O(x ² + |xu| + |u|^p+1) as x, u → 0, where p ∈ ? \ {1} f(x, 0) > 0 for x > 0; f _u ²(x, u) < 0 for (x, u) ∈ [0, d] × (0, + ∞); Σ ₀ ^+∞ f _u ²(x, u) du = ?∞. We construct three asymptotic expansions (external, internal, and intermediate) and prove that the matched asymptotic expansion approximates the solution uniformly on the entire interval [0, d].

     

A remark on Schrödinger operators

We study the almost everythere convergence to the initial dataf(x)=u(x, 0) of the solutionu(x, t) of the two-dimensional linear Schrödinger equation Δu=i? _t u. The main result is thatu(x, t) →f(x) almost everywhere fort → 0 iff ∈H ^p (R²), wherep may be chosen <1/2. To get this result (improving on Vega’s work, see [6]), we devise a strategy to capture certain cancellations, which we believe has other applications in related problems.     

Plane structures in thermal runaway

We consider the problem

1. u _t=u _xx+e ^u whenx ∈ ?,t > 0,
2. u(x, 0) =u ₀(x) whenx ∈ ?,

whereu ₀(x) is continuous, nonnegative and bounded. Equation (1) appears as a limit case in the analysis of combustion of a one-dimensional solid fuel. It is known that solutions of (1), (2) blow-up in a finite timeT, a phenomenon often referred to as thermal runaway. In this paper we prove the existence of blow-up profiles which are flatter than those previously observed. We also derive the asymptotic profile ofu(x, T) near its blow-up points, which are shown to be isolated.     

Modified Dyadic Integral and Fractional Derivative on ℝ+

For functions from the Lebesgue space L(?₊), we introduce the modified strong dyadic integral J _α and the fractional derivative D ^(α) of order α > 0. We establish criteria for their existence for a given function f ∈ L(?₊). We find a countable set of eigenfunctions of the operators D ^(α) and J _α, α > 0. We also prove the relations D ^(α)(J _α(f)) = f and J _α(D ^(α)(f)) = f under the condition that $\smallint _{\mathbb{R}_ + } f(x)dx = 0$ . We show the unboundedness of the linear operator $J_\alpha :L_{J_{_\alpha } } \to L(\mathbb{R}_ + )$ , where L _{J α} is its natural domain of definition. A similar assertion is proved for the operator $D^{(\alpha )} :L_{D^{(\alpha )} } \to L(\mathbb{R}_ + )$ . Moreover, for a function f ∈ L(?₊) and a given point x ∈ ?₊, we introduce the modified dyadic derivative d ^(α)(f)(x) and the modified dyadic integral j _α(f)(x). We prove the relations d ^(α)(J _α(f))(x) = f(x) and j _α(D ^(α)(f)) = f(x) at each dyadic Lebesgue point of the function f.     

Extraction of smooth solutions of a class of regular equations in a rectangle

This work is devoted to the study of two-dimensional, regular, almost hypoelliptic operators P(D) = P(D ₂, D ₂) with regular Newton polyhedrons. It is proved that all generalized (weak) solutions of the equation P(D)u = f from a several weighted Sobolev space are infinitely differentiable functions in the rectangle {x ∈ E ²: −a < x ₁ < a, −b < x ₂ < b} in the variable x ₂, in which the function f is infinitely differentiable.