Positive and dead core solutions of singular BVPs for third-order differential equations

The paper discusses the existence of positive and dead core solutions of the singular differential equation (?(u^″))^′=λf(t,u,u^′,u^″) satisfying the boundary conditions u(0)=A, u(T)=A, min{u(t):t∈[0,T]}=0. Here λ is a nonnegative parameter, A is a positive constant and the Carathéodory function f(t,x,y,z) is singular at the value 0 of its space variable y.     

A finite difference solution to a two-dimensional parabolic inverse problem

In this paper, we consider the problem of finding u = u(x, y, t) and p = p(t) which satisfy u_t = u_xx + u_yy + p(t)u + ? in R × [0, T], u(x, y, 0) = f(x, y), (x, y) ∈ R = [0, 1] × [0, 1], u is known on the boundary of R and u(x^∗, y^∗, t) = E(t), 0 < t ? T, where E(t) is known and (x^∗, y^∗) is a given point of R. Through a function transformation, the nonlinear two-dimensional diffusion problem is transformed into a linear problem, and a backward Euler scheme is constructed. It is proved by the maximum principle that the scheme is uniquely solvable, unconditionally stable and convergent in L_∞ norm. The convergence orders of u and p are of O(τ + h²). The impact of initial data errors on the numerical solution is also considered. Numerical experiments are presented to illustrate the validity of the theoretical results.     

On solvability of two-dimensional Lp-Minkowski problem

Given p≠0 and a positive continuous function g, with g(x+T)=g(x), for some 0<T<1 and all real x, it is shown that for suitable choice of a constant C>0 the functional has a minimizer in the class of positive functions u∈C¹(R) for which u(x+T)=u(x) for all x∈R. This minimizer is used to prove the existence of a positive periodic solution y∈C²(R) of two-dimensional L_p-Minkowski problem y^1−p(x)(y″(x)+y(x))=g(x), where p∉{0,2}.     

Duality for a Class of Multiobjective Control Problems

In this paper, a class of multiobjective control problems is considered, where the objective and constraint functions involved are f(t, x(t), ?(t), y(t), z(t)) with x(t) ∈ Rⁿ, y(t) ∈ Rⁿ, and z(t) ∈ R^m, where x(t) and z(t) are the control variables and y(t) is the state variable. Under the assumption of invexity and its generalization, duality theorems are proved through a parametric approach to related properly efficient solutions of the primal and dual problems.     

Gevrey micro-regularity for solutions to first order nonlinear PDE

Let (x,t)∈Rm×R and u∈C²(Rm×R). We study the Gevrey micro-regularity of solutions u of the nonlinear equation

ut=f(x,t,u,ux),     

Boundary regularity for viscosity solutions to degenerate elliptic PDEs

Sufficient conditions are given for the solutions to the (fully nonlinear, degenerate) elliptic equation F(x,u,Du,D²u)=0 in Ω to satisfy |u(x)−u(y)|?Cα|x−y| for some α∈(0,1) when x∈Ω and y∈∂Ω.     

Periodic solutions to one-dimensional wave equation with x-dependent coefficients

In this paper, we study the nonlinear one-dimensional periodic wave equation with x-dependent coefficients u(x)ytt−(ux(x)yx)+g(x,t,y)=f(x,t) on (0,π)×R under the boundary conditions a₁y(0,t)+b₁yx(0,t)=0, a₂y(π,t)+b₂yx(π,t)=0 ( for i=1,2) and the periodic conditions y(x,t+T)=y(x,t), yt(x,t+T)=yt(x,t). Such a model arises from the forced vibrations of a nonhomogeneous string and the propagation of seismic waves in nonisotropic media. A main concept is the notion “weak solution” to be given in Section 2. For T is the rational multiple of π, we prove some important properties of the weak solution operator. Based on these properties, the existence and regularity of weak solutions are obtained.     

Blow-up problem for semilinear heat equation with absorption and a nonlocal boundary condition

In this paper we consider a semilinear parabolic equation u_t=Δu−c(x,t)u^p for (x,t)∈Ω×(0,∞) with nonlinear and nonlocal boundary condition u∣_{∂Ω×(0,∞)}=∫_Ωk(x,y,t)u^ldy and nonnegative initial data where p>0 and l>0. We prove some global existence results. Criteria on this problem which determine whether the solutions blow up in finite time for large or for all nontrivial initial data are also given.     

