An algorithm for tracing the boundary curves of mushy regions in some degenerate diffusion problems

We present an algorithm for approximating the solution of the degenerate diffusion problem u_t = (?(u))_xx in (0,1) × R⁺ (with zero Dirichlet boundary conditions, and nonnegative initial datum u₀), where ?(u) = min {ku1} for some ? > 0. The algorithm also provides an approximation for the interface curves which represent the boundary of the Mushy Region ?? = {(x, t): ? (u(x, t)) = 1}. The convergence of the algorithm is proved.     

Uniform convergence of wavelet solution to the sideways heat equation

We consider the problem uxx（x, t） = ut（x, t）, 0 ≤ x 〈 1, t ≥ 0, where the Cauchy data g（t） is given at x = 1. This is an ill-posed problem in the sense that a small disturbance on the boundary g（t） can produce a big alteration on its solution （if it exists）. We shall define a wavelet solution to obtain the well-posed approximating problem in the scaling space Vj. In the previous papers, the theoretical results concerning the error estimate are L2-norm and the solutions aren＇t stable at x = 0. However, in practice, the solution is usually required to be stable at the boundary. In this paper we shall give uniform convergence on interval x ∈ [0, 1].     

Stability of the Absolutely Continuous Spectrum of Random Schrödinger Operators on Tree Graphs

According to the Smolukowski-Kramers approximation, we show that the solution of the semi-linear stochastic damped wave equations μ u _tt (t,x)=Δu(t,x)?u _t (t,x)+b(x,u(t,x))+Q (t),u(0)=u ₀, u _t (0)=v ₀, endowed with Dirichlet boundary conditions, converges as μ goes to zero to the solution of the semi-linear stochastic heat equation u _t (t,x)=Δ u(t,x)+b(x,u(t,x))+Q (t),u(0)=u ₀, endowed with Dirichlet boundary conditions. Moreover we consider relations between asymptotics for the heat and for the wave equation. More precisely we show that in the gradient case the invariant measure of the heat equation coincides with the stationary distributions of the wave equation, for any μ>0.     

Boundary control problem for the one-dimensional Klein-Gordon-Fock equation with a variable coefficient: The case of control by displacements at two endpoints

We consider the problem of boundary control by displacements at two points x = 0 and x = l of a process described by the Klein-Gordon-Fock equation with a variable coefficient on the finite interval 0 ≤ x ≤ l. For the critical time interval T = l, we obtain a necessary and sufficient condition for the existence of unique boundary functions u(0, t) = µ(t) and u(l, t) = ν(t) bringing the system from an arbitrary initial state at t = 0 into an arbitrary terminal state at t = T.     

Locally Lipschitz solutions of a single conservation law in several space variables

We consider the Cauchy problem for a single conservation law in several space variables. Letting u(x, t) denote the solution with initial data u₀, we state necessary and sufficient conditions on u₀ so that u(x, t) is locally Lipschitz continuous in the half space {t > 0}. These conditions allow for the preservation of smoothness of u₀ as well as for the smooth resolution of discontinuities in u₀. One consequence of our result is that u(x, t) cannot be locally Lipschitz unless u₀ has locally bounded variation. Another is that solutions which are bounded and locally Lipschitz continuous in {t > 0} automatically have boundary values u₀ at t = 0 in the sense that u(·, t) → u₀ in L_loc¹. Finally, we give an elementary proof that locally Lipschitz solutions satisfy Kruzkov's uniqueness condition.     

Estimates of solutions of impulsive parabolic equations under Neumann boundary condition

In this paper, we prove the relation v(t)?u(t,x)?w(t), where u(t,x) is the solution of an impulsive parabolic equations under Neumann boundary condition ∂u(t,x)/∂ν=0, and v(t) and w(t) are solutions of two impulsive ordinary equations. We also apply these estimates to investigate the asymptotic behavior of a model in the population dynamics, and it is shown that there exists a unique solution of the model which converges to the periodic solution of an impulsive ordinary equation asymptotically.     

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.     

Mixed problem for the wave equation with integrable potential in the case of two-point boundary conditions of distinct orders

We study a mixed problem for the wave equation with integrable potential and with two-point boundary conditions of distinct orders for the case in which the corresponding spectral problem may have multiple spectrum. Based on the resolvent approach in the Fourier method and the Krylov convergence acceleration trick for Fourier series, we obtain a classical solution u(x, t) of this problem under minimal constraints on the initial condition u(x, 0) = ?(x). We use the Carleson–Hunt theorem to prove the convergence almost everywhere of the formal solution series in the limit case of ?(x) ∈ L _p[0, 1], p > 1, and show that the formal solution is a generalized solution of the problem.     

Boundary value problem for multivalued differential equations and controllability

Control process of the type x = f(t, x, u), u?U(t, x), can be deparametrized by writing them in terms of multivalued differential equations of the form x?F(t, x) = {f(t, x, u): u?U(t, x)}. So, under suitable hypotheses, the controllability problem turns out to be equivalent to a two-point boundary value problem for a multivalued differential equation. In this paper an existence theorem is sought for the latter boundary value problem. The result is achieved by using the fixed point argument as a crucial tool.     

On the generalized Burgers equation

The present paper is concerned with the initial boundary value problem for the generalized Burgers equation u _t + g(t, u)u _x + f(t, u) = εu _xx which arises in many applications. We formulate a condition guaranteeing the a priori estimate of max |u _x | independent of ε and t and give an example demonstrating the optimality of this condition. Based on this estimate we prove the global existence of a unique classical solution of the problem and investigate the behavior of this solution for ε → 0 and t → + ∞. The Cauchy problem for this equation is considered as well.     

