Regularity of the solutions of the steady‐state Boussinesq equations with thermocapillarity effects on the surface of the liquid

In this paper we show that every variational solution of the steady‐state Boussinesq equations ( u , p, θ) with thermocapillarity effect on the surface of the liquid has the following regularity: u ∈ H²(Ω)², p ∈ H¹(Ω), θ ∈ H²(Ω) under appropriate hypotheses on the angles of the ‘2‐D’ container (a cross‐section of the 3‐D container in fact) and of the horizontal surface of the liquid with the inner surface of the container. The difficulty comes from the boundary condition on the surface of the liquid (e.g. water) which modelizes the thermocapillarity effect on the surface of the liquid (equation (68.10) of Levich [7]). More precisely we will show that u ∈ P²₂(Ω)² and that θ ∈ P²₂(Ω), where P²₂(Ω) denotes the usual Kondratiev space. This result will be used in a forthcoming paper to prove convergence results for finite element methods intended to compute approximations of a non‐singular solution [1] of this problem. Copyright © 1999 John Wiley & Sons, Ltd.     

Ritz–Galerkin method for solving a parabolic equation with non‐local and time‐dependent boundary conditions

The paper is devoted to the investigation of a parabolic partial differential equation with non‐local and time‐dependent boundary conditions arising from ductal carcinoma in situ model. Approximation solution of the present problem is implemented by the Ritz–Galerkin method, which is a first attempt at tackling parabolic equation with such non‐classical boundary conditions. In the process of dealing with the difficulty caused by integral term in non‐local boundary condition, we use a trick of introducing the transition function G(x,t) to convert non‐local boundary to another non‐classical boundary, which can be handled with the Ritz–Galerkin method. Illustrative examples are included to demonstrate the validity and applicability of the technique in this paper. Copyright © 2015 John Wiley & Sons, Ltd.     

Nowhere‐zero 3‐flows in locally connected graphs

Let G be a graph. For each vertex v ∈V(G), N_v denotes the subgraph induces by the vertices adjacent to v in G. The graph G is locally k‐edge‐connected if for each vertex v ∈V(G), N_v is k‐edge‐connected. In this paper we study the existence of nowhere‐zero 3‐flows in locally k‐edge‐connected graphs. In particular, we show that every 2‐edge‐connected, locally 3‐edge‐connected graph admits a nowhere‐zero 3‐flow. This result is best possible in the sense that there exists an infinite family of 2‐edge‐connected, locally 2‐edge‐connected graphs each of which does not have a 3‐NZF. © 2003 Wiley Periodicals, Inc. J Graph Theory 42: 211–219, 2003     

The Dirichlet problem for non‐divergence parabolic equations with discontinuous in time coefficients