Single point blow-up for a semilinear initial value problem

The initial value problem on [?R, R] is considered: u_t(t, x) = u_xx(t, x) + u(t, x)^γu(t, ±R) = 0u(0, x) = ?(x), where ? ? 0 and γ is a fixed large number. It is known that for some initial values ? the solution u(t, x) exists only up to some finite time T, and that ∥u(t, ·)∥_∞ → ∞ as t → T. For the specific initial value ? = kψ, where ψ ? 0, ψ_xx + ψ^γ = 0, ψ(±R) = 0, k is sufficiently large, it is shown that if x ≠ 0, then lim_{t → T}u(t, x) and lim_{t → T}u_x(t, x) exist and are finite. In other words, blow-up occurs only at the point x = 0.     

A variational approach to dislocation problems for periodic Schrödinger operators

As a simple model for lattice defects like grain boundaries in solid state physics we consider potentials which are obtained from a periodic potential V=V(x,y) on R² with period lattice Z² by setting Wt(x,y)=V(x+t,y) for x<0 and Wt(x,y)=V(x,y) for x?0, for t∈[0,1]. For Lipschitz-continuous V it is shown that the Schrödinger operators Ht=−Δ+Wt have spectrum (surface states) in the spectral gaps of H₀, for suitable t∈(0,1). We also discuss the density of these surface states as compared to the density of the bulk. Our approach is variational and it is first applied to the well-known dislocation problem (Korotyaev (2000, 2005) [15] and [16]) on the real line. We then proceed to the dislocation problem for an infinite strip and for the plane. In Appendix A, we discuss regularity properties of the eigenvalue branches in the one-dimensional dislocation problem for suitable classes of potentials.     

Local existence of solutions to some degenerate parabolic equation associated with the p-Laplacian

The existence of local (in time) solutions of the initial-boundary value problem for the following degenerate parabolic equation: ut(x,t)−Δpu(x,t)−|u|^q−2u(x,t)=f(x,t), (x,t)∈Ω×(0,T), where 2?p<q<+∞, Ω is a bounded domain in RN, is given and Δp denotes the so-called p-Laplacian defined by Δpu:=∇⋅(|∇u|^p−2∇u), with initial data u₀∈Lr(Ω) is proved under r>N(q−p)/p without imposing any smallness on u₀ and f. To this end, the above problem is reduced into the Cauchy problem for an evolution equation governed by the difference of two subdifferential operators in a reflexive Banach space, and the theory of subdifferential operators and potential well method are employed to establish energy estimates. Particularly, Lr-estimates of solutions play a crucial role to construct a time-local solution and reveal the dependence of the time interval [0,T₀] in which the problem admits a solution. More precisely, T₀ depends only on Lr|u₀| and f.     

Regularity for a Schrödinger equation with singular potentials and application to bilinear optimal control

We study the Schrödinger equation i∂_tu+Δu+V₀u+V₁u=0 on R³×(0,T), where V₀(x,t)=|x-a(t)|^-1, with a∈W^2,1(0,T;R³), is a coulombian potential, singular at finite distance, and V₁ is an electric potential, possibly unbounded. The initial condition u₀∈H²(R³) is such that . The potential V₁ is also real valued and may depend on space and time variables. We prove that if V₁ is regular enough and at most quadratic at infinity, this problem is well-posed and the regularity of the initial data is conserved for the solution. We also give an application to the bilinear optimal control of the solution through the electric potential.     

Classification of type I and type II behaviors for a supercritical nonlinear heat equation

We study blow-up of radially symmetric solutions of the nonlinear heat equation ut=Δu+|u|^p−1u either on RN or on a finite ball under the Dirichlet boundary conditions. We assume and that the initial data is bounded, possibly sign-changing. Our first goal is to establish various characterizations of type I and type II blow-ups. Among many other things we show that the following conditions are equivalent: (a) the blow-up is of type II; (b) the rescaled solution w(y,s) converges to either φ^∗(y) or −φ^∗(y) as s→∞, where φ^∗ denotes the singular stationary solution; (c) u(x,T)/φ^∗(x) tends to ±1 as x→0, where T is the blow-up time.Our second goal is to study continuation beyond blow-up. Among other things we show that if a blow-up is of type I and incomplete, then its limit L¹ continuation becomes smooth immediately after blow-up, and that type I blow-up implies “type I regularization,” that is, (t−T)^1/(p−1)‖u(⋅,t)L^∞_‖ is bounded as t↘T. We also give various criteria for complete and incomplete blow-ups.     

