Conditions for the Existence of Solutions of a Periodic Boundary-Value Problem for an Inhomogeneous Linear Hyperbolic Equation of the Second Order. I

We consider the periodic boundary-value problem u _tt − u _xx = g(x, t), u(0, t) = u(π, t) = 0, u(x, t + ω) = u(x, t). By representing a solution of this problem in the form u(x, t) = u ⁰(x, t) + ũ(x, t), where u ⁰(x, t) is a solution of the corresponding homogeneous problem and ũ(x, t) is the exact solution of the inhomogeneous equation such that ũ(x, t + ω) u x = ũ(x, t), we obtain conditions for the solvability of the inhomogeneous periodic boundary-value problem for certain values of the period ω. We show that the relation obtained for a solution includes known results established earlier. __________ Translated from Ukrains'kyi Matematychnyi Zhurnal, Vol. 57, No. 7, pp. 912–921, July, 2005.     

Exact solution of one boundary-value problem

We study the boundary-value perlodic problem u _tt −u _xx =F(x, t), u(0, t)=u(π, t)=0, u(x, t+T)=u(x, t), (x, t) ∈ R ². By using the Vejvoda-Shtedry operator, we determine a solution of this problem. Ternopol Pedagogical Institute, Temopol. Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 49, No. 7, pp. 998–1001, July, 1997.     

Problem with periodicity conditions for a degenerating equation of mixed type

For the equation K(t)u _xx + u _tt − b ² K(t)u = 0 in the rectangular domain D = “(x, t)‖ 0 < x < 1, −α < t < β”, where K(t) = (sgnt)|t| ^m , m > 0, and b > 0, α > 0, and β > 0 are given real numbers, we use the spectral method to obtain necessary and sufficient conditions for the unique solvability of the boundary value problem u(0, t) = u(1, t), u _x (0, t) = u _x (1, t), −α ≤ t ≤ β, u(x, β) = φ(x), u(x,−α) = ψ(x), 0 ≤ x ≤ 1.     

The Global Existence of Small Solutions to the Oldroyd-B Model

The Cauchy problem to the Oldroyd-B model is studied. In particular, it is shown that if the smooth solution (u, τ) to this system blows up at a finite time T*, then ∫₀ ^T* ‖▿u(t)‖ _L ^∞dt = ∞. Furthermore, the global existence of smooth solution to this system is given with small initial data.     

Correlation structure of intermittency in the parabolic Anderson model

Consider the Cauchy problem ∂u(x, t)/∂t = ℋu(x, t) (x∈ℤ^d, t≥ 0) with initial condition u(x, 0) ≡ 1 and with ℋ the Anderson Hamiltonian ℋ = κΔ + ξ. Here Δ is the discrete Laplacian, κ∈ (0, ∞) is a diffusion constant, and ξ = {ξ(x): x∈ℤ ^d } is an i.i.d.random field taking values in ℝ. G?rtner and Molchanov (1990) have shown that if the law of ξ(0) is nondegenerate, then the solution u is asymptotically intermittent. In the present paper we study the structure of the intermittent peaks for the special case where the law of ξ(0) is (in the vicinity of) the double exponential Prob(ξ(0) > s) = exp[−e ^{s /θ}] (s∈ℝ). Here θ∈ (0, ∞) is a parameter that can be thought of as measuring the degree of disorder in the ξ-field. Our main result is that, for fixed x, y∈ℤ ^d and t→∈, the correlation coefficient of u(x, t) and u(y, t) converges to ∥w _ρ∥⁻² _ℓ2Σ_{z ∈ℤd} w _ρ(x+z)w _ρ(y+z). In this expression, ρ = θ/κ while w _ρ:ℤ^d→ℝ⁺ is given by w _ρ = (v _ρ)^{⊗ d} with v _ρ: ℤ→ℝ⁺ the unique centered ground state (i.e., the solution in ℓ²(ℤ) with minimal l ²-norm) of the 1-dimensional nonlinear equation Δv + 2ρv log v = 0. The uniqueness of the ground state is actually proved only for large ρ, but is conjectured to hold for any ρ∈ (0, ∞). empty It turns out that if the right tail of the law of ξ(0) is thicker (or thinner) than the double exponential, then the correlation coefficient of u(x, t) and u(y, t) converges to δ _{x, y} (resp.the constant function 1). Thus, the double exponential family is the critical class exhibiting a nondegenerate correlation structure. Received: 5 March 1997 / Revised version: 21 September 1998     

Boundary Control of the Wave Process with Elastic Clamping

The article investigates the boundary control problem for the wave process described by the equation u _tt(x,t) − u _xx(x,t) = 0 in the time interval 0 < t ≤ T with elastic clamping at the point x = l. For 0 < T ≤ 2l necessary and sufficient conditions are obtained ensuring the existence of a unique boundary control and its analytical form is determined. For 2l < T ≤ 3l we derive an explicit analytical expression for this boundary control that contains two arbitrary functions (of class ) defined on a segment of length T − 2l.     

Interior transition layers of solutions to the perturbed elliptic Sine-Gordon equation on an interval

