On the nonuniqueness of weak solution of the Euler equation

Weak solution of the Euler equations is defined as an L²-vector field satisfying the integral relations expressing the mass and momentum balance. Their general nature has been quite unclear. In this work an example of a weak solution on a 2-dimensional torus is constructed that is identically zero outside a finite time interval. This example is simpler and more transparent than the previous example of V. Scheffer (J. Geom. Anal. 3(4), 1993, pp. 343–401). © 1997 John Wiley & Sons, Inc.     

A Two-dimensional Stationary Induction Heating Problem

We consider in this paper a system of equations modelling a steady-state induction heating process for ‘two-dimensional geometries’. Existence of a solution is stated in W^1,p(Ω) Sobolev spaces and is derived using the Leray–Schauder's fixed point theory. © 1997 by B. G. Teubner Stuttgart–John Wiley & Sons Ltd.     

The Convergence of the Navier–Stokes–Poisson System to the Incompressible Euler Equations

ABSTRACT

The combining quasineutral and inviscid limit of the Navier–Stokes–Poisson system in the torus 𝕋 ^d , d ≥ 1 is studied. The convergence of the Navier–Stokes–Poisson system to the incompressible Euler equations is proven for the global weak solution and for the case of general initial data.     

Bivariate spline method for numerical solution of steady state Navier–Stokes equations over polygons in stream function formulation

We use the bivariate spline finite elements to numerically solve the steady state Navier–Stokes equations. The bivariate spline finite element space we use in this article is the space of splines of smoothness r and degree 3r over triangulated quadrangulations. The stream function formulation for the steady state Navier–Stokes equations is employed. Galerkin's method is applied to the resulting nonlinear fourth‐order equation, and Newton's iterative method is then used to solve the resulting nonlinear system. We show the existence and uniqueness of the weak solution in H²(Ω) of the nonlinear fourth‐order problem and give an estimate of how fast the numerical solution converges to the weak solution. The Galerkin method with C¹ cubic splines is implemented in MATLAB. Our numerical experiments show that the method is effective and efficient. © 2000 John Wiley & Sons, Inc. Numer Methods Partial Differential Eq 16: 147–183, 2000     

Fully discrete T‐ψ finite element method to solve a nonlinear induction hardening problem

We study an induction hardening model described by Maxwell's equations coupled with a heat equation. The magnetic induction field is assumed a nonlinear constitutional relation and the electric conductivity is temperature‐dependent. The T ‐ψ method is to transform Maxwell's equations to the vector–scalar potential formulations and to solve the potentials by means of the finite element method. In this article, we present a fully discrete T ‐ψ finite element scheme for this nonlinear coupled problem and discuss its solvability. We prove that the discrete solution converges to a weak solution of the continuous problem. Finally, we conclude with two numerical experiments for the coupled system.     

Stationary Oberbeck–Boussinesq model of generalized Newtonian fluid governed by multivalued partial differential equations

A generalization of the Oberbeck–Boussinesq model consisting of a system of steady state multivalued partial differential equations for incompressible, generalized Newtonian of the p-power type, viscous flow coupled with the nonlinear heat equation is studied in a bounded domain. The existence of a weak solution is proved by combining the surjectivity method for operator inclusions and a fixed point technique.     

Free/Congested Two-Phase Model from Weak Solutions to Multi-Dimensional Compressible Navier-Stokes Equations

We approximate a two–phase model by the compressible Navier-Stokes equations with a singular pressure term. Up to a subsequence, these solutions are shown to converge to a global weak solution of the compressible system with the congestion constraint studied for instance by Lions and Masmoudi. The paper is an extension of the previous result obtained in one-dimensional setting by Bresch et al. to the multi-dimensional case with heterogeneous barrier for the density.     

On the Nonexistence of Global Weak Solutions to the Navier–Stokes–Poisson Equations in ℝ N

In this paper we prove nonexistence of stationary weak solutions to the Euler–Poisson equations and the Navier–Stokes–Poisson equations in ? ^N , N ≥ 2, under suitable assumptions of integrability for the density, velocity and the potential of the force field. For the time dependent Euler–Poisson equations we prove nonexistence result assuming additionally temporal asymptotic behavior near infinity of the second moment of density. For a class of time dependent Navier–Stokes–Poisson equations in ? ^N this asymptotic behavior of the density can be proved if we assume the standard energy inequality, and therefore the nonexistence of global weak solution follows from more plausible assumption in this case.     

Pullback attractors for nonautonomous 2D Bénard problem in some unbounded domains

