Existence of weak solutions to the three-dimensional steady compressible magnetohydrodynamic equations

The purpose of this paper is to prove the existence of a spatially periodic weak solution to the steady compressible isentropic MHD equations in R3 for any specific heat ratio γ 1.The proof is based on the weighted estimates of both pressure and kinetic energy for the approximate system which result in some higher integrability of the density,and the method of weak convergence.According to the author's knowledge,it is the first result that treats in three dimensions the existence of weak solutions to the steady compressible MHD equations with γ 1.     

Lq‐estimates for the stationary Oseen equations on the exterior of a rotating obstacle

We study the Dirichlet problem for the stationary Oseen equations around a rotating body in an exterior domain. Our main results are the existence and uniqueness of weak and very weak solutions satisfying appropriate L^q‐estimates. The uniqueness of very weak solutions is shown by the method of cut‐off functions with an anisotropic decay. Then our existence result for very weak solutions is deduced by a duality argument from the existence and estimates of strong solutions. From this and interior regularity of very weak solutions, we finally establish the complete D^1,r‐result for weak solutions of the Oseen equations around a rotating body in an exterior domain, where 4/3<r <4. Here, D^1,r is the homogeneous Sobolev space.     

On a quasilinear system involving the operator curl

This paper concerns a quasilinear system involving the operator curl. This system is an approximation of the anisotropic Ginzburg–Landau system which describes the Meissner state of type II superconductors. The existence of the weak solutions of the quasilinear system is proved by applying a variational method to a modified functional, and the C ^2+α regularity of the weak solutions H is established without assuming the boundedness of curl H.     

Existence of weak solutions to the three-dimensional steady compressible Navier-Stokes equations

We prove the existence of a spatially periodic weak solution to the steady compressible isentropic Navier-Stokes equations in R³ for any specific heat ratio γ>1. The proof is based on the weighted estimates of both pressure and kinetic energy for the approximate system which result in some higher integrability of the density, and the method of weak convergence.     

Existence of weak positive solutions to a nonlinear PDE system around a triple phase boundary, coupling domain and boundary variables

We consider a 2D nonlinear system of PDEs representing a simplified model of processes near a triple-phase boundary (TPB) in cathode catalyst layer of hydrogen fuel cells. The particularity of this system is the coupling of a variable satisfying a PDE in the interior of the domain with another variable satisfying a differential equation (DE) defined only on the boundary, through an adsorption-desorption equilibrium mechanism. The system includes also an isolated singular boundary condition which models the flux continuity at the contact of the TPB with a subdomain. By freezing certain terms we transform the nonlinear PDE system to an equation, which has a variational formulation. We prove several L^∞ and W1,p a priori estimates and then by using Schauder fixed point theorem we prove the existence of a weak positive bounded solution.     

Global existence of solutions of a strongly coupled quasilinear parabolic system with applications to electrochemistry

This paper consists of two parts. In the first part, we proved the global existence of weak solutions of a strongly coupled quasilinear parabolic system in Rⁿ using weak compactness method. In the second part, we considered the electrochemistry model studied in Choi and Lui (J. Differential Equations 116 (1995) 306) where the Poisson equation governing the electric potential is replaced by a local electro-neutrality condition. In one space dimension, the equations for the model is of the form considered in the first part of this paper except that the coefficient matrix is discontinuous at places where all the charged ions vanish. We approximate the equations by nicer operators and pass to the limit to obtain global existence of weak solutions. The non-negativity of weak solutions and L²-stability of the steady-state solutions are also shown under additional hypotheses.     

On Nonhomogeneous Slip Boundary Conditions for 2D Incompressible Exterior Fluid Flows

The paper examines the issue of existence of solutions to the steady Navier-Stokes equations in an exterior domain in ℝ². The system is studied with nonhomogeneous slip boundary conditions. The main results proves the existence of weak solutions for arbitrary data.      

Existence of a Weak Solution in L p to the Vortex-Wave System

The vortex-wave system is a coupling of the two-dimensional vorticity equation with the point-vortex system. It is a model for the motion of a finite number of concentrated vortices moving in a distributed vorticity background. In this article, we prove existence of a weak solution to this system with an initial background vorticity in L ^p , p>2, up to the time of first collision of point vortices.     