We consider the perturbed elliptic Sine-Gordon equation on an interval-u″t+γsinu(t)=μf(u(t)),t ∈I := (-T, T),u(t) > 0,t ∈I,u(±T)=0 where λ, μ>0 are parameters andT>0 is a constant. By applying variational methods subject to the constraint depending on λ, we obtain eigenpairs (μ,u)=(μ(λ),u _λ) which solve this eigenvalue problem for a given λ>0. Then we study the asymptotic behavior ofu _λ and μ(λ) as λ→∞. Especially, we study the location of interior transition layers ofu _λ as λ→∞. This research has been supported by the Japan Society for the Promotion of Science.     

A note on the behavior of blow-up solutions for one-phase Stefan problems

ＡＮＯＴＥＯＮＴＨＥＢＥＨＡＶＩＯＲＯＦＢＬＯＷ┐ＵＰＳＯＬＵＴＩＯＮＳＦＯＲＯＮＥ┐ＰＨＡＳＥＳＴＥＦＡＮＰＲＯＢＬＥＭＳＺＨＵＮＩＮＧＡｂｓｔｒａｃｔ．Ｉｎｔｈｉｓｐａｐｅｒ,ｔｈｅｆｏｌｏｗｉｎｇｏｎｅ－ｐｈａｓｅＳｔｅｆａｎｐｒｏｂｌｅｍｉｓ...     

The nonlinear version of Pazy’s local existence theorem

LetX be a real Banach space,U ⊂X a given open set,A ⊂X×X am-dissipative set andF:C(0,a;U) →L ^∞(0,a;X) a continuous mapping. Assume thatA generates a nonlinear semigroup of contractionsS(t): {ie221-2}) → {ie221-3}), strongly continuous at the origin, withS(t) compact for allt>0. Then, for eachu ₀ ∈ {ie221-4}) ∩U there existsT ∈ ]0,a] such that the following initial value problem: (du(t))/(dt) ∈Au(t) +F(u)(t),u(0)=u ₀, has at least one integral solution on [0,T]. Some extensions and applications are also included.     

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.     

Removable singularities and non-uniqueness of solutions of a singular diffusion equation

 We prove that the solution u of the equation u _t =Δlog u, u>0, in (Ω\{x ₀})×(0,T), Ω⊂ℝ², has removable singularities at {x ₀}×(0,T) if and only if for any 0<α<1, 0<a<b<T, there exist constants ρ₀, C ₁, C ₂>0, such that C ₁ |x−x ₀|^α≤u(x,t)≤C ₂|x−x ₀|^−α holds for all 0<|x−x ₀|≤ρ₀ and a≤t≤b. As a consequence we obtain a sufficient condition for removable singularities at {∞}×(0,T) for solutions of the above equation in ℝ²×(0,T) and we prove the existence of infinitely many finite mass solutions for the equation in ℝ²×(0,T) when 0≤u ₀∉L ¹ (ℝ²) is radially symmetric and u ₀L _loc ¹(ℝ²). Received: 16 December 2001 / Revised version: 20 May 2002 / Published online: 10 February 2003 Mathematics Subject Classification (1991): 35B40, 35B25, 35K55, 35K65     

Linear periodic boundary-value problem for a second-order hyperbolic equation. II. Quasilinear problem

In three spaces, we find exact classical solutions of the boundary-value periodic problem u_tt - a²u_xx = g(x, t) u(0, t) = u(π, t) = 0, u(x, t + T) = u(x, t), x ∈ ℝ, t ∈ ℝ. We study the periodic boundary-value problem for a quasilinear equation whose left-hand side is the d’Alembert operator and whose right-hand side is a nonlinear operator. Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 50, No. 12, pp. 1680–1685, December, 1998.     

On the Blow-up Criterion of Smooth Solutions to the MHD System in BMO Space

In this paper we study the blow-up criterion of smooth solutions to the incompressible magnetohydrodynamics system in BMO space. Let （u（x,t）,b（x,t）） be smooth solutions in （0, T）. It is shown that the solution （u（x, t）, b（x, t）） can be extended beyond t = T if （u（x,t）, b（x, t）） ∈ L^1 （0, T; BMO） or the vorticity （rot u（x, t）, rot b（x, t）） ∈ L^1 （0, T; BMO） or the deformation （Def u（x, t）, Def b（x, t）） ∈ L^1 （0, T; BMO）.     

Nonlocal initial-boundary-value problems for a degenerate hyperbolic equation

We consider the equation y ^m u _xx − u _yy − b ² y ^m u = 0 in the rectangular area {(x, y) | 0 < x < 1, 0 < y < T}, where m < 0, b ≥ 0, T > 0 are given real numbers. For this equation we study problems with initial conditions u(x, 0) = τ(x), u _y (x, 0) = ν(x), 0 ≤ x ≤ 1, and nonlocal boundary conditions u(0, y) = u(1, y), u _x (0, y) = 0 or u _x (0, y) = u _x (1, y), u(1, y) = 0 with 0≤y≤T. Using the method of spectral analysis, we prove the uniqueness and existence theorems for solutions to these problems     

On the periodic solutions of the second-order wave equations. V

