Global-in-time Uniform Convergence for Linear Hyperbolic-Parabolic Singular Perturbations

We consider the Cauchy problem εu^″ε ＋ δu′ε ＋ Auε = 0, uε（0） = uo, u′ε（0） = ul, where ε 〉 0, δ 〉 0, H is a Hilbert space, and A is a self-adjoint linear non-negative operator on H with dense domain D（A）. We study the convergence of （uε） to the solution of the limit problem ,δu＇ ＋ Au = 0, u（0） = u0. For initial data （u0, u1） ∈ D（A1/2）× H, we prove global-in-time convergence with respect to strong topologies. Moreover, we estimate the convergence rate in the case where （u0, u1）∈ D（A3/2） ∈ D（A1/2）, and we show that this regularity requirement is sharp for our estimates. We give also an upper bound for ｜u′ε（t）｜ which does not depend on ε.     

C-Cosine Functions and the Abstract Cauchy Problem, II

For a bounded linear injectionCon a Banach spaceXand a closed linear operatorA : D(A) X → Xwhich commutes withCwe prove that (1) the abstract Cauchy problem,u″(t) = Au(t),t R,u(0) = Cx,u′(0) = Cy, has a unique strong solution for everyx,y D(A) if and only if (2)A₁ = AD(A²) generates aC₁-cosine function onX₁(D(A) with the graph norm), if (and only if, in caseAhas nonempty resolvent set) (3)Agenerates aC-cosine function onX. HereC₁ = CX₁. Under the assumption thatAis densely defined andC⁻¹AC = A, statement (3) is also equivalent to each of the following statements: (4) the problemv″(t) = Av(t) + C(x + ty) + ∫^t₀ Cg(r) dr,t R,v(0) = v′(0) = 0, has a unique strong solution for everyg L¹_locandx, y X; (5) the problemw″(t) = Aw(t) + Cg(t),t R,w(0) = Cx,w′(0) = Cy, has a unique weak solution for everyg L¹_locandx, y X. Finally, as an application, it is shown that for any bounded operatorBwhich commutes withCand has range contained in the range ofC,A + Bis also a generator.     

Stability of semilinear ill-posed problems with a prescribed energy bound

In the present paper we discuss the stability of semilinear problems of the form A^αu + G^α(u) = ? under assumption of an a priori bound for an energy functional E^α(u) ? E, where α is a parameter in a metric space M. Following [11] the problem A^αu + G^α(u) = ?, E^α(u) ? E is called stable in a Hilbert space H at a point α ? M if for any ??H, E, ? > 0 there exists δ > 0 such that for any functions u^α1, u^α2 satisfying A^αju^αj + G^αj(u^αj) = ?^αj, E^αj(u^αj) ? E, j = 1,2 we have ‖u^α1 ? u^α2_H ? ? provided ρ_M(α_j, α) ? δ, ‖?^αj ? ?‖_H ? δ, j = 1,2. In the present paper we obtain stability conditions for the problem A^αu + G^α(u) = ?, E^α(u) ? E.     

Degenerate triply nonlinear problems with nonhomogeneous boundary conditions

The paper addresses the existence and uniqueness of entropy solutions for the degenerate triply nonlinear problem: b(v) _t − div α(v, ▽g(v)) = f on Q:= (0, T) × Ω with the initial condition b(v(0, ·)) = b(v ₀) on Ω and the nonhomogeneous boundary condition “v = u” on some part of the boundary (0, T) × ∂Ω”. The function g is continuous locally Lipschitz continuous and has a flat region [A ₁, A ₂,] with A ₁ ≤ 0 ≤ A ₂ so that the problem is of parabolic-hyperbolic type.     

On uniqueness of Neumann-Tricomi problem in R2

