Smoothness of generalized solutions of the third boundary-value problem for an elliptic differential-difference equation

Unlike the case of elliptic differential equations, generalized solutions of elliptic differential-difference equations may be nonsmooth on an entire domainQ, only preserving smoothness on certain subdomainsQ _r Q. The conditions are considered under which the generalized solutions of the third boundary-value problem remain smooth on the boundaries of the neighboring subdomainsQ _r .Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 45, No. 8, pp. 1140–1150, August, 1993.The author is grateful to A. D. Myshkis and A. L. Skubachevaskii for their kind attention to the work and valuable advice.     

Modified method of simplest equation and its application to nonlinear PDEs

We search for traveling-wave solutions of the class of PDEswhere A_p(Q),B_r(Q),C_s(Q),D_u(Q) and F(Q) are polynomials of Q. The basis of the investigation is a modification of the method of simplest equation. The equations of Bernoulli, Riccati and the extended tanh-function equation are used as simplest equations. The obtained general results are illustrated by obtaining exact solutions of versions of the generalized Kuramoto-Sivashinsky equation, reaction-diffusion equation with density-dependent diffusion, and the reaction-telegraph equation.     

On the Agmon-Miranda maximum principle for solutions of strongly elliptic equations in domains of ℝn with conical points

In this paper the Agmon-Miranda maximum principle for solutions of strongly elliptic differential equations Lu = 0 in a bounded domain G with a conical point is considered. Necessary and sufficient conditions for the validity of this principle are given both for smooth solutions of the equation Lu = 0 in G and for the generalized solution of the problem Lu = 0 in G, D _k ^v u = gk on G (k = 0,...,m-1). It will be shown that for every elliptic operator L of order 2m > 2 there exists such a cone in ⁿ (n4) that the Agmon-Miranda maximum principle fails in this cone.     

Uniqueness of Piecewise Smooth Weak Solutions of Multidimensional Degenerate Parabolic Equations

We study the degenerate parabolic equationu_t + ∇ · f = ∇ · (Q∇u) + g, where (x, t) ∈ ^N × ⁺, the fluxf, the viscosity coefficientQ, and the source termgdepend on (x, t, u) andQis nonnegative definite. Due to the possible degeneracy, weak solutions are considered. In general, these solutions are not uniquely determined by the initial data and, therefore, additional conditions must be imposed in order to guarantee uniqueness. We consider here the subclass of piecewise smooth weak solutions, i.e., continuous solutions which areC²-smooth everywhere apart from a closed nowhere dense collection of smooth manifolds. We show that the solution operator isL¹-stable in this subclass and, consequently, that piecewise smooth weak solutions are uniquely determined by the initial data.     

Systems of quadratic Diophantine inequalities and the value distribution of quadratic forms

Let Q ₁,…,Q _r be quadratic forms with real coefficients. We prove that the set is dense in , provided that the system Q ₁(x) = 0,…,Q _r (x) = 0 has a nonsingular real solution and all forms in the real pencil generated by Q ₁,…,Q _r are irrational and have rank larger than 8r. Moreover, we give a quantitative version of the above assertion. As an application we study higher correlation functions of the value distribution of a positive definite irrational quadratic form. Author’s address: Institut für Statistik, Technische Universit?t Graz, A-8010 Graz, Austria     

The Nehari problem for infinite-dimensional linear systems of parabolic type

A complete solution is obtained to the suboptimal Nehari extension problem for transfer functions of parabolic systems with Dirichlet boundary control and smooth observations. The solutions are given in terms of the realization (–A, B, C), whereA is a uniformly strongly elliptic operator of order two with smooth coefficients defined on a bounded open domain ofR _d ,B=AB _D andB _D is the Dirichlet map associated with Dirichlet boundary conditions andC is a bounded observation map fromL ₂() to the output spaceY. The approach is to solve an equivalentJ-spectral factorization problem for this particular realization.     

Splitting extrapolation for solving second order elliptic systems with curved boundary in by using d-quadratic isoparametric finite element

Splitting extrapolation for solving second order elliptic systems with curved boundary in by using isoparametric d-quadratic element Q₂ is presented, which is a new technique for solving large scale scientific and engineering problems in parallel. By means of domain decomposition, a large scale multidimensional problem with curved boundary is turned into many discrete problems involving several grid parameters. The multivariate asymptotic expansions of isoparametric d-quadratic Q₂ finite element errors with respect to independent grid parameters are proved for second order elliptic systems. Therefore after solving smaller problems with similar sizes in parallel, a global fine grid approximation with higher accuracy is computed by the splitting extrapolation method.     

