An analysis for a high‐order difference scheme for numerical solution to uxx = F(x,t, u,ut, ux)

This article is concerned with a high‐order difference scheme presented by Jain, Jain, and Mohanty for the nonlinear parabolic equation u_xx = F(x, t, u, u_t, u_x) with Dirichlet boundary conditions. The solvability of the difference scheme is proved by Brower's fixed point theorem and the uniqueness of the difference solution is obtained by showing that the coefficient matrix is strictly column‐wise diagonal dominant. The boundedness and convergence of the difference scheme are obtained. The convergence order is 4 in space and 2 in time in L_∞‐norm. A numerical example is provided to illustrate the validity of the theoretical results. © 2005 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq , 2006     

The functional differential equation x′(t) = x(x(t))

A classification of the solutions of the functional differential equation x′(t) = x(x(t)) is given and it is proved that every solution either vanishes identically or is strictly monotonie. For monotonically increasing solutions existence and uniqueness of the solution x are proved with the condition x(t₀) = x₀ where (t₀, x₀) is any given pair of reals in some specified subset of $\text{R}$². Every monotonically increasing solution is thus obtained. It is analytic and depends analytically on t₀ and x₀. Only for t₀ = x₀ = 1 is the question of analyticity still open.     

Second‐order finite‐volume schemes for a non‐linear hyperbolic equation: error estimate

We study second‐order finite‐volume schemes for the non‐linear hyperbolic equation u_t(x, t) + div F(x, t, u(x, t)) = 0 with initial condition u₀. The main result is the error estimate between the approximate solution given by the scheme and the entropy solution. It is based on some stability properties verified by the scheme and on a discrete entropy inequality. If u₀ ∈ L^∞ ∩ BV_loc(ℝ^N), we get an error estimate of order h^1/4, where h defines the size of the mesh. Copyright © 2000 John Wiley & Sons, Ltd.     

Formula for a solution ofu t +H(u,Du) =g

We study the continuous as well as the discontinuous solutions of Hamilton-Jacobi equationu _t +H(u,Du) =g in ℝ ⁿ x ℝ₊ withu(x, 0) =u ₀(x). The HamiltonianH(s,p) is assumed to be convex and positively homogeneous of degree one inp for eachs in ℝ. IfH is non increasing ins, in general, this problem need not admit a continuous viscosity solution. Even in this case we obtain a formula for discontinuous viscosity solutions.     

A best approximation for the solution of one‐dimensional variable‐coefficient Burgers' equation

In this article, an iterative method for the approximate solution to one‐dimensional variable‐coefficient Burgers' equation is proposed in the reproducing kernel space W_(3,2). It is proved that the approximation w_n(x,t) converges to the exact solution u(x,t) for any initial function w₀(x,t) ε W_(3,2), and the approximate solution is the best approximation under a complete normal orthogonal system . Moreover the derivatives of w_n(x,t) are also uniformly convergent to the derivatives of u(x,t).© 2009 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2009     

On the existence of shock fronts for a Burgers equation with a singular source term

In this paper we consider the Cauchy problem for the equation ∂u/∂t + u ∂u/∂x + u/x = 0 for x > 0, t ⩾ 0, with u(x, 0) = u⁰₋(x) for x < x₀, u(x, 0) = u⁰₊(x) for x > x₀, u⁰₋(x₀) > u⁰₊(x₀). Following the ideas of Majda, 1984 and Lax, 1973, we construct, for smooth u⁰₋ and u⁰₊, a global shock front weak solution u(x, t) = u₋(x, t) for x < ϕ(t), u(x, t) = u₊(x, t) for x > ϕ(t), where u₋ and u₊ are the strong solutions corresponding (respectively) to u⁰₋ and u⁰₊ and the curve t → ϕ(t) is defined by dϕ/dt (t) = 1/2[u₋(ϕ(t), t) + u₊(ϕ(t), t)], t ⩾ 0 and ϕ(0) = x₀. © 1998 B. G. Teubner Stuttgart—John Wiley & Sons, Ltd.     

Wave equations with time-dependent spatial operators of higher order

We study the initial-boundary value problem for ?_t²u(t,x)+A(t)u(t,x)+B(t)?_tu(t,x)=f(t,x) on [0,T]×Ω(Ω??ⁿ) with a homogeneous Dirichlet boundary condition; here A(t) denotes a family of uniformly strongly elliptic operators of order 2m, B(t) denotes a family of spatial differential operators of order less than or equal to m, and u is a scalar function. We prove the existence of a unique strong solution u. Furthermore, an energy estimate for u is given.     