In this paper, we study the 2D Bénard problem, a system with the Navier–Stokes equations for the velocity field coupled with a convection–diffusion equation for the temperature, in an arbitrary domain (bounded or unbounded) satisfying the Poincaré inequality with nonhomogeneous boundary conditions and nonautonomous external force and heat source. The existence of a weak solution to the problem is proved by using the Galerkin method. We then show the existence of a unique minimal finite‐dimensional pullback D_σ‐attractor for the process associated to the problem. Copyright © 2013 John Wiley & Sons, Ltd.     

Global solvability of the initial boundary-value problem with periodic boundary conditions describing the 2D maxwell flow

The system of equations describing the 2D flow of a Maxwell fluid is considered. The global existence of a weak solution for the initial boundary-value problem with periodic boundary conditions is proved. The result allows us to prove the solvability of the corresponding, Cauchy problem. Bibliography: 9 titles. Dedicated to the memory of A. P. Oskolkov Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 243, 1997, pp. 111–117. Translated by N. A. Karazeeva.     

Partial regularity of suitable weak solutions to the four‐dimensional incompressible magneto‐hydrodynamic equations

In this paper, we study the partial regularity of suitable weak solutions to the incompressible magneto‐hydrodynamic equations in dimension four by borrowing and improving the arguments given by Caffarelli, Kohn, and Nirenberg for incompressible Navier–Stokes equations. The so‐called ε‐regularity criteria are established for suitable weak solutions. As an application, an estimate on Hausdorff dimension of the possible singular points set for a suitable weak solution is given. Finally, we present further information on distribution of the possible singular points if the given initial data decay sufficiently rapidly or are not too singular at the origin, in some sense. Copyright © 2012 John Wiley & Sons, Ltd.     

Propagation and conditional propagation of chaos for pressureless gas equations

We study the existence and uniqueness of a weak solution of a viscous d-dimensional system of pressureless gas equations. We construct a nonlinear diffusion by using the propagation and conditional propagation of chaos. The latter diffusion is associated with the above pressureless gas equations.Mathematics Subject Classification (2000):60H15, 35R60, 60H30     

Large‐time behavior of a two‐scale semilinear reaction–diffusion system for concrete sulfatation

We study the large‐time behavior of (weak) solutions to a two‐scale reaction–diffusion system coupled with a nonlinear ordinary differential equations modeling the partly dissipative corrosion of concrete (or cement)‐based materials with sulfates. We prove that as t → ∞ , the solution to the original two‐scale system converges to the corresponding two‐scale stationary system. To obtain the main result, we make use essentially of the theory of evolution equations governed by subdifferential operators of time‐dependent convex functions developed combined with a series of two‐scale energy‐like time‐independent estimates. Copyright © 2014 John Wiley & Sons, Ltd.     

Two applications of Brouwer’s fixed point theorem: in insurance and in biology models

In the first part of the article, a new interesting system of difference equations is introduced. It is developed for re-rating purposes in general insurance. A nonlinear transformation φ of a d-dimensional (d ≥ 2) Euclidean space is introduced that enables us to express the system in the form f^t+1:=φ( f^t), t = 0, 1, 2,. …. Under typical actuarial assumptions, existence of solutions of that system is proven by means of Brouwer’s fixed point theorem in normed spaces. In addition, conditions that guarantee uniqueness of a solution are given. The second, smaller part of the article is about Leslie–Gower’s system of d ≥ 2 difference equations. We focus on the system that satisfies conditions consistent with weak inter-specific competition. We prove existence and uniqueness of the equilibrium of the model under surprisingly simple and very general conditions. Even though the two parts of this article have applications in two different sciences, they are connected with similar mathematics, in particular by our use of Brouwer’s fixed point theorem.     

Approximation of the perturbation equations of a quasi-linear hyperbolic system in the neighborhood of a bicharacteristic

In 1956 Whitham gave a nonlinear theory for computing the intensity of an acoustic pulse of an arbitrary shape. The theory has been used very successfully in computing the intensity of the sonic bang produced by a supersonic plane. [4.] derived an approximate quasi-linear equation for the propagation of a short wave in a compressible medium. These two methods are essentially nonlinear approximations of the perturbation equations of the system of gas-dynamic equations in the neighborhood of a bicharacteristic curve (or rays) for weak unsteady disturbances superimposed on a given steady solution. In this paper we have derived an approximate quasi-linear equation which is an approximation of perturbation equations in the neighborhood of a bicharacteristic curve for a weak pulse governed by a general system of first order quasi-linear partial differential equations in m + 1 independent variables (t, x₁,…, x_m) and derived Gubkin's result as a particular case when the system of equations consists of the equations of an unsteady motion of a compressible gas. We have also discussed the form of the approximate equation describing the waves propagating upsteam in an arbitrary multidimensional transonic flow.     