Identification of the unknown diffusion coefficient in a linear parabolic equation by the semigroup approach

In this article, we study the semigroup approach for the mathematical analysis of the inverse coefficient problems of identifying the unknown coefficient k(x) in the linear parabolic equation ut(x,t)=(k(x)uxx(x,t)), with Dirichlet boundary conditions u(0,t)=ψ₀, u(1,t)=ψ₁. Main goal of this study is to investigate the distinguishability of the input-output mappings Φ[⋅]:K→C¹[0,T], Ψ[⋅]:K→C¹[0,T] via semigroup theory. In this paper, we show 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. Moreover, the values k(0) and k(1) of the unknown diffusion coefficient k(x) at x=0 and x=1, respectively, can be determined explicitly by making use of measured output data (boundary observations) f(t):=k(0)ux(0,t) or/and h(t):=k(1)ux(1,t). In addition to these, the values k^′(0) and k^′(1) of the unknown coefficient k(x) at x=0 and x=1, respectively, are also determined via the input data. Furthermore, it is shown that measured output dataf(t) and h(t) can be determined analytically, by an integral representation. Hence the input-output mappings Φ[⋅]:K→C¹[0,T], Ψ[⋅]:K→C¹[0,T] are given explicitly in terms of the semigroup. Finally by using all these results, we construct the local representations of the unknown coefficient k(x) at the end points x=0 and x=1.     

The set of periodic scalar differential equations with cubic nonlinearities

We study the structure induced by the number of periodic solutions on the set of differential equations x^′=f(t,x) where f∈C³(R²) is T-periodic in t, fx³(t,x)<0 for every (t,x)∈R², and f(t,x)→?∞ as x→∞, uniformly on t. We find that the set of differential equations with a singular periodic solution is a codimension-one submanifold, which divides the space into two components: equations with one periodic solution and equations with three periodic solutions. Moreover, the set of differential equations with exactly one periodic singular solution and no other periodic solution is a codimension-two submanifold.     

Besov regularity for the generalized local time of the indefinite Skorohod integral

Let (t∈[0,1]) be the indefinite Skorohod integral on the canonical probability space (Ω,F,P), and let Lt(x) (t∈[0,1], x∈R) be its the generalized local time introduced by Tudor in [C.A. Tudor, Martingale-type stochastic calculus for anticipating integral processes, Bernoulli 10 (2004) 313-325]. We prove that the generalized local time, as function of x, has the same Besov regularity as the Brownian motion, as function of t, under some conditions imposed on the anticipating integrand u.     

Monotonicity of input-output mappings in inverse coefficient and source problems for parabolic equations

This article presents a mathematical analysis of input-output mappings in inverse coefficient and source problems for the linear parabolic equation ut=(kx(x)ux)+F(x,t), (x,t)∈ΩT:=(0,1)×(0,T]. The most experimentally feasible boundary measured data, the Neumann output (flux) data f(t):=−k(0)ux(0,t), is used at the boundary x=0. For each inverse problems structure of the input-output mappings is analyzed based on maximum principle and corresponding adjoint problems. Derived integral identities between the solutions of forward problems and corresponding adjoint problems, permit one to prove the monotonicity and invertibility of the input-output mappings. Some numerical applications are presented.     

Regularity of the extremal solution for some elliptic problems with singular nonlinearity and advection

In this note, we investigate the regularity of the extremal solution u^? for the semilinear elliptic equation −△u+c(x)⋅∇u=λf(u) on a bounded smooth domain of Rn with Dirichlet boundary condition. Here f is a positive nondecreasing convex function, exploding at a finite value a∈(0,∞). We show that the extremal solution is regular in the low-dimensional case. In particular, we prove that for the radial case, all extremal solutions are regular in dimension two.