Stability interval for explicit difference schemes for multi-dimensional second-order hyperbolic equations with significant first-order space derivative terms

In this piece of work, we introduce a new idea and obtain stability interval for explicit difference schemes of O(k²+h²) for one, two and three space dimensional second-order hyperbolic equations u_tt=a(x,t)u_xx+α(x,t)u_x-2η²(x,t)u,u_tt=a(x,y,t)u_xx+b(x,y,t)u_yy+α(x,y,t)u_x+β(x,y,t)u_y-2η²(x,y,t)u, and u_tt=a(x,y,z,t)u_xx+b(x,y,z,t)u_yy+c(x,y,z,t)u_zz+α(x,y,z,t)u_x+β(x,y,z,t)u_y+γ(x,y,z,t)u_z-2η²(x,y,z,t)u,0<x,y,z<1,t>0 subject to appropriate initial and Dirichlet boundary conditions, where h>0 and k>0 are grid sizes in space and time coordinates, respectively. A new idea is also introduced to obtain explicit difference schemes of O(k²) in order to obtain numerical solution of u at first time step in a different manner.     

Regularization of a non-characteristic Cauchy problem for the heat equation

The non-characteristic Cauchy problem for the heat equation u_xx(x,t) = u₁(x,t), 0 ? x ? 1, ? ∞ < t < ∞, u(0,t) = φ(t), u_x(0, t) = ψ(t), ? ∞ < t < ∞ is regularizèd when approximate expressions for φ and ψ are given. Properties of the exact solution are used to obtain an explicit stability estimate.     

Semigroup approach for identification of the unknown diffusion coefficient in a quasi‐linear parabolic equation

