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.     

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.     

New Logarithmic Sobolev Inequalities and an ɛ‐Regularity Theorem for the Ricci Flow

In this note, we prove an ?‐regularity theorem for the Ricci flow. Let (Mⁿ,g(t)) with t ? [?T,0] be a Ricci flow, and let H_x0(y,s) be the conjugate heat kernel centered at some point (x₀,0) in the final time slice. By substituting H_x0(?,s) into Perelman's W‐functional, we obtain a monotone quantity W_x0(s) that we refer to as the pointed entropy. This satisfies W_x0(s) ≤ 0, and W_x0(s) = 0 if and only if (Mⁿ,g(t)) is isometric to the trivial flow on Rⁿ. Then our main theorem asserts the following: There exists ? > 0, depending only on T and on lower scalar curvature and μ‐entropy bounds for the initial slice (Mⁿ,g(?T)) such that W_x0(s) ≥ ?? implies |Rm| ≤ r^?2 on P_{? r}(x₀,0), where r² ≡ |s| and P_ρ(x,t) ≡ B_ρ(x,t) × (t?ρ²,t] is our notation for parabolic balls. The main technical challenge of the theorem is to prove an effective Lipschitz bound in x for the s‐average of W_x(s). To accomplish this, we require a new log‐Sobolev inequality. Perelman's work implies that the metric measure spaces (Mⁿ,g(t),dvol_g(t)) satisfy a log‐Sobolev; we show that this is also true for the heat kernel weighted spaces (Mⁿ,g(t),H_x0(?,t)dvol_g(t)). Our log‐Sobolev constants for these weighted spaces are in fact universal and sharp. The weighted log‐Sobolev has other consequences as well, including certain average Gaussian upper bounds on the conjugate heat kernel. © 2014 Wiley Periodicals, Inc.     

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 principles of limiting absorption and limit amplitude for a class of locally perturbed waveguides. Part 2: Time-dependent theory

In part 1

1 Math. meth. in the Appl. Sci, 10, 125–144 (1988).

we studied the principle of limiting absorption for local perturbations Ω of the n-dimensional domain Ω₀ = ?^n?1 × (0, π). In this second part we extend our investigations to the time-dependent theory and show that absence of admissible standing waves implies the validity of the principle of limiting amplitude for every frequency ω≥0 if n ≠ 3 and for ω ≠ 2, 3,… if n = 3, respectively. In particular, the principle of limiting amplitude holds for every ω≥0 in the case n ≠ 3 and for every ω ≠ 2, 3,… in the case n = 3 if Ω≠Ω₀ and ν · x ′ ?0 on ?Ω, where x ′ = (x₁,…, x_n?1, 0) and ν is the normal unit vector on ?Ω pointing into the complement of Ω This result stands in remarkable contrast to the fact that both principles are violated in the case of the unperturbed domain Ω₀ at the frequencies ω = 1, 2,… if n?3. The question of the asymptotic behaviour of the solution as t→∞ for n = 3 and ω = 2, 3,… will be discussed in two subsequent papers.     

Inverse Problems for Time-Dependent Singular Heat Conductivities: Multi-Dimensional Case

We consider an inverse boundary value problem for the heat equation ? _t u = div (γ? _x u) in (0, T) × Ω, u = f on (0, T) × ?Ω, u| _t=0 = u ₀, in a bounded domain Ω ? ? ⁿ , n ≥ 2, where the heat conductivity γ(t, x) is piecewise constant and the surface of discontinuity depends on time: γ(t, x) = k ² (x ∈ D(t)), γ(t, x) = 1 (x ∈ Ω?D(t)). Fix a direction e* ∈ 𝕊 ^n?1 arbitrarily. Assuming that ?D(t) is strictly convex for 0 ≤ t ≤ T, we show that k and sup {e*·x; x ∈ D(t)} (0 ≤ t ≤ T), in particular D(t) itself, are determined from the Dirichlet-to-Neumann map : f → ?_ν u(t, x)|_{(0, T)×?Ω}. The knowledge of the initial data u ₀ is not used in the proof. If we know min_0≤t≤T (sup _x∈D(t) x·e*), we have the same conclusion from the local Dirichlet-to-Neumann map. Numerical examples of stationary and moving circles inside the unit disk are shown. The results have applications to nondestructive testing. Consider a physical body consisting of homogeneous material with constant heat conductivity except for a moving inclusion with different conductivity. Then the location and shape of the inclusion can be monitored from temperature and heat flux measurements performed at the boundary of the body. Such a situation appears for example in blast furnaces used in ironmaking.     