Bivariate spline method for numerical solution of time evolution Navier‐Stokes equations over polygons in stream function formulation

We use a bivariate spline method to solve the time evolution Navier‐Stokes equations numerically. The bivariate splines we use in this article are in the spline space of smoothness r and degree 3r over triangulated quadrangulations. The stream function formulation for the Navier‐Stokes equations is employed. Galerkin's method is applied to discretize the space variables of the nonlinear fourth‐order equation, Crank‐Nicholson's method is applied to discretize the time variable, and Newton's iterative method is then used to solve the resulting nonlinear system. We show the existence and uniqueness of the weak solution in L₂(0, T; H²(Ω)) ∩ L_∞(0, T; H¹(Ω)) of the 2D nonlinear fourth‐order problem and give an estimate of how fast the numerical solution converges to the weak solution. The C¹ cubic splines are implemented in MATLAB for solving the Navier‐Stokes equations numerically. Our numerical experiments show that the method is effective and efficient. © 2003 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 19: 776–827, 2003.     

On approximations of the Euler-Peano scheme for multivalued stochastic differential equations

It is known that a unique strong solution exists for multivalued stochastic differential equations under the Lipschitz continuity and linear growth conditions. In this paper we apply the Euler-Peano scheme to show that existence of weak solution and pathwise uniqueness still hold when the coefficients are random and satisfy one-sided locally Lipschitz continuous and an integral condition (i.e. Krylov's conditions put forward in On Kolmogorov's equations for finite-dimensional diffusions, Stochastic PDE's and Kolmogorov Equations in Infinite Dimensions (Cetraro, 1998), Lecture Notes in Math., 1715, Springer, Berlin, 1999, pp. 1–63). When the coefficients are nonrandom and possibly discontinuous but only satisfy some integral conditions, the sequence of solutions of the Euler-Peano scheme converges weakly, and the limit is a weak solution of the corresponding MSDE. As a particular case, we obtain a global semi-flow for stochastic differential equations reflected in closed, convex domains.     

Joint availability of systems modelled by finite semi–markov processes

Consider a repairable system at the time instants t and t + x, where t, x ≥0. The joint availability of the system at these time instants is defined as the probability of the system being functional in both t and t + x. A set of integral equations is derived for the joint availability of a system modelled by a finite semi–Markov process. The result is applied to the semi–Markov model of a two–unit system with sequential preventive maintenance. The method used for the numerical solution of the resulting system of integral equations is a two–point trapezoidal rule. The system of implementation is the matrix computation package MATLAB on the Apple Macintosh SE/30. The numerical results obtained by this method are shown to be in good agreement with those from simulation.     

Numerical and theoretical study of weak Galerkin finite element solutions of Turing patterns in reaction–diffusion systems

In this paper, we introduce numerical schemes and their analysis based on weak Galerkin finite element framework for solving 2‐D reaction–diffusion systems. Weak Galerkin finite element method (WGFEM) for partial differential equations relies on the concept of weak functions and weak gradients, in which differential operators are approximated by weak forms through the Green's theorem. This method allows the use of totally discontinuous functions in the approximation space. In the current work, the WGFEM solves reaction–diffusion systems to find unknown concentrations (u, v) in element interiors and boundaries in the weak Galerkin finite element space WG(P₀, P₀, RT₀) . The WGFEM is used to approximate the spatial variables and the time discretization is made by the backward Euler method. For reaction–diffusion systems, stability analysis and error bounds for semi‐discrete and fully discrete schemes are proved. Accuracy and efficiency of the proposed method successfully tested on several numerical examples and obtained results satisfy the well‐known result that for small values of diffusion coefficient, the steady state solution converges to equilibrium point. Acquired numerical results asserted the efficiency of the proposed scheme.     

Navier–Stokes equations: an analysis of a possible gap to achieve the energy equality

The paper is concerned with the IBVP of the Navier–Stokes equations. The goal is to evaluate the possible gap between the energy equality and the energy inequality deduced for a weak solution. This kind of analysis is new and the result is a natural continuation and improvement of a result obtained by the same authors in Crispo et al. (Some new properties of a suitable weak solution to the Navier–Stokes equations. arXiv:1904.07641).