Regular and irregular solutions for a class of elliptic systems in the critical dimension

We study regularity properties of weak solutions in the Sobolev space ${W^{1,n}_0}$ to inhomogeneous elliptic systems under a natural growth condition and on bounded Lipschitz domains in ${\mathbb{R}^n}$ , i. e. we investigate weak solutions in the limiting situation of the Sobolev embedding. Several counterexamples of irregular solutions are constructed in cases, where additional structure conditions might have led to regularity. Among others we present both bounded irregular and unbounded weak solutions to elliptic systems obeying a one-sided condition, and we further construct unbounded extremals of two-dimensional variational problems. These counterexamples do not exclude the existence of a regular solution. In fact, we establish the existence of regular solutions—under standard assumptions on the principal part and the aforementioned one-sided condition on the inhomogeneity. This extends previous works for n = 2 to more general cases, including arbitrary dimensions. Moreover, this result is achieved by a simplified proof invoking modern techniques.     

Singular and degenerate anisotropic parabolic equations with a nonlinear source

The Dirichlet problem in arbitrary domain for degenerate and singular anisotropic parabolic equations with a nonlinear source term is considered. We state conditions that guarantee the existence and uniqueness of a global weak solution to the problem. A similar result is proved for the parabolic p-Laplace equation.     

Remarks on equations of Benjamin-Bona-Mahony type

