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.     

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.     

Existence of a weak solution to the Navier–Stokes equation in a general time‐varying domain by the Rothe method

We assume that Ω^t is a domain in ?³, arbitrarily (but continuously) varying for 0?t?T. We impose no conditions on smoothness or shape of Ω^t. We prove the global in time existence of a weak solution of the Navier–Stokes equation with Dirichlet's homogeneous or inhomogeneous boundary condition in Q_{[0, T)} := {( x , t);0?t?T, x ∈Ω^t}. The solution satisfies the energy‐type inequality and is weakly continuous in dependence of time in a certain sense. As particular examples, we consider flows around rotating bodies and around a body striking a rigid wall. Copyright © 2008 John Wiley & Sons, Ltd.     

Asymptotic analysis of solutions to parabolic systems

We study asymptotics as t → ∞ of solutions to a linear, parabolic system of equations with time‐dependent coefficients in Ω × (0, ∞), where Ω is a bounded domain. On ? Ω × (0, ∞) we prescribe the homogeneous Dirichlet boundary condition. For large values of t, the coefficients in the elliptic part are close to time‐independent coefficients in an integral sense which is described by a certain function κ (t). This includes in particular situations when the coefficients may take different values on different parts of Ω and the boundaries between them can move with t but stabilize as t → ∞. The main result is an asymptotic representation of solutions for large t. As a corollary, it is proved that if κ ∈ L¹(0, ∞), then the solution behaves asymptotically as the solution to a parabolic system with time‐independent coefficients (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

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     

Finding Δ(Σ) for a surface σ of characteristic χ(Σ) = −5

For each surface Σ, we define Δ(Σ) = max{Δ(G)|Gis a class two graph of maximum degree Δ(G) that can be embedded in Σ}. Hence, Vizing's Planar Graph Conjecture can be restated as Δ(Σ) = 5 if Σ is a plane. In this paper, we show that Δ(Σ) = 9 if Σ is a surface of characteristic χ(Σ) = ?5. © 2010 Wiley Periodicals, Inc. J Graph Theory 68:148‐168, 2011     

Asymptotic behavior of solutions to the perturbed simple pendulum problems with two parameters

We consider the perturbed simple pendulum equation –u ″(t) + μ |u (t)|^{p –1}u (t) = λ sin u (t), t ∈ I ? (–T, T), u (t) > 0, t ∈ I, u (±T) = 0, where p > 1 is a constant,λ > 0 and μ ∈ R are parameters. The purpose of this paper is to clarify the structure of the solution set. To do this, we study precisely the asymptotic shape of the solutions when λ ? 1 as well as the asymptotic behavior of variational eigenvalue μ (λ) as λ → ∞. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Orientation embedding of signed graphs

A signed graph Σ consists of a graph and a sign labeling of its edges. A polygon in Σ is “balanced” if its sign product is positiive. A signed graph is “orientatio embedded” in a surface if it is topologically embedded and a polygon is balanced precisely when traveling once around it preserves orientation. We explore the extension to orientation embedding of the ordinary theory of graph embedding. Let d(Σ) be the demigenus (= 2 - x(S)) of the unique smallest surface S in which Σ has an orientation embedding. Our main results are an easy one, that if Σ has connected components Σ₁, Σ[2], ?, then d(Σ) = d(Σ₁) + ?, and a hard one, that if Σ has a cut vertex v that splits Σ into Σ₁, Σ₂, ?, then d(Σ) = d(Σ₁) + d(Σ₂) + ? -δ, where δ depends on the number of Σ_i in which v is “loopable”, that is, in which d(Σ_i) = d(Σ_{i with a negative loop added to v}). This is as with ordinary orientable grpah embedidng except for the existence of the term δ in the cut-vertex formula. Since loopability is crucial, we give some partial criteria for it. (A complete characterization seems difficult.) We conclude with an application to forbidden subgraphs and minors for orientation embeddability in a given surface. © 1929 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.     

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.     

Reconstruction of kernel depending also on space variable

The paper deals with the reconstruction of the convolution kernel, together with the solution, in a mixed linear evolution system of hyperbolic type. This problem describes uniaxial deformations u of a cylindrical domain (0,π) × Ω, which is filled with a linear viscoelastic solid whose material properties are supposed to be uniform on Ω‐sections perpendicular to the x axis. Various types of boundary conditions in [0,T] × {0,π} × Ω are prescribed, whereas Dirichlet conditions are assumed in [0,T] × (0,π) × ∂Ω. To reconstruct both u and k, we suppose of knowing for any time tand any x ∈ (0,π) the flux of the viscoelastic stress vector through the boundary of the Ω‐section. The main novelty is that the unknown kernel k is allowed to depend, not only on the time variable t but also on the space variable x.     

On some sets of dictionaries whose ω ‐powers have a given

A dictionary is a set of finite words over some finite alphabet X. The ω ‐power of a dictionary V is the set of infinite words obtained by infinite concatenation of words in V. Lecomte studied in [10] the complexity of the set of dictionaries whose associated ω ‐powers have a given complexity. In particular, he considered the sets ??( Σ ⁰k) (respectively, ??( Π ⁰_k), ??( Δ ¹₁)) of dictionaries V ? 2* whose ω ‐powers are Σ ⁰_k‐sets (respectively, Π ⁰_k‐sets, Borel sets). In this paper we first establish a new relation between the sets ??( Σ ⁰₂) and ??( Δ ¹₁), showing that the set ??( Δ ¹₁) is “more complex” than the set ??( Σ ⁰₂). As an application we improve the lower bound on the complexity of ??( Δ ¹₁) given by Lecomte, showing that ??( Δ ¹₁) is in Σ ¹ ₂(2^2*)\ Π ⁰₂. Then we prove that, for every integer k ≥ 2 (respectively, k ≥ 3), the set of dictionaries ??( Π ⁰_k+1) (respectively, ??( Σ ⁰_{k +1})) is “more complex” than the set of dictionaries ??( Π ⁰_k) (respectively, ??( Σ ⁰_k)) (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Weinberg bounds over nonspherical graphs

Let Aut(G) and E(G) denote the automorphism group and the edge set of a graph G, respectively. Weinberg's Theorem states that 4 is a constant sharp upper bound on the ratio |Aut(G)|/|E(G)| over planar (or spherical) 3‐connected graphs G. We have obtained various analogues of this theorem for nonspherical graphs, introducing two Weinberg‐type bounds for an arbitrary closed surface Σ, namely: where supremum is taken over the polyhedral graphs G with respect to Σ for W_P(Σ) and over the graphs G triangulating Σ for W_T(Σ). We have proved that Weinberg bounds are finite for any surface; in particular: W_P = W_T = 48 for the projective plane, and W_T = 240 for the torus. We have also proved that the original Weinberg bound of 4 holds over the graphs G triangulating the projective plane with at least 8 vertices and, in general, for the graphs of sufficiently large order triangulating a fixed closed surface Σ. © 2000 John Wiley & Sons, Inc. J Graph Theory 33: 220–236, 2000     

Heat Flow and Perimeter in \boldsymbol{{\mathbb{R}}^m}

Let Ω be an open set in Euclidean space ? ^m with finite perimeter ${\mathcal{P}}(\Omega),$ and with m-dimensional Lebesgue measure |Ω|. It was shown by M. Preunkert that if T(t) is the heat semigroup on L ²(? ^m ) then $H_{\Omega}(t):=\int_{\Omega}T(t)\textbf{1}_{\Omega}(x)dx=|\Omega|-\pi^{-1/2}{\mathcal{P}}(\Omega)t^{1/2}+o(t^{1/2}), \ t\downarrow 0$ . H _Ω(t) represents the amount of heat in Ω if Ω is at initial temperature 1 and if ? ^m ???Ω is at initial temperature 0. In this paper we will compare the quantitative behaviour of H _Ω(t) with the usual heat content Q _Ω(t) associated to the Dirichlet heat semigroup on Ω. We analyse the heat content for horn-shaped open sets of the form Ω(α, Σ)?=?{(x, x′)?∈?? ^m : x′?∈?(1?+?x)^???α Σ, x?>?0}, where α?>?0, and where Σ is an open set in ? ^m???1 with finite perimeter in ? ^m???1, which is star-shaped with respect to 0. For m?≥?3 we find that there are four regimes with very different behaviour depending on α, and a further two limiting cases where logarithmic corrections appear.     

The Navier-Stokes equations with regularization

We consider the initial boundary value problem for the nonstationary Navier-Stokes equations in a bounded three dimensional domain Ω with a sufficiently smooth compact boundary ∂Ω. These equations describe the motion of a viscous incompressible fluid contained in Ω for 0 < t < T and represent a system of nonlinear partial differential equations concerning four unknown functions: the velocity vector v = (v₁ (t, x), v₂ (t, x), v₃ (t, x)) and the kinematic pressure function p = p(t, x) of the fluid at time t ∈ (0, T) in x ∈ Ω. The purpose of this paper is to construct a regularized Navier-Stokes system, which can be solved globally in time. Our construction is based on a coupling of the Lagrangian and the Eulerian representation of the fluid flow. (© 2009 Wiley-VCH Verlag GmbH & Co. KGaA, Weinheim)     

Partial regularity for a minimum problem with free boundary

Regularity of the free boundary ?{u > 0} of a non-negative minimum u of the functional $\upsilon \mapsto \int\limits_\Omega {\left( {\left| {\nabla \upsilon } \right|^2 + Q^2 \chi _{\left\{ {\upsilon > 0} \right\}} } \right)} $ , where Ω is an open set in ?ⁿ and Q is a strictly positive Hölder-continuous function, is still an open problem for n ≥ 3. By means of a new monotonicity formula we prove that the existence of singularities is equivalent to the existence of an absolute minimum u* such that the graph of u* is a cone with vertex at 0, the free boundary ?{u* > 0} has one and only one singularity, and the set {u* > 0} minimizes the perimeter among all its subsets. This leads to the following partial regularity: there is a maximal dimension k* ≥ 3 such that for n < k* the free boundary ?{u > 0} is locally in Ω a C^1,α-surface, for n = k* the singular set Σ:= ?{u > 0} ? ?_red{u > 0} consists at most of in Ω isolated points, and for n > k* the Hausdorff dimension of the singular set Σ is less than n - k*.     

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.     

New bounds for the Kuramoto‐Sivashinsky equation

We show that every L‐periodic mean‐zero solution u of the Kuramoto‐Sivashinsky equation is on average o(L) for L ? 1, in the sense that for any T > 0 the space average of | u(t) | is bounded by for any t > T and any L sufficiently large. For this we argue that on large spatial scales, the solution behaves like an entropy solution of the inviscid Burgers equation. The analysis of this non‐standard perturbation of the Burgers equation is based on a “div‐curl” argument. © 2004 Wiley Periodicals, Inc.