Generalized Harmonic Functions and the Dewetting of Thin Films

This paper describes the solvability of Dirichlet problems for Laplace's equation when the boundary data is not smooth enough for the existence of a weak solution in H¹Ω. Scales of spaces of harmonic functions and of boundary traces are defined and the solutions are characterized as limits of classical harmonic functions in special norms. The generalized harmonic functions, and their norms, are defined using series expansions involving harmonic Steklov eigenfunctions on the domain. It is shown that the usual trace operator has a continuous extension to an isometric isomorphism of specific spaces. This provides a characterization of the generalized solutions of harmonic Dirichlet problems. Numerical simulations of a model problem are described. This problem is related to the dewetting of thin films and the associated phenomenology is described.     

Dynamical behavior of a stochastic model of gene expression with distributed delay and degenerate diffusion

This article is concerned with a stochastic model of gene expression with distributed delay and degenerate diffusion. We transform the model with weak kernel case into an equivalent system through the linear chain technique. Since the diffusion matrix is of degenerate type, the uniform ellipticity condition is not satisfied. The Markov semigroup theory is used to obtain the existence and uniqueness of a stable stationary distribution. We prove the densities of the distributions of the solutions can converge in L¹ to an invariant density. The existence of the stationary distribution implies stochastic weak stability. Numerical simulation is introduced to illustrate the analytical result.     

Analysis of a parabolic cross-diffusion population model without self-diffusion

The global existence of non-negative weak solutions to a strongly coupled parabolic system arising in population dynamics is shown. The cross-diffusion terms are allowed to be arbitrarily large, whereas the self-diffusion terms are assumed to disappear. The last assumption complicates the analysis since these terms usually provide H¹ estimates of the solutions. The existence proof is based on a positivity-preserving backward Euler-Galerkin approximation, discrete entropy estimates, and L¹ weak compactness arguments. Furthermore, employing the entropy-entropy production method, we show for special stationary solutions that the transient solution converges exponentially fast to its steady state. As a by-product, we prove that only constant steady states exist if the inter-specific competition parameters disappear no matter how strong the cross-diffusion constants are.     

Leibniz filters and the strong version of a protoalgebraic logic

A filter of a sentential logic ? is Leibniz when it is the smallest one among all the ?-filters on the same algebra having the same Leibniz congruence. This paper studies these filters and the sentential logic ?⁺ defined by the class of all ?-matrices whose filter is Leibniz, which is called the strong version of ?, in the context of protoalgebraic logics with theorems. Topics studied include an enhanced Correspondence Theorem, characterizations of the weak algebraizability of ?⁺ and of the explicit definability of Leibniz filters, and several theorems of transfer of metalogical properties from ? to ?⁺. For finitely equivalential logics stronger results are obtained. Besides the general theory, the paper examines the examples of modal logics, quantum logics and Łukasiewicz's finitely-valued logics. One finds that in some cases the existence of a weak and a strong version of a logic corresponds to well-known situations in the literature, such as the local and the global consequences for normal modal logics; while in others these constructions give an independent interest to the study of other lesser-known logics, such as the lattice-based many-valued logics. Received: 30 October 1998 /?Published online: 15 June 2001     

Strong full bounded solutions of nonlinear parabolic equations with nonlinear boundary conditions

We study the existence of (generalized) bounded solutions existing for all times for nonlinear parabolic equations with nonlinear boundary conditions on a domain that is bounded in space and unbounded in time (the entire real line). We give a counterexample which shows that a (weak) maximum principle does not hold in general for linear problems defined on the entire real line in time. We consider a boundedness condition at minus infinity to establish (one-sided) L^∞-a priori estimates for solutions to linear boundary value problems and derive a weak maximum principle which is valid on the entire real line in time. We then take up the case of nonlinear problems with (possibly) nonlinear boundary conditions. By using comparison techniques, some (delicate) a priori estimates obtained herein, and nonlinear approximation methods, we prove the existence and, in some instances, positivity and uniqueness of strong full bounded solutions existing for all times.     

Existence proof for orthogonal dynamics and the Mori-Zwanzig formalism

