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 Logistic Equation in the Complex Plane

The famous logistic differential equation is studied in the complex plane. The method used is based on a functional analytic technique which provides a unique solution of the ordinary differential equation (ODE) under consideration in H ₂(𝔻) or H ₁(𝔻) and gives rise to an equivalent difference equation for which a unique solution is established in ?₂ or ?₁. For the derivation of the solution of the logistic differential equation this discrete equivalent equation is used. The obtained solution is analytic in {z ∈ ?: |z| <T}, T > 0. Numerical experiments were also performed using the classical 4th order Runge–Kutta method. The obtained results were compared for real solutions as well as for solutions of the form y(t) = u(t) + iv(t), t ∈ ?. For t ∈ ? the solution derived by the present method, seems to have singularities, that is, points where it ceases to be analytic, in certain sectors of the complex plane. These sectors, depending on the values of the involved parameters, can move at different directions, join forming common sectors, or pass through each other and continue moving independently. Moreover, the real and imaginary part of the solution seem to exhibit oscillatory behavior near these sectors.     

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.     

Spectral theory and L∞-time decay estimates for Klein–Gordon equations on two half axes with transmission: The tunnel effect

Consider two copies N₁, N₂ of the interval [0, ∞]. Consider Klein-Gordon equations with (different) constant coefficients on ? × N_j ( = time × space). Assume the coincidence of the values of the solution at the boundary points of the N_j for all times and a transmission condition relating its first (one-sided) space derivatives at these points. Under a symmetry condition, we extend the spatial part of the equation and the transmission conditions to a self-adjoint operator (by Friedrichs extension) and reformulate our problem in terms of an abstract wave equation in a suitable Hilbert space. We derive an expansion of the solution in generalized eigenfunctions of this self-adjoint extension and show, that the L^∞-norms (in space) of the solution and its first k space derivatives at the time t decay for t → ∞ at least as const. t^¼, if the initial conditions satisfy a compatibility condition of order k derived in this paper. The loss of decay rate in comparison with the full line case (const. t^?½, cf. [28]) is caused by the tunnel effect. Further we show that an abstract wave equation in a Hilbert space with a Friedrichs extension as spatial part can always be derived from a stationarity principle for an associated action-type functional. This yields a physical legitimation of our model by the principle of stationary action and moreover a criterion for the physical interpretability of all models created by the linear interaction concept [4, 6, 8, 10], in particular for the coupling of media of different dimension (alternative to [13, 16] for similar models).     

Approximate solution of u′=–A2u using a relation between exp(–tA2) and exp(itA)

Let A be a positive definite operator in a Hilbert space and consider the initial value problem for u _t =–A² u. Using a representation of the semi group exp(–A² t) in terms of the group exp(iAt) we express u in terms of the solution of the standard heat equation w _t = w _yy , with initial values v solving the initial value problem for v _y = iAv. This representation is used to construct a method for approximating u in terms of approximations of v. In the case that A is a 2^nd order elliptic operator the method is combined with finite elements in the spatial variable and then reduces the solution of the 4th order equation for u to that of the 2^nd order equation for v, followed by the solution of the heat equation in one space variable.     

Reproducing Kernel method for the solution of nonlinear hyperbolic telegraph equation with an integral condition

In this article, an iterative method is proposed for solving nonlinear hyperbolic telegraph equation with an integral condition. Its exact solution is represented in the form of series in the reproducing kernel space. In the mean time, the n‐term approximation u_n(x, t) of the exact solution u(x, t) is obtained and is proved to converge to the exact solution. Moreover, the partial derivatives of u_n(x, t) are also convergent to the partial derivatives of u(x, t). Some numerical examples have been studied to demonstrate the accuracy of the present method. Results obtained by the method have been compared with the exact solution of each example and are found to be in good agreement with each other. © 2010 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 27: 867–886, 2011     

On the spline collocation method for the single layer equation related to time-fractional diffusion

The boundary element spline collocation method is studied for the time-fractional diffusion equation in a bounded two-dimensional domain. We represent the solution as the single layer potential which leads to a Volterra integral equation of the first kind. We discretize the boundary integral equation with the spline collocation method on uniform meshes both in spatial and time variables. In the stability analysis we utilize the Fourier analysis technique developed for anisotropic pseudodifferential equations. We prove that the collocation solution is quasi-optimal under some stability condition for the mesh parameters. We have to assume that the mesh parameter in time satisfies (h_t=c h^\frac2a)(h_t=c h^{\frac{2}{\alpha}}), where (h) is the spatial mesh parameter.     

Existence and Uniqueness of a Solution to the Cauchy Problem for the Damped Boussinesq Equation

We consider the Cauchy problem for the damped Boussinesq equation governing long wave propagation in a viscous fluid of small depth. For the cases of one, two, and three space dimensions local in time existence and uniqueness of a solution is proved. We show that for discontinuous initial perturbations this solution is infinitely differentiable with respect to time t and space co-ordinates for t>0 on a bounded time interval.     

Smoothing properties of nonlinear transition semigroups: case of lipschitz nonlinearities

We consider a semilinear stochastic differential equation in a Hilbert space H with a Lipschitz continuous (possibly unbounded) nonlinearity F. We prove that the associated transition semigroup {P_t, t ≥ 0}, acting on the space of bounded measurable functions from H to , transforms bounded nondifferentiable functions into Fréchet differentiable ones. Moreover we consider the associated Kolmogorov equation and we prove that it possesses a unique “strong” solution (where “strong” means limit of classical solutions) given by the semigroup {P_t, t ≥ 0} applied to the initial condition. This result is a starting point to prove existence and uniqueness of strong solutions to Hamilton - Jacobi - Bellman equations arising in control theory. Dedicated to Giuseppe Da Prato on the occasion of his 70th birthday     