Positive solutions for Dirichlet problems of singular nonlinear fractional differential equations

In this paper, we investigate the existence of positive solutions for the singular fractional boundary value problem: Dαu(t)+f(t,u(t),Dμu(t))=0, u(0)=u(1)=0, where 1<α<2, 0<μ?α−1, Dα is the standard Riemann-Liouville fractional derivative, f is a positive Carathéodory function and f(t,x,y) is singular at x=0. By means of a fixed point theorem on a cone, the existence of positive solutions is obtained. The proofs are based on regularization and sequential techniques.     

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.     

Blow-up phenomena for a semilinear heat equation with nonlinear boundary condition, I

We consider the blow-up of the solution to a semilinear heat equation with nonlinear boundary condition. We establish conditions on nonlinearities sufficient to guarantee that u(x, t) exists for all time t > 0 as well as conditions on data forcing the solution u(x, t) to blow up at some finite time t*. Moreover, an upper bound for t* is derived. Under somewhat more restrictive conditions, lower bounds for t* are also derived.     

Asymptotic behaviour of solutions for the wave equation with an effective dissipation around the boundary

We consider the initial-boundary value problem for the wave equation with a dissipation a(t,x)u_t in an exterior domain, whose boundary meets no geometrical condition. We assume that the dissipation a(t,x)u_t is effective around the boundary and a(t,x) decays as |x|→∞. We shall prove that the total energy does not in general decay, and the solution is asymptotically free as the time goes to infinity. Further, we shall show that the local energy decays like O(t⁻¹) (t→∞).     

Analytic-numerical solutions with a priori error bounds for a class of strongly coupled mixed partial differential systems

This paper deals with the construction of analytic-numerical solutions with a priori error bounds for systems of the type u_t = Au_xx, u(0,t) + u_x(0,t) = 0, Bu(1,t) + Cu_x(1,t) = 0, 0 < x < 1, t > 0, u(x,0) = f(x). Here A, B, C are matrices for which no diagonalizable hypothesis is assumed. First an exact series solution is obtained after solving appropriate vector Sturm-Liouville-type problems. Given an admissible error ε and a bounded subdomain D, after appropriate truncation an approximate solution constructed in terms of data and approximate eigenvalues is given so that the error is less than the prefixed accuracy ε, uniformly in D.     

Complete quenching for singular parabolic problems

We prove finite time extinction of the solution of the equation ut−Δu+χ{u>0}(u−β−λf(u))=0 in Ω×(0,∞) with boundary data u(x,t)=0 on ∂Ω×(0,∞) and initial condition u(x,0)=u₀(x) in Ω, where Ω⊂RN is a bounded smooth domain, 0<β<1 and λ>0 is a parameter. For every small enough λ>0 there exists a time t₀>0 such that the solution is identically equal to zero.     

Grid approximation of singularly perturbed parabolic convection-diffusion equations subject to a piecewise smooth initial condition

A boundary value problem for a singularly perturbed parabolic convection-diffusion equation on an interval is considered. The higher order derivative in the equation is multiplied by a parameter ? that can take arbitrary values in the half-open interval (0, 1]. The first derivative of the initial function has a discontinuity of the first kind at the point x ₀. For small values of ?, a boundary layer with the typical width of ? appears in a neighborhood of the part of the boundary through which the convective flow leaves the domain; in a neighborhood of the characteristic of the reduced equation outgoing from the point (x ₀, 0), a transient (moving in time) layer with the typical width of ?^1/2 appears. Using the method of special grids that condense in a neighborhood of the boundary layer and the method of additive separation of the singularity of the transient layer, special difference schemes are designed that make it possible to approximate the solution of the boundary value problem ?-uniformly on the entire set $\bar G$ , approximate the diffusion flow (i.e., the product ?(?/?x)u(x, t)) on the set $\bar G^ * = \bar G\backslash \{ (x_0 ,0)\} $ , and approximate the derivative (?/?x)u(x, t) on the same set outside the m-neighborhood of the boundary layer. The approximation of the derivatives ?²(?²/?x ²)u(x, t) and (?/?t)u(x, t) on the set $\bar G^ * $ is also examined.     

Determination of the Unknown Cauchy Data in a Linear Parabolic Problem from the Measured Data at the Final Time

The problem of determining the initial value u(x, 0) = μ ₀(x) in the parabolic equation u _t = (k(x)u _x (x, t)) _x + F(x, t) from the final overdetermination μ _T (x) = u(x, T) is formulated. It is proved that the Fréchet derivative of the cost functional ${{J(\mu_0) = \|\mu_T(x) - u(x, T)\|_0^2}}$ can be formulated via the solution of the adjoint parabolic problem. Lipschitz continuity of the gradient is proved. The existence of a quasisolution of the considered inverse problem is proved. A monotone iteration scheme is obtained based on the gradient method.     

Smoothing properties for a coupled system of nonlinear evolution dispersive equations

We study the smoothness properties of solutions to the coupled system of equations of Korteweg—de Vries type. We show that the equations dispersive nature leads to a gain in regularity for the solution. In particular, if the initial data (u₀, v₀ possesses certain regularity and sufficient decay as x → ∞, then the solution (u(t). v(t)) will be smoother than (u0, v0) for 0 < t ≤ T where T is the existence time of the solution.     

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.