Well‐posedness for the 2‐D damped wave equations with exponential source terms

In this paper we study well‐posedness of the damped nonlinear wave equation in Ω × (0, ∞) with initial and Dirichlet boundary condition, where Ω is a bounded domain in ?²; ω?0, ωλ₁+µ>0 with λ₁ being the first eigenvalue of ?Δ under zero boundary condition. Under the assumptions that g(·) is a function with exponential growth at the infinity and the initial data lie in some suitable sets we establish several results concerning local existence, global existence, uniqueness and finite time blow‐up property and uniform decay estimates of the energy. Copyright © 2010 John Wiley & Sons, Ltd.     

Nonlinear degenerate parabolic equations with time dependent singular coefficients

We are concerned with the nonexistence of positive solutions of the nonlinear parabolic partial differential equations in a cylinder Ω × (0, T) with initial condition u(., 0) = u₀(.) ? 0 and vanishing on the boundary ?Ω × (0, T), given by where $\Omega \in \mathbf {R}^NWe are concerned with the nonexistence of positive solutions of the nonlinear parabolic partial differential equations in a cylinder Ω × (0, T) with initial condition u(., 0) = u₀(.) ? 0 and vanishing on the boundary ?Ω × (0, T), given by where $\Omega \in \mathbf {R}^N$ (resp. a Carnot Carathéodory metric ball in $\mathbf {R}^{2N+1})$ with smooth boundary and the time dependent singular potential function V(x, t) ∈ L¹_loc(Ω × (0, T)), $\alpha , \beta \in \mathbf {R}$, 1 < p < N, p ? 1 + α + β > 0. We find the best lower bounds for p + β and provide proofs for the nonexistence of positive solutions. © 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim     

On the instability of resonances in parallel-plane waveguides under local perturbations of the boundary

We study the large-time asymptotics for solutions u( x , t) of the wave equation with Dirichlet boundary data, generated by a time-harmonic force distribution of frequency ω, in a class of domains with non-compact boundaries and show that the results obtained in [11] for a special class of local perturbations of Ω₀ ? ?² × (0,1) can be extended to arbitrary smooth local perturbations Ω of Ω₀. In particular, we prove that u is bounded as t → ∞ if Ω does not allow admissible standing waves of frequency ω in the sense of [8]. This implies in connection with [8]. Theorem 3.1 that the logarithmic resonances of the unperturbed domain Ω₀ at the frequencies ω = πk (k = 1, 2,…) observed in [14] can be simultaneously removed by small perturbations of the boundary. As a main step of our analysis, the determination of admissible solutions of the boundary value problem ΔU + κ²U = ? f in Ω, U = 0 on ?Ω is reduced to a compact operator equation.     

Finite element solutions for three‐dimensional elliptic boundary value problems on unbounded domains

The finite element (FE) solutions of a general elliptic equation ?div([a_ij] ??u) + u = f in an exterior domain Ω, which is the complement of a bounded subset of R ³, is considered. The most common approach to deal with exterior domain problems is truncating an unbounded subdomain Ω_∞, so that the remaining part Ω_B = Ω\Ω _∞ is bounded, and imposing an artificial boundary condition on the resulted artificial boundary Γ_a = Ω _∞ ∩ Ω _B. In this article, instead of discarding an unbounded subdomain Ω_∞ and introducing an artificial boundary condition, the unbounded domain is mapped to a unit ball by an auxiliary mapping. Then, a similar technique to the method of auxiliary mapping, introduced by Babu?ka and Oh for handling the domain singularities, is applied to obtain an accurate FE solution of this problem at low cost. This method thus does have neither artificial boundary nor any restrictions on f. © 2006 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2006     

On the instability of resonances in parallel-plane waveguides

It has been observed¹³ that the propagation of acoustic waves in the region Ω₀= ?² × (0, 1), which are generated by a time-harmonic force density with compact support, leads to logarithmic resonances at the frequencies ω = 1, 2,… As we have shown⁹ in the case of Dirichlet's boundary condition U = 0 on ?Ω, the resonance at the smallest frequency ω = 1 is unstable and can be removed by a suitable small perturbation of the region. This paper contains similar instability results for all resonance frequencies ω = 1, 2,… under more restrictive assumptions on the perturbations Ω of Ω₀. By using integral equation methods, we prove that absence of admissible standing waves in the sense of Reference 7 implies the validity of the principle of limit amplitude for every frequency ω ≥ 0 in the region Ω =Ω₀ ?B, where B is a smooth bounded domain with B??Ω₀. In particular, it follows from Reference 7 in the case of Dirichlet's boundary condition that the principle of limit amplitude holds for every frequency ω ≥ 0 if n · x ′ ? 0 on ? B, where x ′ = (x₁, x₂, 0) and n is the normal unit vector pointing into the interior B of ? B. In the case of Neumann's boundary condition, the logarithmic resonance at ω = 0 is stable under the perturbations considered in this paper. The asymptotic behaviour of the solution for arbitary local perturbations of Ω₀ will be discussed in a subsequent paper.     