Homogenization of Hamilton‐Jacobi‐Bellman equations with respect to time‐space shifts in a stationary ergodic medium

We consider a family {u_? (t, x, ω)}, ? < 0, of solutions to the equation ?u_?/?t + ?Δu_?/2 + H (t/?, x/?, ?u_?, ω) = 0 with the terminal data u_?(T, x, ω) = U(x). Assuming that the dependence of the Hamiltonian H(t, x, p, ω) on time and space is realized through shifts in a stationary ergodic random medium, and that H is convex in p and satisfies certain growth and regularity conditions, we show the almost sure locally uniform convergence, in time and space, of u_?(t, x, ω) as ? → 0 to the solution u(t, x) of a deterministic averaged equation ?u/?t + H?(?u) = 0, u(T, x) = U(x). The “effective” Hamiltonian H? is given by a variational formula. © 2007 Wiley Periodicals, Inc.     

Extinction and non-extinction for a polytropic filtration equation with a nonlocal source

In this article, the authors establish the conditions for the extinction of solutions, in finite time, of the fast diffusive polytropic filtration equation u _t ?=?div(|?u ^m | ^p?2?u ^m )?+?a∫_Ω u ^q (y,?t)dy with a, q, m?>?0, p?>?1, m(p???1)?R ^N (N?>?2). More precisely speaking, it is shown that if q?>?m(p???1), any non-negative solution with small initial data vanishes in finite time, and if 0?q?m(p???1), there exists a solution which is positive in Ω for all t?>?0. For the critical case q?=?m(p???1), whether the solutions vanish in finite time or not depends on the comparison between a and μ, where μ?=?∫?_Ωφ ^p?1(x)dx and φ is the unique positive solution of the elliptic problem ?div(|?φ| ^p?2?φ)?=?1, x?∈?Ω; φ(x)?=?0, x?∈??Ω.     

Thermal avalanche for blowup solutions of semilinear heat equations

We consider the semilinear heat equation u_t = Δu + u^p both in ?^N and in a bounded domain with homogeneous Dirichlet boundary conditions, with 1 < p < p_s where p_s is the Sobolev exponent. This problem has solutions with finite‐time blowup; that is, for large enough initial data there exists T < ∞ such that u is a classical solution for 0 < t < T, while it becomes unbounded as t ↗ T. In order to understand the situation for t > T, we consider a natural approximation by reaction problems with global solution and pass to the limit. As is well‐known, the limit solution undergoes complete blowup: after it blows up at t = T, the continuation is identically infinite for all t > T. We perform here a deeper analysis of how complete blowup occurs. Actually, the singularity set of a solution that blows up as t ↗ T propagates instantaneously at time t = T to cover the whole space, producing a catastrophic discontinuity between t = T^? and t = T⁺. This is called the “avalanche.” We describe its formation as a layer appearing in the limit of the natural approximate problems. After a suitable scaling, the initial structure of the layer is given by the solution of a limit problem, described by a simple ordinary differential equation. As t proceeds past T, the solutions of the approximate problems have a traveling wave behavior with a speed that we compute. The situation in the inner region depends on the type of approximation: a conical pattern is formed with time when we approximate the power u^p by a flat truncation at level n, while for tangent truncations we get an exponential increase in time and a diffusive spatial pattern. © 2003 Wiley Periodicals, Inc.     

The elastic echo problem

We consider a homogeneous isotropic unbounded linear elastic medium Ω??³, having a free boundary Γ. A forcing f (t, x ) creates an incident displacement field u ₀(t, x ). This primary field is scattered by Γ giving rise to a secondary field or echo, for which we determine the asymptotic behaviour in time. These results are obtained via the use of an tension of the time‐dependent scattering theory of C. Wilcox. Copyright © 2003 John Wiley & Sons, Ltd.     

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.     

Identification of the unknown diffusion coefficient in a quasi‐linear parabolic equation by semigroup approach with mixed boundary conditions