It is established that the linear problemu _u –a ² u _xx =g(x,t),u(0,t) =u(x, t + T) =u(x,t) is always solvable in the function spaceA = {g:g(x,t) =g(x,t+T) =g( –x,t) = –g(–x,t)} provided thataTq = (2p – 1) and (2p – 1,q) = 1, wherepandq are integer numbers. To prove this statement, an exact solution is constructed in the form of an integral operator, which is used to prove the existence of a solution of a periodic boundary-value problem for a nonlinear second-order wave equation. The results obtained can be used when studying the solutions to nonlinear boundary-value problems by asymptotic methods.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 45, No. 8, pp. 1115–1121, August, 1993.     

Unique solvability of the Cauchy problem for certain quasilinear pseudoparabolic equations

We study the Cauchy problem in the layer Π _T =ℝ ⁿ ×[0,T] for the equationu _t =cGΔu _t +Δϕ(u), wherec is a positive constant and the functionϕ(p) belongs toC ¹(ℝ₊) and has a nonnegative monotone non-decreasing derivative. The unique solvability of this Cauchy problem is established for the class of nonnegative functionsu(x,t) ∈C _x,t ^2,1 (Π _T ) with the properties: , . Translated fromMatematicheskie Zametki, Vol. 60, No. 3, pp. 356–362, September, 1996. This research was partially supported by the International Science Foundation under grant No. MX6000.     

Identification of the unknown diffusion coefficient in a quasi‐linear parabolic equation by semigroup approach with mixed boundary conditions

In this article, a semigroup approach is presented for the mathematical analysis of the inverse coefficient problems of identifying the unknown diffusion coefficient k(u(x, t)) in the quasi‐linear parabolic equation u_t(x, t)=(k(u(x, t))u_x(x, t))_x, with Dirichlet boundary conditions u_x(0, t)=ψ₀, u(1, t)=ψ₁. The main purpose of this work is to analyze the distinguishability of the input–output mappings Φ[·] : ??→C¹[0, T], Ψ[·] : ??→C¹[0, T] using semigroup theory. In this article, it is shown that if the null space of semigroups T(t) and S(t) consists of only a zero function, then the input–output mappings Φ[·] and Ψ[·] have the distinguishability property. Copyright © 2008 John Wiley & Sons, Ltd.     

Analysis of a semigroup approach in the inverse problem of identifying an unknown coefficient

This article presents a semigroup approach to the mathematical analysis of the inverse coefficient problems of identifying the unknown coefficient k(u_x) in the quasi‐linear parabolic equation u_t(x, t)=(k(u_x)u_x(x, t))_x+F(x, t), with Dirichlet boundary conditions u(0, t)=ψ₀, u(1, t)=ψ₁ and source function F(x, t). The main purpose of this paper is to investigate the distinguishability of the input–output mappings Φ[·]: ?? → C¹[0, T], Ψ[·]: ?? → C¹[0, T] via semigroup theory. Copyright © 2008 John Wiley & Sons, Ltd.     

Global existence for one-dimensional motion of non-isentropic viscous fluids

We study the p-system with viscosity given by v_t ? u_x = 0, u_t + p(v)_x = (k(v)u_x)_x + f(∫ vdx, t), with the initial and the boundary conditions (v(x, 0), u(x,0)) = (v₀, u₀(x)), u(0,t) = u(X,t) = 0. To describe the motion of the fluid more realistically, many equations of state, namely the function p(v) have been proposed. In this paper, we adopt Planck's equation, which is defined only for v > b(> 0) and not a monotonic function of v, and prove the global existence of the smooth solution. The essential point of the proof is to obtain the bound of v of the form b < h(T) ? v(x, t) ? H(T) < ∞ for some constants h(T) and H(T).     

Controllability in a filled domain for the multidimensional wave equation with a singular boundary control

In accordance with the demands of the so-called local approach to inverse problems, the set of “waves” u^f (·, T) is studied, where u^f (x,t) is the solution of the initial boundary-value problem u_tt−Δu=0 in Ω×(0,T), u|_t<0=0, u|_∂Ω×(0,T)=f, and the (singular) control f runs over the class L²((0,T); H^−m (∂Ω)) (m>0). The following result is established. Let Ω^T={x ∈ Ω : dist(x, ∂Ω)<T)} be a subdomain of Ω ⊂ ℝⁿ (diam Ω<∞) filled with waves by a final instant of time t=T, let T_*=inf{T : Ω^T=Ω} be the time of filling the whole domain Ω. We introduce the notation D_m=Dom((−Δ)^m/2), where (−Δ) is the Laplace operator, Dom(−Δ)=H²(Ω)∩H ₀ ¹ (Ω);D_−m=(D_m)′;D_−m(Ω^T)={y∈D_−m:supp y ⋐ Ω^T. If T<T., then the reachable set R _m ^T ={u^t(·, T): f ∈ L₂((0,T), H^−m (∂Ω))} (∀m>0), which is dense in D_−m(Ω^T), does not contain the class C ₀ ^∞ (Ω^T). Examples of a ∈ C ₀ ^∞ , a ∈ R _m ^T , are presented. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 210, 1994, pp. 7–21. Translated by T. N. Surkova.