We consider the Dirichlet problem for non‐divergence parabolic equation with discontinuous in t coefficients in a half space. The main result is weighted coercive estimates of solutions in anisotropic Sobolev spaces. We give an application of this result to linear and quasi‐linear parabolic equations in a bounded domain. In particular, if the boundary is of class C^1,δ , δ ∈ [0, 1], then we present a coercive estimate of solutions in weighted anisotropic Sobolev spaces, where the weight is a power of the distance to the boundary (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Existence and asymptotic behaviour of solutions for a class of quasi‐linear evolution equations with non‐linear damping and source terms

We consider a class of quasi‐linear evolution equations with non‐linear damping and source terms arising from the models of non‐linear viscoelasticity. By a Galerkin approximation scheme combined with the potential well method we prove that when m<p, where m(?0) and p are, respectively, the growth orders of the non‐linear strain terms and the source term, under appropriate conditions, the initial boundary value problem of the above‐mentioned equations admits global weak solutions and the solutions decay to zero as t→∞. Copyright © 2002 John Wiley & Sons, Ltd.     

Time‐weighted blow‐up rates and pointwise profile for single‐point blow‐up solutions in reaction–diffusion equations

This paper deals with asymptotic behavior for blow‐up solutions to time‐weighted reaction–diffusion equations u_t=Δu+e^αtv^p and v_t=Δv+e^βtu^q, subject to homogeneous Dirichlet boundary. The time‐weighted blow‐up rates are defined and obtained by ways of the scaling or auxiliary‐function methods for all α, . Aiding by key inequalities between components of solutions, we give lower pointwise blow‐up profiles for single‐point blow‐up solutions. We also study the solutions of the system with variable exponents instead of constant ones, where blow‐up rates and new blow‐up versus global existence criteria are obtained. Time‐weighted functions influence critical Fujita exponent, critical Fujita coefficient and formulae of blow‐up rates, but they do not limit the order of time‐weighted blow‐up rates and pointwise profile near blow‐up time. Copyright © 2017 John Wiley & Sons, Ltd.     

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.     

On a wave equation with supercritical interior and boundary sources and damping terms

This article addresses nonlinear wave equations with supercritical interior and boundary sources, and subject to interior and boundary damping. The presence of a nonlinear boundary source alone is known to pose a significant difficulty since the linear Neumann problem for the wave equation is not, in general, well‐posed in the finite‐energy space H¹(Ω) × L₂(?Ω) with boundary data in L₂ due to the failure of the uniform Lopatinskii condition. Further challenges stem from the fact that both sources are non‐dissipative and are not locally Lipschitz operators from H¹(Ω) into L₂(Ω), or L₂(?Ω). With some restrictions on the parameters in the model and with careful analysis involving the Nehari Manifold, we obtain global existence of a unique weak solution, and establish exponential and algebraic uniform decay rates of the finite energy (depending on the behavior of the dissipation terms). Moreover, we prove a blow up result for weak solutions with nonnegative initial energy.     

Acyclic 5‐choosability of planar graphs without small cycles

A proper vertex coloring of a graph G = (V,E) is acyclic if G contains no bicolored cycle. A graph G is acyclically L‐list colorable if for a given list assignment L = {L(v): v: ∈ V}, there exists a proper acyclic coloring ? of G such that ?(v) ∈ L(v) for all v ∈ V. If G is acyclically L‐list colorable for any list assignment with |L (v)|≥ k for all v ∈ V, then G is acyclically k‐choosable. In this article, we prove that every planar graph G without 4‐ and 5‐cycles, or without 4‐ and 6‐cycles is acyclically 5‐choosable. © 2006 Wiley Periodicals, Inc. J Graph Theory 54: 245–260, 2007     

Viscous compressible barotropic symmetric flows with free boundary under general mass force Part I: Uniform‐in‐time bounds and stabilization

We consider symmetric flows of a viscous compressible barotropic fluid with a free boundary, under a general mass force depending both on the Eulerian and Lagrangian co‐ordinates, with arbitrarily large initial data. For a general non‐monotone state function p, we prove uniform‐in‐time energy bound and the uniform bounds for the density ρ, together with the stabilization as t → ∞ of the kinetic and potential energies. We also obtain H¹‐stabilization of the velocity v to zero provided that the second viscosity is zero. For either increasing or non‐decreasing p, we study the L^λ‐stabilization of ρ and the stabilization of the free boundary together with the corresponding ω‐limit set in the general case of non‐unique stationary solution possibly with zones of vacuum. In the case of increasing p and stationary densities ρ_S separated from zero, we establish the uniform‐in‐time H¹‐bounds and the uniform stabilization for ρ and v. All these results are stated and mainly proved in the Eulerian co‐ordinates. They are supplemented with the corresponding stabilization results in the Lagrangian co‐ordinates in the case of ρ_S separated from zero. Copyright © 2005 John Wiley & Sons, Ltd.     

A Petrov–Galerkin spectral method for fourth‐order problems

In this paper, we consider the Petrov–Galerkin spectral method for fourth‐order elliptic problems on rectangular domains subject to non‐homogeneous Dirichlet boundary conditions. We derive some sharp results on the orthogonal approximations in one and two dimensions, which play important roles in numerical solutions of higher‐order problems. By applying these results to a fourth‐order problem, we establish the H²‐error and L²‐error bounds of the Petrov–Galerkin spectral method. Numerical experiments are provided to illustrate the high accuracy of the proposed method and coincide well with the theoretical analysis. Copyright © 2013 John Wiley & Sons, Ltd.     

A Crank‐Nicolson Petrov‐Galerkin method with quadrature for semi‐linear parabolic problems

We propose and analyze an application of a fully discrete C² spline quadrature Petrov‐Galerkin method for spatial discretization of semi‐linear parabolic initial‐boundary value problems on rectangular domains. We prove second order in time and optimal order H¹ norm convergence in space for the extrapolated Crank‐Nicolson quadrature Petrov‐Galerkin scheme. We demonstrate numerically both L² and H¹ norm optimal order convergence of the scheme even if the nonlinear source term is not smooth. © 2005 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2005.     

Local discontinuous galerkin approximation of convection‐dominated diffusion optimal control problems with control constraints

In this article, we investigate local discontinuous Galerkin approximation of stationary convection‐dominated diffusion optimal control problems with distributed control constraints. The state variable and adjoint state variable are approximated by piecewise linear polynomials without continuity requirement, whereas the control variable is discretized by variational discretization concept. The discrete first‐order optimality condition is derived. We show that optimization and discretization are commutative for the local discontinuous Galerkin approximation. Because the solutions to convection‐dominated diffusion equations often admit interior or boundary layers, residual type a posteriori error estimate in L² norm is proved, which can be used to guide mesh refinement. Finally, numerical examples are presented to illustrate the theoretical findings. © 2013 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 30: 339–360, 2014     

Non‐local approach in mathematical problems of fluid–structure interaction

Three‐dimensional mathematical problems of interaction between elastic and scalar oscillation fields are investigated. An elastic field is to be defined in a bounded inhomogeneous anisotropic body occupying the domain Ω¯₁⊂ℝ³ while a physical (acoustic) scalar field is to be defined in the exterior domain Ω¯₂=ℝ³\Ω₁ which is filled up also by an anisotropic (fluid) medium. These two fields satisfy the governing equations of steady‐state oscillations in the corresponding domains together with special kinematic and dynamic transmission conditions on the interface ∂Ω₁. The problems are studied by the so‐called non‐local approach, which is the coupling of the boundary integral equation method (in the unbounded domain) and the functional‐variational method (in the bounded domain). The uniqueness and existence theorems are proved and the regularity of solutions are established with the help of the corresponding Steklov–Poincaré type operators and on the basis of the Gårding inequality and the Lax–Milgram theorem. In particular, it is shown that the physical fluid–solid acoustic interaction problem is solvable for arbitrary values of the frequency parameter. Copyright © 1999 John Wiley & Sons, Ltd.     

Regularity of weak solutions of Maxwell's equations with mixed boundary‐conditions

In this paper global H^s‐ and L^p‐regularity results for the stationary and transient Maxwell equations with mixed boundary conditions in a bounded spatial domain are proved. First it is shown that certain elements belonging to the fractional‐order domain of the Maxwell operator belong to H^s(Ω) for sufficiently small s > 0. It follows from this regularity result that H^s(Ω) is an invariant subspace of the unitary group corresponding to the homogeneous Maxwell equations with mixed boundary conditions. In the case that a possibly non‐linear conductivity is present a L^p‐regularity theorem for the transient equations is proved. Copyright © 1999 John Wiley & Sons, Ltd.     

Subdivisions of K5 in Graphs Embedded on Surfaces With Face‐Width at Least 5

We prove that if G is a 5‐connected graph embedded on a surface Σ (other than the sphere) with face‐width at least 5, then G contains a subdivision of K₅. This is a special case of a conjecture of P. Seymour, that every 5‐connected nonplanar graph contains a subdivision of K₅. Moreover, we prove that if G is 6‐connected and embedded with face‐width at least 5, then for every v ∈ V(G), G contains a subdivision of K₅ whose branch vertices are v and four neighbors of v.     

The Vector Space Kinna‐Wagner Principle is Equivalent to the Axiom of Choice

We show that the axiom of choice AC is equivalent to the Vector Space Kinna‐Wagner Principle, i.e., the assertion: “For every family 𝒱= {V_i : i ∈ k} of non trivial vector spaces there is a family ℱ = {F_i : i ∈ k} such that for each i ∈ k, F_i is a non empty independent subset of V_i”. We also show that the statement “every vector space over ℚ has a basis” implies that every infinite well ordered set of pairs has an infinite subset with a choice set, a fact which is known not to be a consequence of the axiom of multiple choice MC.     

Semi‐linear wave models with power non‐linearity and scale‐invariant time‐dependent mass and dissipation,II

This paper is a continuation of our recent paper 8 . We will consider the semi‐linear Cauchy problem for wave models with scale‐invariant time‐dependent mass and dissipation and power non‐linearity. The goal is to study the interplay between the coefficients of the mass and the dissipation term to prove global existence (in time) of small data energy solutions assuming suitable regularity on the L² scale with additional L¹ regularity for the data. In order to deal with this L² regularity in the non‐linear part, we will develop and employ some tools from Harmonic Analysis.     

Topology,computational models,and social‐cognitive complexity

The topology or topological structure S, respectively, of a complex system can be defined in a graph theoretical way, i.e., S ? ((V × V), E), V being a set of vertices and E a set of edges. Therefore, a topological structure in this sense can be represented as a directed graph. A relation e(v₁, v₂), e ∈ E, v₁, v₂ ∈ V may represent, e.g., a social relation in a social group between group members, a cognitive (semantical or logical) relation between concepts or an economical relation between economical actors. By defining a certain topology and by adding certain rules of interaction between elements v_i and v_j ∈ V, one obtains a literally universal modeling schema for arbitrarily complex problems (6). This modeling schema will be applied in this article to several different problems, i.e., predictions of social group dynamical processes, the diagnosis of certain diseases via a medical diagnosis system constructed this way, and the solving of a murder case in a detective story. The schema will in some cases be extended to two levels, i.e., one element of a first level will consist of different elements itself. © 2006 Wiley Periodicals, Inc. Complexity 11:43–55, 2006     

Nonlinear degenerate parabolic equations for Baouendi–Grushin operators

In this paper, we shall investigate the nonexistence of positive solutions for the following nonlinear parabolic partial differential equations: and Here, Ω is a Carnot–Carathéodory metric ball in R ^N and V ∈ L ¹_loc(Ω). The critical exponents m * and p * are found, and the nonexistence results are proved for m * ≤ m < 1 and p * ≤ p < 2. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)