Solutions with boundary‐layers and spike‐layers to singularly perturbed quasilinear Dirichlet problems

The structure of nontrivial nonnegative solutions to singularly perturbed quasilinear Dirichlet problems of the form –?Δ_pu = f(u) in Ω, u = 0 on ?Ω, Ω ? R ^N a bounded smooth domain, is studied as ? → 0⁺, for a class of nonlinearities f(u) satisfying f(0) = f(z₁) = f(z₂) = 0 with 0 < z₁ < z₂, f < 0 in (0, z₁), f > 0 in (z₁, z₂) and f(u)/u^p–1 = –∞. It is shown that there are many nontrivial nonnegative solutions with spike‐layers. Moreover, the measure of each spike‐layer is estimated as ? → 0⁺. These results are applied to the study of the structure of positive solutions of the same problems with f changing sign many times in (0,∞). Uniqueness of a solution with a boundary‐layer and many positive intermediate solutions with spike‐layers are obtained for ? sufficiently small. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

An artificial boundary condition for an advection–diffusion equation

Consider the advection–diffusion equation: u₁ + au_x1 ? vδu = 0 in ?ⁿ × ?⁺ with initial data u⁰; the Support of u⁰ is contained in ?(x₁ < 0) and a: ?ⁿ → ? is positive. In order to approximate the full space solution by the solution of a problem in ? × ?⁺, we propose the artificial boundary condition: u₁ + au_x1 = 0 on ∑. We study this by means of a transmission problem: the error is an O(v²) for small values of the viscosity v.     

Removable singularities of weak solutions to the navier-stokes equations

Consider the Navier-Stokes equations in Ω×(0,T), where Ω is a domain in R³. We show that there is an absolute constant ε₀ such that ever, y weak solution u with the property that Sup_tε(a,b)|u(t)|_L(D)≤ε0 is necessarily of class C^∞ in the space-time variables on any compact suhset of D × (a,b) , where D?? and 0 a<b<T. As an application. we prove that if the weak solution u behaves around (x_o, t_o) εΩ×(o,T) 1ike u(x, t) = o(|x - xo|^-1) as x→x ₀ uniforlnly in t in some neighbourliood of t_o, then (x_o,t_o) is actually a removable singularity of u.     

Contractive properties for the heat equation in Sobolev spaces

Consider the heat equation ?_ru ? Δ_xu = 0 in a cylinder Ω × [0,T] ? $\text{R}$ⁿ⁺¹ smooth lateral boundary under zero Neumann or Dirichlet conditions. Geometric conditions for Ω are given that guarantee that for a given P, 6▽_xu(·, t)6_L^p will be non-increasing for any solution. Decay rates are also given. For arbitrary Ω and p, it is shown how to construct an equivalent L^p-norm, such that ▽_x(·, t) is non-increasing in this norm.     

Approximation mittels Linearkombinationen von Fundamentallösungen elliptischer Differentialoperatoren

Let Ω ? Rⁿ be a bounded domain with the smooth boundary Γ, L an elliptic differential operator of order 2m with constant coefficients, E a fundamental solution of L and B = (B₁, …, B_m) a normal system of boundary operators on Γ. Furtehr let (yk)Γ₁ ? Rⁿ/Ω be a sequence of points and D_j(Γ) (j = 1, …, m) suitable function spaces over Γ (e.g. C^s-spaces or SOBOLEV spaces). It is investigated, under which conditions on the sequence (yk)^x₁ ? Rⁿ/Ω the set      

Reaction diffusion equations with non-linear boundary conditions,blowup and steady states

In this paper we study the following problem: u_t−Δu=−f(u) in Ω×(0, T)≡Q_T, ∂u ∂n=g(u) on ∂Ω×(0, T)≡S_T, u(x, 0)=u₀(x) in Ω , where Ω⊂ℝ^N is a smooth bounded domain, f and g are smooth functions which are positive when the argument is positive, and u₀(x)>0 satisfies some smooth and compatibility conditions to guarantee the classical solution u(x, t) exists. We first obtain some existence and non-existence results for the corresponding elliptic problems. Then, we establish certain conditions for a finite time blow-up and global boundedness of the solutions of the time-dependent problem. Further, we analyse systems with same kind of boundary conditions and find some blow-up results. In the last section, we study the corresponding elliptic problems in one-dimensional domain. Our main method is the comparison principle and the construction of special forms of upper–lower solutions using related equations. © 1998 B. G. Teubner Stuttgart—John Wiley & Sons, Ltd.     