Solvability of some overdetermined elliptic system in a domain with corners π/n

In the paper we prove the existence and uniqueness of solutions of the overdetermined elliptic system where b, ω are given functions, in a domain Ω C R³ with corners π/n, n = 2, 3, … The proof is divided on two steps, we construct a solution for the Laplace equation in a dihedral angle π/n, using the method of reflection and we get an estimate in the norms of the Sobolev spaces in some neighbourhood of the edge. In the dihedral angle system (A) reduces to the Dirichlet and Neumann problems for the Laplace equation. In the next step we prove the existence of solutions in the Sobolev spaces W_p^l(Ω) using the existence of generalized solutions of (A).     

On the Wl q-Regularity of Solutions to Systems of Differential Equations in the Case When the Equations Are Constructed from Discontinuous Functions

Some solution, final in a sense from the standpoint of the theory of Sobolev spaces, is obtained to the problem of regularity of solutions to a system of (generally) nonlinear partial differential equations in the case when the system is locally close to elliptic systems of linear equations with constant coefficients. The main consequences of this result are Theorems 5 and 8. According to the first of them, the higher derivatives of an elliptic C ^l -smooth solution to a system of lth-order nonlinear partial differential equations constructed from C ^l -smooth functions meet the local Hoelder condition with every exponent , 0<<1. Theorem 8 claims that if a system of linear partial differential equations of order l with measurable coefficients and right-hand sides is uniformly elliptic then, under the hypothesis of a (sufficiently) slow variation of its leading coefficients, the degree of local integrability of lth-order partial derivatives of every W ^l _q,loc-solution, q>1, to the system coincides with the degree of local integrability of lower coefficients and right-hand sides.     

The Existence of Positive Solutions to Neutral Differential Equations

In this paper, we shall consider a class of neutral differential equations of the form

Full-size image (1K)

where τ (0, ∞), σ [0, ∞), Q(t) C([t₀, ∞), R ⁺ ), r(t) C([t₀, ∞), (0, ∞)) with r(t) nondecreasing on [t₀ − τ, ∞). We shall show that all positive solutions of ( * ) can be classified into four types, A, B, C, and D, and we shall obtain sufficient and necessary conditions for the existence of A-type, B-type, and D-type positive solutions of ( * ), respectively. A sufficient condition for the existence of C-type positive solutions of ( * ) is also given. Finally, we shall offer a sharp oscillation result for all solutions of ( * ). Our results generalize and improve those established in B. Yang and B. G. Zhang (Funkcial. Ekvac.39 (1996), 347–362).     

Reaction diffusion equations with non-linear boundary conditions,blowup and steady states

In this paper we study the following problem: u_t−Δu=−f(u) in Ω×(0, T)≡Q_T, ∂u ∂n=g(u) on ∂Ω×(0, T)≡S_T, u(x, 0)=u₀(x) in Ω , where Ω⊂ℝ^N is a smooth bounded domain, f and g are smooth functions which are positive when the argument is positive, and u₀(x)>0 satisfies some smooth and compatibility conditions to guarantee the classical solution u(x, t) exists. We first obtain some existence and non-existence results for the corresponding elliptic problems. Then, we establish certain conditions for a finite time blow-up and global boundedness of the solutions of the time-dependent problem. Further, we analyse systems with same kind of boundary conditions and find some blow-up results. In the last section, we study the corresponding elliptic problems in one-dimensional domain. Our main method is the comparison principle and the construction of special forms of upper–lower solutions using related equations. © 1998 B. G. Teubner Stuttgart—John Wiley & Sons, Ltd.     

Combinatorics of Rational Functions and Poincaré- Birchoff-Witt Expansions of the Canonical U ({\frak n}\_)-Valued Differential Form

We study the canonical U -valued differential form, whose projections to different Kac-Moody algebras are key ingredients of the hypergeometric integral solutions of KZ-type differential equations and Bethe ansatz constructions. We explicitly determine the coefficients of the projections in the simple Lie algebras A_r, B_r, C_r, D_r in a conveniently chosen Poincaré- Birchoff-Witt basis.Received June 28, 2004     