Incompressible navier-stokes and euler limits of the boltzmann equation

We consider solutions of the Boltzmann equation, in a d-dimensional torus, d = 2, 3, For macroscopic times τ = t/?^N, ? « 1, t ≧ 0, when the space variations are on a macroscopic scale x = ?^N?1r, N ≧ 2, x in the unit torus. Let u(x, t) be, for t ≦ t₀, a smooth solution of the incompressible Navier Stokes equations (INS) for N = 2 and of the Incompressible Euler equation (IE) for N > 2. We prove that (*) has solutions for t ≦ t₀ which are close, to O(?²) in a suitable norm, to the local Maxwellian [p/(2πT)^d/2]exp{?[v ? ?u(x,t)]²/2T } with constant density p and temperature T . This is a particular case, defined by the choice of initial values of the macroscopic variables, of a class of such solutions in which the macroscopic variables satisfy more general hydrodynamical equations. For N ≧ 3 these equations correspond to variable density IE while for N = 2 they involve higher-order derivatives of the density.     

Numerical Solution of the Bagley-Torvik Equation

We consider the numerical solution of the Bagley-Torvik equation Ay(t) + BD _* ^3/2 y(t) + Cy(t) = f(t), as a prototype fractional differential equation with two derivatives. Approximate solutions have recently been proposed in the book and papers of Podlubny in which the solution obtained with approximate methods is compared to the exact solution. In this paper we consider the reformulation of the Bagley-Torvik equation as a system of fractional differential equations of order 1/2. This allows us to propose numerical methods for its solution which are consistent and stable and have arbitrarily high order. In this context we specifically look at fractional linear multistep methods and a predictor-corrector method of Adams type.     

Finite‐dimensional attractors and exponential attractors for degenerate doubly nonlinear equations

We consider the following doubly nonlinear parabolic equation in a bounded domain Ω??³: where the nonlinearity f is allowed to have a degeneracy with respect to ?_tu of the form ?_tu|?_tu|^p at some points x∈Ω. Under some natural assumptions on the nonlinearities f and g, we prove the existence and uniqueness of a solution of that problem and establish the finite‐dimensionality of global and exponential attractors of the semigroup associated with this equation in the appropriate phase space. Copyright © 2009 John Wiley & Sons, Ltd.     

Existence of the periodic solution to the nematic liquid crystal equations in weighted Sobolev spaces

This paper is concerned with the time-periodic solution to the simplified incompressible nematic liquid crystal equation. We prove the existence of the time-periodic solution of this equation with small external forces g₁ and g₂, satisfying the T-periodic conditions g_j(t)=g_j(t+T) for j=1,2 in weighted Sobolev spaces.     

Stability and convergence of the spectral Galerkin method for the Cahn‐Hilliard equation

A spectral Galerkin method in the spatial discretization is analyzed to solve the Cahn‐Hilliard equation. Existence, uniqueness, and stabilities for both the exact solution and the approximate solution are given. Using the theory and technique of a priori estimate for the partial differential equation, we obtained the convergence of the spectral Galerkin method and the error estimate between the approximate solution u_N(t) and the exact solution u(t). © 2008 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 2008     

On the Asymptotic Behavior of Perturbed Strongly Continuous Semigroups

For a strongly continuous semigroup (T(t))_t≥0 with generator A on a Banach space X and an A–bounded perturbation B we characterize norm continuity and compactness of the terms in the Dyson–Phillips series of the perturbed semigroup (S(t))_t≥0 .This allows us to characterize uniform exponential stability of (S(t))_t≥0 by spectral conditions on (T(t))_t≥0 and A + B. The results are applied to a delay differential equation.     

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     

Solution of mixed problems with boundary elastic-force control for the telegraph equation

In terms of a finite-energy generalized solution of the telegraph equation, for any time interval T, we consider the problem on the boundary elastic-force control u _x (0, t) = μ(t) at the endpoint x = 0 for the process described by the Klein-Gordon-Fock equation under the condition that the other endpoint x = l is either fixed, or free, or is controlled by an elastic force. For any time interval T, we obtain the solution u(x, t) in closed form.     

Computability of Solutions of the Korteweg‐de Vries Equation

In this paper we study computability of the solutions of the Korteweg‐de Vries (KdV) equation u_t + uu_x + u_xxx = 0. This is one of the open problems posted by Pour‐El and Richards [25]. Based on Bourgain's new approach to the initial value problem for the KdV equation in the periodic case, we show that the periodic solution u (x, t) of the KdV equation is computable if the initial data is computable.     

Uniqueness of Solutions of Some Nonlocal Boundary-Value Problems for Operator-Differential Equations on a Finite Segment

For the equation L ₀ x(t) + L ₁ x ⁽¹⁾(t) + ... + L _n x ⁽ⁿ⁾(t) = 0, where L _k, k = 0, 1, ... , n, are operators acting in a Banach space, we formulate conditions under which a solution x(t) that satisfies some nonlocal homogeneous boundary conditions is equal to zero.     

Zur Abhängigkeit der Lösung von ut + (h(u))x = 0 von ihren Anfangswerten

The above equation has some remarkable properties. In general a global solution exists in a weak sense only, and this solution is not reversible in time. Furthermore it is known, that the solutions for different initial values can coincide for all t ? t₀ > 0, and the set of the initial values with this property is convex. Conditions assuring that this set contains only one element are given. This means a weak form of time-reversibility. As a global solution exists only in the weak sense, the classical question concerning dependence of the solution on the initial values needs some modification. This problem is dealt with in suitable L₁-norms. It is shown, that the L₁-norm of the difference of two weak solutions with respect to the space variable does not increase in time.