We consider the equation of mixed type (k(y) ? 0 whenever y ? 0) in a region G which is bounded by the curves: A piecewise smooth curve Γ lying in the half-plane y > 0 which intersects the line y = 0 at the points A(-1, 0) and B(0, 0). For y < 0 by a piecewise smooth curve Γ through A which meets the characteristic of (1) issued from B at the point P and the curve Γ which consists of the portion PB of the characteristic through B. We obtain sufficient conditions for the uniqueness of the solution of the problem L[u] = f, d_nu: = k(y)u_xdy – u_ydx|γ0 = = Ψ(s) for a “general” function k(y), when r(x, y) is not necessarily zero and Γ₁ is of a more general form then in the papers of V. P. Egorov [6], [7].     

Existence results for a class of pseudomonotone elliptic-parabolic inclusions

This paper deals with the initial-value problem of nonlinear evolution inclusions of the form dB(u)/dt + A(u) f, v0 ∈ B(u)(0), where the operator B is induced by a subgradient and A is pseudomonotone. Existence theorem is established via the time discretization technique and the regularization method. In contrast to the previous results, here we impose a weaker coerciveness condition on A and remove the strong monotonicity from B.     

A stability result for abstract evolution problems

Consider an abstract evolution problem in a Hilbert space H (1) where A(t) is a linear, closed, densely defined operator in H with domain independent of t ≥ 0 and G(t,u) is a nonlinear operator such that ‖G(t,u)‖a(t) ‖u‖^p, p = const > 1, ‖f(t)‖ ≤ b(t). We allow the spectrum of A(t) to be in the right half‐plane Re(λ) < λ₀(t), λ₀(t) > 0, but assume that lim_{t → ∞}λ₀(t) = 0. Under suitable assumptions on a(t) and b(t), the boundedness of ‖u(t)‖ as t → ∞ is proved. If f(t) = 0, the Lyapunov stability of the zero solution to problem (1) with u₀ = 0 is established. For f ≠ 0, sufficient conditions for the Lyapunov stability are given. The novel point in our study of the stability of the solutions to abstract evolution equations is the possibility for the linear operator A(t) to have spectrum in the half‐plane Re(λ) < λ₀(t) with λ₀(t) > 0 and lim_{t → ∞}λ₀(t) = 0 at a suitable rate. The new technique, proposed in the paper, is based on an application of a novel nonlinear differential inequality. Copyright © 2012 John Wiley & Sons, Ltd.     

On some properties of solutions of quasilinear degenerate equations

For quasilinear equations div A(x, u, ∇u) = 0 with degeneracy ω(x) of the Muckenhoupt A _p -class, we prove the Harnack inequality, an estimate for the H?lder norm, and a sufficient criterion for the regularity of boundary points of the Wiener type. Translated from Ukrains'kyi Matematychnyi Zhurnal, Vol. 60, No. 7, pp. 918–936, July, 2008.     

The Instability of Nonmonotonic Wave Solutions of Parabolic Equations

We consider the class of equations u_t=f(u_xx, u_x, u) under the restriction that for all a,b,c. We first consider this equation over the unbounded domain ? ∞ < x < + ∞, and we show that very nearly every bounded nonmonotonic solution of the form u(t, x)=?(x?ct) is unstable to all nonnegative and all nonpositive perturbations. We then extend these results to nonmonotonic plane wave solutions u(t, x, y)=?(x?ct) of u_t = F(u_xx, u_xy, u_x, u_y, u). Finally, we consider the class of equations u_t=f(u_xx, u_x, u) over the bounded domain 0 < x < 1 with the boundary conditions u(t, x)=A at x=0 and u(t, x)=B at x=1, and we find the stability of all steady solutions u(t, x)=?(x).     

Asymptotically autonomous parabolic evolution equations