This article presents a semigroup approach for the mathematical analysis of the inverse coefficient problems of identifying the unknown 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(0,t)=ψ₀, u(1,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. In this paper, it is shown that if the null space of the semigroup T(t) consists of only zero function, then the input–output mappings Φ[?] and Ψ[?] have the distinguishability property. It is also shown that the types of the boundary conditions and the region on which the problem is defined play an important role in the distinguishability property of these mappings. Moreover, under the light of measured output data (boundary observations) f(t):=k(u(0,t))u_x(0,t) or/and h(t):=k(u(1,t))u_x(1,t), the values k(ψ₀) and k(ψ₁) of the unknown diffusion coefficient k(u(x,t)) at (x,t)=(0,0) and (x,t)=(1,0), respectively, can be determined explicitly. In addition to these, the values k_u(ψ₀) and k_u(ψ₁) of the unknown coefficient k(u(x,t)) at (x,t)=(0,0) and (x,t)=(1,0), respectively, are also determined via the input data. Furthermore, it is shown that measured output data f(t) and h(t) can be determined analytically by an integral representation. Hence the input–output mappings Φ[?]:??→ C¹[0,T], Ψ[?]:??→C¹[0,T] are given explicitly in terms of the semigroup. Copyright © 2007 John Wiley & Sons, Ltd.     

Solutions and Multiple Solutions for p（x）-Laplacian Equations with Nonlinear Boundary Condition

The authors study the p（x）-Laplacian equations with nonlinear boundary condition. By using the variational method, under appropriate assumptions on the perturbation terms f1 （x, u）, f2（x, u） and h1（x）, h2（x）, such that the associated functional satisfies the ＂mountain pass lemma＂ and ＂fountain theorem＂ respectively, the existence and multiplicity of solutions are obtained. The discussion is based on the theory of variable exponent Lebesgue and Sobolev spaces.     

An O(k2 + kh2 + h4) arithmetic average discretization for the solution of 1‐D nonlinear parabolic equations

This article develops a new two‐level three‐point implicit finite difference scheme of order 2 in time and 4 in space based on arithmetic average discretization for the solution of nonlinear parabolic equation ε u_xx = f(x, t, u, u_x, u_t), 0 < x < 1, t > 0 subject to appropriate initial and Dirichlet boundary conditions, where ε > 0 is a small positive constant. We also propose a new explicit difference scheme of order 2 in time and 4 in space for the estimates of (?u/?x). The main objective is the proposed formulas are directly applicable to both singular and nonsingular problems. We do not require any fictitious points outside the solution region and any special technique to handle the singular problems. Stability analysis of a model problem is discussed. Numerical results are provided to validate the usefulness of the proposed formulas. © 2006 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2007     

Simultaneous determination of source terms in a linear parabolic problem from the final overdetermination: Weak solution approach

The problem of determining the pair w:={F(x,t);T₀(t)} of source terms in the parabolic equation u_t=(k(x)u_x)_x+F(x,t) and Robin boundary condition −k(l)u_x(l,t)=v[u(l,t)−T₀(t)] from the measured final data μ_T(x)=u(x,T) is formulated. It is proved that both components of the Fréchet gradient of the cost functional can be found via the same solution of the adjoint parabolic problem. Lipschitz continuity of the gradient is derived. The obtained results permit one to prove existence of a quasi-solution of the considered inverse problem, as well as to construct a monotone iteration scheme based on a gradient method.     

Existence and non‐existence of global solutions for a class of non‐linear wave equations

This paper studies the existence and the non‐existence of global solutions to the initial boundary value problems for the non‐linear wave equation u_tt + u_xxxx = σ(u_x)_x + f(x, t) and the Boussinesq‐type equation u_tt + u_xxxx = σ(u)_xx + f(x, t). The paper proves that every above‐mentioned problem has a unique global solution under rather mild confining conditions, and arrives at some sufficient conditions of blow‐up of the solutions in finite time. Finally, a few examples are given. Copyright © 2000 John Wiley & Sons, Ltd.     

Numerical solutions with a priori error bounds for coupled self-adjoint time dependent partial differential systems

This paper is concerned with the construction of accurate continuous numerical solutions for partial self-adjoint differential systems of the type (P(t) u_t)_t = Q(t)u_xx, u(0, t) = u(d, t) = 0, u(x, 0) = f(x), u_t(x, 0) = g(x), 0 ≤ x ≤ d, t >- 0, where P(t), Q(t) are positive definite oR^r×r-valued functions such that P′(t) and Q′(t) are simultaneously semidefinite (positive or negative) for all t ≥ 0. First, an exact theoretical series solution of the problem is obtained using a separation of variables technique. After appropriate truncation strategy and the numerical solution of certain matrix differential initial value problems the following question is addressed. Given T > 0 and an admissible error ϵ > 0 how to construct a continuous numerical solution whose error with respect to the exact series solution is smaller than ϵ, uniformly in D(T) = {(x, t); 0 ≤ x ≤ d, 0 ≤ t ≤ T}. Uniqueness of solutions is also studied.     

The zero dispersion limit of the korteweg-de vries equation for initial potentials with non-trivial reflection coefficient

The inverse scattering method is used to determine the distribution limit as ? → 0 of the solution u(x, t, ?) of the initial value problem. U_t ? 6uu_x + ?²u_xxx = 0, u(x, 0) = v(x), where v(x) is a positive bump which decays sufficiently fast as x x→±α. The case v(x) ? 0 has been solved by Peter D. Lax and C. David Levermore [8], [9], [10]. The computation of the distribution limit of u(x, t, ?) as ? → 0 is reduced to a quadratic maximization problem, which is then solved.     

Diffusion approximation for the convection-diffusion equation with random drift

We consider the asymptotic behavior of the solutions ofscaled convection-diffusion equations ∂ _t u _ɛ (t, x) = κΔ _x (t, x) + 1/ɛV(t/ɛ²,xɛ) ·∇ _x u _ɛ (t, x) with the initial condition u _ɛ(0,x) = u ₀(x) as the parameter ɛ↓ 0. Under the assumptions that κ > 0 and V(t, x), (t, x) ∈R ^d is a d-dimensional,stationary, zero mean, incompressible, Gaussian random field, Markovian and mixing in t we show that the laws of u _ɛ(t,·), t≥ 0 in an appropriate functional space converge weakly, as ɛ↓ 0, to a δ-type measureconcentrated on a solution of a certain constant coefficient heat equation. Received: 23 March 2000 / Revised version: 5 March 2001 / Published online: 9 October 2001     

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.     

Analysis for the identification of an unknown diffusion coefficient via semigroup approach

This paper presents a semigroup approach for the mathematical analysis of the inverse coefficient problems of identifying the unknown coefficient k(u_x) in the inhomogenenous quasi‐linear parabolic equation u_t(x, t)=(k(u_x)u_x(x, t))_x +F(u), with the Dirichlet boundary conditions u(0, t)=ψ₀, u(1, t)=ψ₁ and source function F(u). 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 © 2009 John Wiley & Sons, Ltd.     

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