All traveling wave exact solutions of three kinds of nonlinear evolution equations

In this article, we employ the complex method to obtain all meromorphic exact solutions of complex Klein–Gordon (KG) equation, modified Korteweg‐de Vries (mKdV) equation, and the generalized Boussinesq (gB) equation at first, then find all exact solutions of the Equations KG, mKdV, and gB. The idea introduced in this paper can be applied to other nonlinear evolution equations. Our results show that all rational and simply periodic solutions are solitary wave solutions, the complex method is simpler than other methods, and there exist some rational solutions w_2r,2(z) and simply periodic solutions w_1s,2(z),w_2s,1(z) in these equations such that they are not only new but also not degenerated successively by the elliptic function solutions. We have also given some computer simulations to illustrate our main results. Copyright © 2014 John Wiley & Sons, Ltd.     

New closure conditions and some problems in loop theory

A loopQ(·) is said to be anA _l-loop (A _r-loop) if x, y Q, l _x,y AutQ (r _x,y AutQ) hold, where

A free boundary problem for quasilinear degenerate parabolic equations with general degeneracy

In this paper, we study the free boundary problem for degenerate parabolic equations (1.1)–(1.4). The existence of generalized solutions inBV ₁, 1/2 is obtained by the means of parabolic regularization under certain restrictions. The uniqueness and regularity of generalized solutions are also discussed. In addition, a C¹⁺ smoothness for the free boundary is obtained in the parabolic case.     

Spreads and ovoids in finite generalized quadrangles

This paper is a survey on the existence and non-existence of ovoids and spreads in the known finite generalized quadrangles. It also contains the following new results. We prove that translation generalized quadrangles of order (s,s ²), satisfying certain properties, have a spread. This applies to three known infinite classes of translation generalized quadrangles. Further a new class of ovoids in the classical generalized quadranglesQ(4, 3 ^e ),e3, is constructed. Then, by the duality betweenQ(4, 3 ^e ) and the classical generalized quadrangleW (3 ^e ), we get line spreads of PG(3, 3 ^e ) and hence translation planes of order 3^2e . These planes appear to be new. Note also that only a few classes of ovoids ofQ(4,q) are known. Next we prove that each generalized quadrangle of order (q ²,q) arising from a flock of a quadratic cone has an ovoid. Finally, we give the following characterization of the classical generalized quadranglesQ(5,q): IfS is a generalized quadrangle of order (q,q ²),q even, having a subquadrangleS isomorphic toQ(4,q) and if inS each ovoid consisting of all points collinear with a given pointx ofS\S is an elliptic quadric, thenS is isomorphic toQ(5,q).     

On the Density of Elliptic Curves

We show that 17.9% of all elliptic curves over Q, ordered by their exponential height, are semistable, and that there is a positive density subset of elliptic curves for which the root numbers are uniformly distributed. Moreover, for any > 1/6 (resp. > 1/12) the set of Frey curves (resp. all elliptic curves) for which the generalized Szpiro Conjecture |(E)| N _E ¹² is false has density zero. This implies that the ABC Conjecture holds for almost all Frey triples. These results remain true if we use the logarithmic or the Faltings height. The proofs make use of the fibering argument in the square-free sieve of Gouvêa and Mazur. We also obtain conditional as well as unconditional lower bounds for the number of curves with Mordell–Weil rank 0 and 2, respectively.     

Coupling of viscous and inviscid Stokes equations via a domain decomposition method for finite elements

Summary A generalized Stokes problem is addressed in the framework of a domain decomposition method, in which the physical computational domain is partitioned into two subdomains ₁ and ₂.Three different situations are covered. In the former, the viscous terms are kept in both subdomains. Then we consider the case in which viscosity is dropped out everywhere in . Finally, a hybrid situation in which viscosity is dropped out only in ₁ is addressed. The latter is motivated by physical applications.In all cases, correct transmission conditions across the interface between ₁ and ₂ are devised, and an iterative procedure involving the successive resolution of two subproblems is proposed.The numerical discretization is based upon appropriate finite elements, and stability and convergence analysis is carried out.We also prove that the iteration-by-subdomain algorithms which are associated with the various domain decomposition approaches converge with a rate independent of the finite element mesh size.This work was partially supported by CIRA S.p.A. under the contract Coupling of Euler and Navier-Stokes equations in hypersonic flowsDeceased