In this article, a semigroup approach is presented for the mathematical analysis of the inverse coefficient problems of identifying the unknown diffusion 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_x(0, t)=ψ₀, u(1, t)=ψ₁. The main purpose of this work is to analyze the distinguishability of the input–output mappings Φ[·] : ??→C¹[0, T], Ψ[·] : ??→C¹[0, T] using semigroup theory. In this article, it is shown that if the null space of semigroups T(t) and S(t) consists of only a zero function, then the input–output mappings Φ[·] and Ψ[·] have the distinguishability property. Copyright © 2008 John Wiley & Sons, Ltd.     

Multiple Phase Transitions in Long‐Range First‐Passage Percolation on Square Lattices

We consider a model of long‐range first‐passage percolation on the d‐dimensional square lattice ?d in which any two distinct vertices x,y ? ?^d are connected by an edge having exponentially distributed passage time with mean ‖ x – y ‖^α+o(1), where α > 0 is a fixed parameter and ‖·‖ is the l¹–norm on ?^d. We analyze the asymptotic growth rate of the set ß_t, which consists of all x ? ?^d such that the first‐passage time between the origin 0 and x is at most t as t → ∞. We show that depending on the values of α there are four growth regimes: (i) instantaneous growth for α < ^d, (ii) stretched exponential growth for α ? d,2d), (iii) superlinear growth for α ? (2d,2d + 1), and finally (iv) linear growth for α > 2d + 1 like the nearest‐neighbor first‐passage percolation model corresponding to α=∞. © 2015 Wiley Periodicals, Inc.     

On the number of singular points of weak solutions to the Navier‐Stokes equations

We consider a suitable weak solution to the three‐dimensional Navier‐Stokes equations in the space‐time cylinder Ω × ]0, T[. Let Σ be the set of singular points for this solution and Σ (t) ≡ {(x, t) ∈ Σ}. For a given open subset ω ? Ω and for a given moment of time t ∈]0, T[, we obtain an upper bound for the number of points of the set Σ(t) ? ω. © 2001 John Wiley & Sons, Inc.     

Lower Bounds on the Blow-Up Rate of the Axisymmetric Navier–Stokes Equations II

Consider axisymmetric strong solutions of the incompressible Navier–Stokes equations in ?³ with non-trivial swirl. Let z denote the axis of symmetry and r measure the distance to the z-axis. Suppose the solution satisfies, for some 0 ≤ ε ≤ 1, |v (x, t)| ≤ C _? r ^?1+ε |t|^?ε/2 for ? T ₀ ≤ t < 0 and 0 < C _? < ∞ allowed to be large. We prove that v is regular at time zero.     

On the principles of limiting absorption and limit amplitude for a class of locally perturbed waveguides. Part 1: Time-independent theory

Let Ω be a local perturbation of the n-dimensional domain Ω₀ = Ropf;^{n ? 1} × (0, π). In a previous paper⁸ we have introduced the notion of an admissible standing wave. We shall prove that the principle of limiting absorption holds for the Dirichlet problem of the reduced wave equation in Ω at ω ≥ 0 if Ω does not allow admissible standing waves with frequency ω. From Reference 8, this condition is satisfied for every ω ≥ 0 if Ω ≠ Ω₀, and v · x ′ ≤ 0 on δΩ, where x′ = ( x ₁,…, x_{n ? 1}, 0) and v is the normal unit vector on δΩ pointing into the complement of Ω. In contrast to this, the principle of limiting absorption is violated in the case of the unperturbed domain Ω₀ at the frequencies ω = 1,2,… if n ≤ 3. The second part of our investigation, which will appear in a subsequent paper, is devoted to the principle of limit amplitude.     

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.     

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.     

The stationary and non-stationary stokes system in exterior domains with non-zero divergence and non-zero boundary values

In an exterior domain Ω??ⁿ, n ? 2, we consider the generalized Stokes resolvent problem in L^q-space where the divergence g = div u and inhomogeneous boundary values u = ψ with zero flux ∫_?Ωψ·N do = 0 may be prescribed. A crucial step in our approach is to find and to analyse the right space for the divergence g. We prove existence, uniqueness and a priori estimates of the solution and get new results for the divergence problem. Further, we consider the non-stationary Stokes system with non-homogeneous divergence and boundary values and prove estimates of the solution in L⁵(0, T;L^q(Ω)) for 1 < s, q < ∞.