We study the long-term behaviour of the parabolic evolution equation $\[u'(t)=A(t)u(t)+f(t), t>s,\quad u(s)=x. \]$\[u'(t)=A(t)u(t)+f(t), t>s,\quad u(s)=x. \] If A(t) A(t) converges to a sectorial operator A with s(A)?i \Bbb R = ? \sigma(A)\cap i \Bbb R =\emptyset as t?￥ t\to\infty , then the evolution family solving the homogeneous problem has exponential dichotomy. If also f(t)? f_￥ f(t)\to f_\infty , then the solution u converges to the 'stationary solution at infinity', i.e., lim_t?￥u(t) = -A\sp-1f_￥=:u_￥,        lim_t?￥u￠(t)=0,        lim_t?￥A(t)u(t)=Au_￥. \lim_{t\to\infty}u(t)= -A\sp{-1}f_\infty=:u_\infty, \qquad \lim_{t\to\infty}u'(t)=0, \qquad \lim_{t\to\infty}A(t)u(t)=Au_\infty. .     

Phragmen-Lindelof Principle for Some Quasilinear Evolution Equations of the Second Order

We consider the equation u _tt + A(u _t ) + B(u) = 0, where A and B are quasilinear operators with respect to the variable x of the second order and the fourth order, respectively. In a cylindrical domain unbounded with respect to the space variables, we obtain estimates that characterize the minimum growth of any nonzero solution of the mixed problem at infinity.__________Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 57, No. 2, pp. 239–249, February, 2005.     

Optimality conditions for fractional minmax programming

Let V ?H be real separable Hilbert spaces. The abstract wave equation u′' + A(t)u = g(u), where u(t) ?V, A(t) maps V to its dual $\text{V}{}^1$, and g is a nonlinear map from the ball S(R₀) = {u?V: ∥u∥ < R₀} into H, is considered. It is assumed that g is locally Lipschitz in S(R₀) and possibly singular at the boundary. Local existence and continuation theorems are established for the Cauchy problem u(0) = u₀?S(R₀), u′(0) = u₁?H. Global existence is shown for g(u) = εφ(u), where φ has a potential and ε is small. Global nonexistence is shown for g(u) = εφ(u), where φ satisfies an abstract convexity property and ε is large.     

Dead cores of singular Dirichlet boundary value problems with ϕ-Laplacian

The paper discusses the existence of positive solutions, dead core solutions and pseudodead core solutions of the singular Dirichlet problem (ϕ(u′))′ = λf(t, u, u′), u(0) = u(T) = A. Here λ is the positive parameter, A > 0, f is singular at the value 0 of its first phase variable and may be singular at the value A of its first and at the value 0 of its second phase variable. This work was supported by grant no. A100190703 of the Grant Agency of the Academy of Sciences of the Czech Republic and by the Council of Czech Government MSM 6198959214.     

Elliptic function of level 4

The article is devoted to the theory of elliptic functions of level n. An elliptic function of level n determines a Hirzebruch genus called an elliptic genus of level n. Elliptic functions of level n are also of interest because they are solutions of the Hirzebruch functional equations. The elliptic function of level 2 is the Jacobi elliptic sine function, which determines the famous Ochanine–Witten genus. It is the exponential of the universal formal group of the form F(u, v) = (u² ? v²)/(uB(v) ? vB(u)), B(0) = 1. The elliptic function of level 3 is the exponential of the universal formal group of the form F(u, v) = (u²A(v) ? v²A(u))/(uA(v)² ? vA(u)²), A(0) = 1, A″(0) = 0. In the present study we show that the elliptic function of level 4 is the exponential of the universal formal group of the form F(u, v) = (u²A(v) ? v²A(u))/(uB(v) ? vB(u)), where A(0) = B(0) = 1 and for B′(0) = A″(0) = 0, A′(0) = A₁, and B″(0) = 2B₂ the following relation holds: (2B(u) + 3A₁u)² = 4A(u)³ ? (3A₁² ? 8B₂)u²A(u)². To prove this result, we express the elliptic function of level 4 in terms of the Weierstrass elliptic functions.     

A property of nonlinear elliptic equations when the right-hand side is a measure