On the Uniform Poincaré Inequality

We give a proof of the Poincaré inequality in W ^{1, p} (Ω) with a constant that is independent of Ω ? , where  is a set of uniformly bounded and uniformly Lipschitz domains in ? ⁿ . As a byproduct, we obtain the following: The first non vanishing eigenvalues λ₂(Ω) of the standard Neumann (variational) boundary value problem on Ω for the Laplace operator are bounded below by a positive constant if the domains Ω vary and remain uniformly bounded and uniformly Lipschitz regular.     

Spectral and Scattering Theory for teh Linear Boltzmann Equation in Exterior Domain

It is well-known that functions u ? W^m,p (Ω) can be extended by a bounded linear operator E to functions Eu ≦ W^m,p( R ⁿ), if Ω is C^M-regular and m ≦ M. Here we prove a corresponding result for grid-functions with extension operators E_h converging to E and mention some applications.     

Polar factorization and monotone rearrangement of vector-valued functions

Given a probability space (X, μ) and a bounded domain Ω in ?^d equipped with the Lebesgue measure |·| (normalized so that |Ω| = 1), it is shown (under additional technical assumptions on X and Ω) that for every vector-valued function u ∈ L^p (X, μ; ?^d) there is a unique “polar factorization” u = ?Ψs, where Ψ is a convex function defined on Ω and s is a measure-preserving mapping from (X, μ) into (Ω, |·|), provided that u is nondegenerate, in the sense that μ(u^?1(E)) = 0 for each Lebesgue negligible subset E of ?^d. Through this result, the concepts of polar factorization of real matrices, Helmholtz decomposition of vector fields, and nondecreasing rearrangements of real-valued functions are unified. The Monge-Ampère equation is involved in the polar factorization and the proof relies on the study of an appropriate “Monge-Kantorovich” problem.     

Superconvergence of the direct discontinuous Galerkin method for a time‐fractional initial‐boundary value problem

A time‐fractional reaction–diffusion initial‐boundary value problem with periodic boundary condition is considered on Q ? Ω × [0, T] , where Ω is the interval [0, l] . Typical solutions of such problem have a weak singularity at the initial time t = 0. The numerical method of the paper uses a direct discontinuous Galerkin (DDG) finite element method in space on a uniform mesh, with piecewise polynomials of degree k ≥ 2 . In the temporal direction we use the L1 approximation of the Caputo derivative on a suitably graded mesh. We prove that at each time level of the mesh, our L1‐DDG solution is superconvergent of order k + 2 in L²(Ω) to a particular projection of the exact solution. Moreover, the L1‐DDG solution achieves superconvergence of order (k + 2) in a discrete L²(Q) norm computed at the Lobatto points, and order (k + 1) superconvergence in a discrete H¹(Q) seminorm at the Gauss points; numerical results show that these estimates are sharp.     

Convexity and all‐time C∞‐regularity of the interface in flame propagation

We consider the following one‐phase free boundary problem: Find (u, Ω) such that Ω = {u > 0} and with Q_T = ?ⁿ × (0, T). Under the condition that Ω_o is convex and log u_o is concave, we show that the convexity of Ω(t) and the concavity of log u(·, t) are preserved under the flow for 0 ≤ t ≤ T as long as ?Ω(t) and u on Ω(t) are smooth. As a consequence, we show the existence of a smooth‐up‐to‐the‐interface solution, on 0 < t < T_c, with T_c denoting the extinction time of Ω(t). We also provide a new proof of a short‐time existence with C^2,α initial data on the general domain. © 2002 John Wiley & Sons, Inc.     

Point control of pseudoparabolic problems

A control problem governed by a pseudoparabolic equation onQ = Ω × (0, T) where Ω is an open bounded set inR² orR³ with a smooth boundary is studied. Here the controls are of the formv(x,t) = v(t) δ(x ? a), a ? Ω. It is observed that ifv ? L²(0, T), then the trace of the corresponding solutiony(., T; v) belongs toL²(Ω). Existence, uniqueness, and regularity results are given for the optimal control as well as continuity results with respect to perturbation of the pointa.     

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.     

Boundary concentration phenomena for a singularly perturbed elliptic problem

We exhibit new concentration phenomena for the equation ? ε² Δu + u = u^p in a smooth bounded domain Ω ? ?² and with Neumann boundary conditions. The exponent p is greater than or equal to 2 and the parameter ε is converging to 0. For a suitable sequence ε_n → 0 we prove the existence of positive solutions u_n concentrating at the whole boundary of Ω or at some component. © 2002 Wiley Periodicals, Inc.