We investigate an initial-boundary value problem for equations of Benjamin-Bona-Mahony (BBM) type in two different physical situations. In the first, the mixed problem is considered on a cylinder domain Q of Rn×Rt. In the second one, the mixed problem is studied inside of an increasing noncylindrical domain of Rn×Rt. In both situations we show the existence of a unique nonlocal solution. In cylindrical case it is proved the existence of weak and strong solutions, regularity of strong solutions, and in noncylindrical case weak solutions. One of the goals of this paper is to show that the noncylindrical problem is well-posed by using the penalty method idealized by Lions [J.L. Lions, Une remarque sur les problèmes d'évolution non linéaires dans des domaines non cylindriques, Rev. Roumaine Math. Pures Appl. 9 (1964) 11-18].     

Convergent factorial series solutions of linear difference equations

A generalized Sturmian theorem is proved for elliptic differential inequalities of second order in arbitrary bounded domains G in n-dimensional Euclidean space. Under weaker hypotheses than normally given, no boundary regularity is required for the conclusion that every solution of such an inequality has a zero in G. This is a so-called strong theorem, meaning that the conclusion applies to G rather than $\text{G}\text{?}$. Specialization to linear symmetric elliptic equations sharpens earlier Sturmian theorems.     

The Periodic Initial Value Problem and Initial Value Problem for the Non-Newtonian Boussinesq Approximation

The Boussinesq approximation, where the viscosity depends polynomially on the shear rate, finds more and more frequent use in geological practice. In this article, we consider the periodic initial value problem and initial value problem for the non-Newtonian Boussinesq equations describing the behavior of flows of an incompressable viscous fluid in processes where the thermal effects play an essential role. The existence of weak solution is proved for p ≥2, its uniqueness and regularity for p>(1+2n/(n+2)).     

On the global existence of solutions to an aggregation model

In this paper we consider a reaction-diffusion-chemotaxis aggregation model of Keller-Segel type with a nonlinear, degenerate diffusion. Assuming that the diffusion function f(n) takes values sufficiently large, i.e. takes values greater than the values of a power function with sufficiently high power (f(n)?δnp for all n>0, where δ>0 is a constant), we prove global-in-time existence of weak solutions. Since one of the main features of Keller-Segel type models is the possibility of blow-up of solutions in finite time, we will derive the uniform-in-time boundedness, which prevents the explosion of solutions. The uniqueness of solutions is proved provided that some higher regularity condition on solutions is known a priori. Finally, computational simulation results showing the effect of three different types of diffusion function are presented.     

Regularity of weak solution to Maxwell's equations and applications to microwave heating

In this paper we first study the regularity of weak solution for time-harmonic Maxwell's equations in a bounded anisotropic medium Ω. It is shown that the weak solution to the linear degenerate system, , is Hölder continuous under the minimum regularity assumptions on the complex coefficients γ(x) and ξ(x). We then study a coupled system modeling a microwave heating process. The dynamic interaction between electric and temperature fields is governed by Maxwell's equations coupled with an equation of heat conduction. The electric permittivity, electric conductivity and magnetic permeability are assumed to be dependent of temperature. It is shown that under certain conditions the coupled system has a weak solution. Moreover, regularity of weak solution is studied. Finally, existence of a global classical solution is established for a special case where the electric wave is assumed to be propagating in one direction.     

Existence of solutions for semilinear elliptic boundary value problems on arbitrary open sets

We show the existence of a weak solution of a semilinear elliptic Dirichlet problem on an arbitrary open set Ω. We make no assumptions about the open set Ω and very mild regularity assumptions on the semilinearity f, plus a coerciveness assumption which depends on the optimal Poincaré–Steklov constant λ₁. The proof is based on Schaefer’s fixed point theorem applied to a sequence of truncated problems. We state a simple uniqueness result. We also generalize the results to Robin boundary conditions [17].     

Strong solutions to the Richards equation in the unsaturated zone

We study the unsaturated case of the Richards equation in three space dimensions with Dirichlet boundary data. We first establish an a priori L^∞-estimate. With its help, by means of a fixed point argument we prove global in time existence of a unique weak solution in Sobolev spaces. Finally, we are able to improve the regularity of this weak solution in order to gain a strong one.     

Global regularity of solutions of 2D Boussinesq equations with fractional diffusion

The goal of this work is to study the Boussinesq equations for an incompressible fluid in R², with diffusion modeled by fractional Laplacian. The existence, the uniqueness and the regularity of solution has been proved.     

Existence and Regularity of Solutions to Model for Liquid Mixture of He-He

Existence and regularity of solutions to model for liquid mixture of ³He-⁴He is considered in this paper. First, it is proved that this system possesses a unique global weak solution in H¹(ω,C×R) by using Galerkin method. Secondly, by using an iteration procedure, regularity estimates for the linear semigroups, it is proved that the model for liquid mixture of ³He-⁴He has a unique solution in H^k(ω,C×R) for all k ≥ 1.     

Existence and regularity of positive solutions of elliptic equations of Schr?dinger type

We prove the existence of positive solutions with optimal local regularity of the homogeneous equation of Schr?dinger type $$ - {\rm{div}}(A\nabla u) - \sigma u = 0{\rm{ in }}\Omega $$ for an arbitrary open ?? ? ? ⁿ under only a form-boundedness assumption on ?? ?? D??(??) and ellipticity assumption on A ?? L ^??(??) ^n×n . We demonstrate that there is a two-way correspondence between form boundedness and existence of positive solutions of this equation as well as weak solutions of the equation with quadratic nonlinearity in the gradient $$ - {\rm{div}}(A\nabla u) = (A\nabla v) \cdot \nabla v + \sigma {\rm{ in }}\Omega $$ As a consequence, we obtain necessary and sufficient conditions for both formboundedness (with a sharp upper form bound) and positivity of the quadratic form of the Schr?dinger type operator H = ?div(A?·)-?? with arbitrary distributional potential ?? ?? D??(??), and give examples clarifying the relationship between these two properties.     

Zone diagrams in Euclidean spaces and in other normed spaces

Zone diagrams are a variation on the classical concept of Voronoi diagrams. Given n sites in a metric space that compete for territory, the zone diagram is an equilibrium state in the competition. Formally it is defined as a fixed point of a certain “dominance” map. Asano, Matou?ek, and Tokuyama proved the existence and uniqueness of a zone diagram for point sites in the Euclidean plane, and Reem and Reich showed existence for two arbitrary sites in an arbitrary metric space. We establish existence and uniqueness for n disjoint compact sites in a Euclidean space of arbitrary (finite) dimension, and more generally, in a finite-dimensional normed space with a smooth and rotund norm. The proof is considerably simpler than that of Asano et?al. We also provide an example of non-uniqueness for a norm that is rotund but not smooth. Finally, we prove existence and uniqueness for two point sites in the plane with a smooth (but not necessarily rotund) norm.     

Nonlinear evolution equations and the Euler flow

A new theorem on abstract nonlinear equations of evolution is proved. As an application, the existence, uniqueness, regularity, and continuous dependence on the data are proved for the solution of the Euler equation for incompressible fluids in a bounded domain in R^m.     

Existence of solution for the n-dimension second order semilinear hyperbolic equations

In the paper we establish the local and global existence of solution for the n-dimensional second order semilinear hyperbolic equation with a strongly singular coefficient which appears in the boundary-value problems of fluid dynamics. Based on the analysis about the loss of regularity on the line t=0 for the solution of the corresponding linear equation and the decay at infinity which caused by the singular coefficient, we obtain the existence of a small solution for the semilinear equation by use of fixed point theorem.     

Asymptotic regularity conditions for the strong convergence towards weak limit sets and weak attractors of the 3D Navier-Stokes equations

The asymptotic behavior of solutions of the three-dimensional Navier-Stokes equations is considered on bounded smooth domains with no-slip boundary conditions and on periodic domains. Asymptotic regularity conditions are presented to ensure that the convergence of a Leray-Hopf weak solution to its weak ω-limit set (weak in the sense of the weak topology of the space H of square-integrable divergence-free velocity fields with the appropriate boundary conditions) are achieved also in the strong topology. It is proved that the weak ω-limit set is strongly compact and strongly attracts the corresponding solution if and only if all the solutions in the weak ω-limit set are continuous in the strong topology of H. Corresponding results for the strong convergence towards the weak global attractor of Foias and Temam are also presented. In this case, it is proved that the weak global attractor is strongly compact and strongly attracts the weak solutions, uniformly with respect to uniformly bounded sets of weak solutions, if and only if all the global weak solutions in the weak global attractor are strongly continuous in H.     

Steady flow for incompressible fluids in domains with unbounded curved channels

We give an overview on the solution of the stationary Navier-Stokes equations for non newtonian incompressible fluids established by G. Dias and M.M. Santos (Steady flow for shear thickening fluids with arbitrary fluxes, J. Differential Equations 252 (2012), no. 6, 3873-3898), propose a definition for domains with unbounded curved channels which encompasses domains with an unbounded boundary, domains with nozzles, and domains with a boundary being a punctured surface, and argue on the existence of steady flowfor incompressible fluids with arbitrary fluxes in such domains.     

Stationary solutions of the Navier-Stokes equations in the spaces L p (ℝ n )

We study the existence and regularity of solutions of the stationary Navier-Stokes system in the spaces L _p (? ⁿ ). The use of the theory of multipliers of the Fourier transform permits one to single out a class of spaces in which there exists a unique “small” solution. We study the regularity of solutions in these spaces without the smallness assumption.     

A mathematical programming problem with singular mixed pointwise-integral constraints

We investigate an infinite dimensional optimization problem which constraints are singular integral-pointwise ones. We give some partial results of existence for a solution in some particular cases. However, the lack of compactness, even in L¹ prevents to conclude in the general case. We give an existence result for a weak solution (as a measure) that we are able to describe. The regularity of such a solution is still an open problem.     

A remark on regularity of 1D compressible isentropic Navier-Stokes equations with density-dependent viscosity

In this paper, we consider one-dimensional compressible isentropic Navier-Stokes equations with the viscosity depending on density and with the free boundary. The viscosity coefficient μ is proportional to ρθ with θ>0, where ρ is the density. The existence, uniqueness, regularity of global weak solutions in H¹([0,1]) have been established by Xin and Yao in [Z. Xin, Z. Yao, The existence, uniqueness and regularity for one-dimensional compressible Navier-Stokes equations, preprint]. Furthermore, under certain assumptions imposed on the initial data, we improve the regularity result obtained in [Z. Xin, Z. Yao, The existence, uniqueness and regularity for one-dimensional compressible Navier-Stokes equations, preprint] by driving some new a priori estimates.