We study the existence of solutions to the orthogonal dynamics equation, which arises in the Mori-Zwanzig formalism in irreversible statistical mechanics. This equation generates the random noise associated with a reduction in the number of variables. IfL is the Liouvillian, or Lie derivative associated with a Hamiltonian system, andP an orthogonal projection onto a closed subspace ofL ², then the orthogonal dynamics is generated by the operator (I −P)L. We prove the existence of classical solutions for the case whereP has finite-dimensional range. In the general case, we prove the existence of weak solutions.     

On the stationary quasi-Newtonian flow obeying a power-law

We investigate in this paper existence of a weak solution for a stationary incompressible Navier-Stokes system with non-linear viscosity and with non-homogeneous boundary conditions for velocity on the boundary. Our concern is with the viscosity obeying the power-law dependence ν(ξ) = ∣Tr(ξξ*)∣^r/2?1, r < 2, on shear stress ξ. It is corresponding to most quasi-Newtonian flows with injection on the boundary. Since for r ? 2 the inertial term precludes any a priori estimate in general, we suppose the Reynolds number is not too large. Using the specific algebraic structure of the Navier-Stokes system we prove existence of at least one approximate solution. The constructed approximate solution turns out to be uniformly bounded in W^1,r (Omega;)ⁿ and using monotonicity and compactness we successfully pass to the limit for r ≥ 3n/(n + 2). For 3n/(n + 2) > r > 2n/(n + 2) our construction gives existence of at least one very weak solution. Furthermore, for r ≥ 3n/(n + 2) we prove that all weak solutions lying in the ball in W of radius smaller than critical are equal. Finally, we obtain an existence result for the flow through a thin slab.     

Approximation of the Navier–Stokes system with variable viscosity by a system of Cauchy–Kowaleska type

In this paper, we study the existence of weak solutions when n?4 of the mixed problem for the Navier–Stokes equations defined in a bounded domain Q using approximation by a system of Cauchy–Kowaleska type. Periodical solutions are also analyzed. Copyright © 2008 John Wiley & Sons, Ltd.     

On the existence of solutions to the Navier–Stokes–Poisson equations of a two‐dimensional compressible flow

In this paper, we consider the Navier–Stokes–Poisson equations for compressible, barotropic flow in two space dimensions. We introduce useful tools from the theory of Orlicz spaces. Then we prove the existence of globally defined finite energy weak solutions for the pressure satisfying p(?)=a?log^d (?) for large ?. Here d>1 and a>0. Copyright © 2006 John Wiley & Sons, Ltd.     

The initial boundary value problems for the semilinear diffusion equations with data in L p spaces

In this paper, I have established conditions under which the existence and uniqueness of weak solutions of some Semilinear diffusion equations with initial and boundary data in fractional LL ^p spaces can be established in a bounded domain with smooth boundary The interest of this method relies on the fact that it is by successive approximations and hence amenable to numerical treatment. The paper also considers the semigroups theory on the existence of weak classical solutions.     

On the existence of solutions to the Navier–Stokes equations of a two‐dimensional compressible flow

We consider the Navier–Stokes equations for compressible, barotropic flow in two space dimensions. We introduce useful tools from the theory of Orlicz spaces. Then we prove the existence of globally defined finite energy weak solutions for the pressure satisfying p(?) = a?log^d(?) for large ?. Here d>1 and a > 0. Copyright © 2003 John Wiley & Sons, Ltd.     

On the initial value problem for the Vlasov-Poisson-Fokker-Planck system with initial data in Lp spaces

In this paper the global existence of weak solutions for the Vlasov-Poisson-Fokker-Planck equations in three dimensions is proved with an L¹ ∩ L^p initial data. Also, the global existence of weak solutions in four dimensions with small initial data is studied. A convergence of the solutions is obtained to those built by E. Horst and R. Hunze when the Fokker-Planck term vanishes. In order to obtain the a priori necessary estimates a sequence of approximate problems is introduced. This sequence is obtained starting from a non-linear regulation of the problem together with a linearization via a time retarded mollification of the non-linear term. The a priori bounds are reached by means of the control of the kinetic energy in the approximate sequence of problems. Then, the proof is completed obtaining the equicontinuity properties which allow to pass to the limit.