LetA(u)=–diva(x, u, Du) be a Leray-Lions operator defined onW ₀ ^1,p () and be a bounded Radon measure. For anyu SOLA (Solution Obtained as Limit of Approximations) ofA(u)= in ,u=0 on , we prove that the truncationsT _k(u) at heightk satisfyA(T _k(u)) A(u) in the weak * topology of measures whenk + .

---

Résumé SoitA(u)=–diva(x, u, Du) un opérateur de Leray-Lions défini surW ₀ ^1,p () et une mesure de Radon bornée. Pour toutu SOLA (Solution Obtenue comme Limite d'Approximations) deA(u)= dans ,u=0 sur , nous démontrons que les troncaturesT _k(u) à la hauteurk vérifientA(T _k(u)) A(u) dans la topologie faible * des mesures quandk + .

     

An abstract semilinear hyperbolic Volterra integrodifferential equation

We consider semilinear integrodifferential equations of the form u′(t) + A(t) u(t) = ∝₀^tg(t, s, u(s)) ds + f(t), u(0) = u₀. For each t ? 0, the operator A(t) is assumed to be the negative generator of a strongly continuous semigroup in a Banach space X. The domain D(A(t)) of A(t) is allowed to vary with t. Thus our models are Volterra integrodifferential equations of “hyperbolic type.” These types of equations arise naturally in the study of viscoelasticity. Our main results are the proofs of existence, uniqueness, continuation and continuous dependence of the solutions.     

Comparison of solutions of nonlinear evolution problems with different nonlinear terms

We obtain the comparison of solutions (formulated in terms, of some functions of them) of two nonlinear evolution problems with different nonlinear terms. First this is obtained for the equationsu ₁ – Δφ _i(u)=0, and then for the abstract equationsdu/dt+A _i u=0 (i=1,2) on a normal Banach lattice. Different applications of our abstract result are given in the last section.     

Implicit Euler scheme for an abstract evolution inequality

For a triple {V, H, V*} of Hilbert spaces, we consider an evolution inclusion of the form u′(t)+A(t)u(t)+δϕ(t, u(t)) ∋ f(t), u(0) = u0, t ∈ (0, T ], where A(t) and ϕ(t, ·), t ∈ [0, T], are a family of nonlinear operators from V to V * and a family of convex lower semicontinuous functionals with common effective domain D(ϕ) ⊂ V. We indicate conditions on the data under which there exists a unique solution of the problem in the space H ¹(0, T; V)∩W _∞¹ (0, T;H) and the implicit Euler method has first-order accuracy in the energy norm.     

Uniqueness criterion in an inverse problem for an abstract differential equation with nonstationary inhomogeneous term

In a Banach space E, we consider the inverse problem du(t)/dt = Au(t) + (t)p , u(0) = u ₀, u(T) = u₁, with an unknown function u(t) and an element p E. The operator A is assumed linear and closed. In this paper, we establish minimal constraints on the function C([0, T]) for which the uniqueness of the solution of the inverse problem is completely described in terms of the eigenvalues of the operator A.Translated from Matematicheskie Zametki, vol. 77, no. 2, 2005, pp. 273–290.Original Russian Text Copyright © 2005 by I. V. Tikhonov, Yu. S. Éidelman.This revised version was published online in April 2005 with a corrected issue number.     

The initial boundary value problem for the nonlinear parabolic equation in unbounded domain

In this paper we consider the mixed problem for the equation u _tt  + A ₁ u + A ₂(u _t ) + g(u _t ) = f(x, t) in unbounded domain, where A ₁ is a linear elliptic operator of the fourth order and A ₂ is a nonlinear elliptic operator of the second order. Under natural assumptions on the equation coefficients and f we proof existence of a solution. This result contains, as a special case, some of known before theorems of existence. Essentially, in difference up to previous results we prove theorems of existence without the additional assumption on behavior of solution at infinity.