Problems with one quarter

In this paper two sequences of oscillation criteria for the self-adjoint second order differential equation (r(t)u(t)) + p(t)u(t) = 0 are derived. One of them deals with the case dt/r(t) = , and the other with the case dt/r(t) < .This work was supported by the grant VGA of Slovak Republic No. 1/7466/20.     

Stabilization of ill-posed Cauchy problems for parabolic equations

Summary In this paper we study the noncharacteristic Cauchy problem, u_t–(a(x)u_x)_x=0, x(0, l), t.(0, T], u(0, t)=(t), u_x(0,t)=0, 0tT, assuming only L for a. In the case of weak a priori bounds on u, we derive stability estimates on u of Hölder type in the interior and of logarithmic type at the boundary. Also the continuous dependence on a is considered.

---

Sunto Nel presente lavoro consideriamo il problema di Cauchy non ben posto u_t= (a(x)u_x)_x, x(0, l), t(0, T), u(0, t)=(t), u_x(0, t)=0, 0tT. Supponiamo che a sia misurabile e limitato inferiormente e superiormente da constanti positive. Introduciamo delle limitazioni a priori su u e dimostriamo la dipendenza continua di u rispetto al dato sia in (0, l)×(0, T) (di tipo hölderiano) sia per x=l (di tipo logaritmico). Consideriamo, inoltre, la dipendenza continua di u da a.

     

Positivity Preserving Forms have the Fatou Property

We prove that if (,D) is a positivity preserving form on L ² (E;m), and if (u _n)_n is a sequence in D() converging m-almost everywhere to u L ² (E;m), then (u,u) lim inf_n (u _n ,u _n ).     

Regularity of solutions and interfaces of a generalized porous medium equation inR N

Summary We consider the Cauchy problem for the generalized porous medium equation u_t=(u) where u=u(x, t), xRⁿ and t>0, and the initial datum u(x, 0) is assumed to be nonnegative, integrable mid to nave compact support. The nonlinearity (u) is a C¹ function defined for uO which grows like a power of u. Our assumptions generalize the porous medium case, (u)=u^m, m>1, and also include the equation of the Marshak waves. This problem has finite speed of propagation. We estimate the rate of growth of the support of the solution with precise estimates for t 0 and t. Our main result deals with the regularity of the solutions. We show that after a certain time t₀ the pressure, defined by v=(u), with (u)=(u)/u and (0)=0, is a Lipschitz-continuous function of x and t and the interface is a Lipschitz-continuous surface in R^N+1; the solution u is Hölder continuous for all times t> 0.Both authors partially supported by CAICYT, Project 2805-83. The second author also supported by USA-Spain Joint Research Grant CCB-8402023.     

Integration par parties dans l'espace de Wiener et approximation du temps local

Summary Let be a real-valued stochastic process having a continuous local timeL(u,t),u —, 0tT andX (t) = ( *X)(t),t 0, the regularization ofX by means of the convolution with the approximation of unity . The main theorem in this paper (Theorem 3.5) is a generalization of various results about the approximation (for fixedu) of the local timeL(u, ) by means of a convenient normalization of the numberN ^X (u;) of crossings of the processX with the levelu. Especially, this Theorem extends to a class of not necessarily Markovian continuous martingales, a result of this type for one-dimensional diffusions due to Azais [A2]). The methods of proof combine some estimations of the moments of the number of crossings with a level of a regular stochastic processes with stochastic analysis techniques based upon integration by parts in the Wiener space.

---

---

Support partill du CICYT, N^o PB86-0238     

A symmetry problem in the calculus of variations

Let be a ball in ^N, centered at zero, and letu be a minimizer of the nonconvex functional over one of the classesC _M := {w W _loc ^1, () 0 w(x) M in,w concave} orE _M := {w W _loc ^1,2 () 0 w(x) M in,w 0 inL()}of admissible functions. Thenu is not radial and not unique. Therefore one can further reduce the resistance of Newton's rotational body of minimal resistance through symmetry breaking.     

A property of nonlinear elliptic equations when the right-hand side is a measure

LetA(u)=–diva(x, u, Du) be a Leray-Lions operator defined onW ₀ ^1,p () and be a bounded Radon measure. For anyu SOLA (Solution Obtained as Limit of Approximations) ofA(u)= in ,u=0 on , we prove that the truncationsT _k(u) at heightk satisfyA(T _k(u)) A(u) in the weak * topology of measures whenk + .

---

Résumé SoitA(u)=–diva(x, u, Du) un opérateur de Leray-Lions défini surW ₀ ^1,p () et une mesure de Radon bornée. Pour toutu SOLA (Solution Obtenue comme Limite d'Approximations) deA(u)= dans ,u=0 sur , nous démontrons que les troncaturesT _k(u) à la hauteurk vérifientA(T _k(u)) A(u) dans la topologie faible * des mesures quandk + .

     

Triple Positive Solutions for Multipoint Conjugate Boundary Value Problems

For the nth order nonlinear differential equation y ⁽ⁿ⁾(t)=f(y(t)), t [0,1], satisfying the multipoint conjugate boundary conditions, y ^(j)(a_i) = 0,1 i k, 0 j n _i - 1, 0 =a ₁ < a ₂ < < a _k = 1, and _i=1 ^k n _i =n, where f: [0, ) is continuous, growth condtions are imposed on f which yield the existence of at least three solutions that belong to a cone.     

An initial-boundary value problem for the sine-Gordon equation in laboratory coordinates

We consider the sine-Gordon equation in laboratory coordinates with both x and t in [0, ). We assume that u(x, 0), u_t(x, 0), u(0, t) are given, and that they satisfy u(x, 0)2q, u_t(x, 0)0, for large x, u(0, t)2p for large t, where q, p are integers. We also assume that u_x(x, 0), u_t(x, 0), u_t(0, t), u(0, t)-2p, u(x, 0)-2q L₂. We show that the solution of this initial-boundary value problem can be reduced to solving a linear integral equation which is always solvable. The asymptotic analysis of this integral equation for large t shows how the boundary conditions can generate solitons.The authors dedicate this paper to the memory of M. C. PolivanovDepartment of Mathematics and Computer Science; Institute for Nonlinear Studies, Clarkson University, Postdam, New York. Published in Teoreticheskaya i Matematicheskaya Fizika, Vol. 92, No. 3, pp. 387–403, September, 1992.     

The problem of conformal transformations of a circle into nonoverlapping regions

Let a, a0, a, be a fixed point in the z-plane, (a, 0, ), the class of all systemsf _k()_l ³ of functions z=f ^k(), k=1, 2, 3, of which the first two map conformally and in a s ingle-sheeted manner the circle ¦¦<1, and the third maps in a similar manner the region ¦¦>1, into pair-wise nonintersecting regions B_k, k=1, 2, 3, containing the points a, 0, and , respectively, so thatf ₁(0)=a,f ₂(0)=0 andf ₃()=. The region of values (a, 0, ) of the system M(¦f ₁'(0)¦, ¦f ₂'(0)¦, 1/¦f ₃'()¦) in the class (a, 0, ) is determined.Translated from Matematicheskie Zametki, Vol. 6, No. 4, pp. 417–424, October, 1969.     

Regularity of ∫Ω|∇u|2 + λ∫Ω|u−f{2 and some gap phenomenon

We study the regularity of the minimizer u for the functional F (u,f)=|u|² + |u–f{² over all maps uH ¹(, S ²). We prove that for some suitable functions f every minimizer u is smooth in if ₀ and for the same functions f, u has singularities when is large enough.

---

Résumé On étudie la régularité des minimiseurs u du problème de minimisation min_ueH ¹(,S²)(|u|² + |u–f{². On montre que pour certaines fonctions f, u est régulière lorsque ₀ et pour les mêmes f, si est assez grand, alors u possède des singularités.

     

An approach to infinitary temporal proof theory

Aim of this work is to investigate from a proof-theoretic viewpoint a propositional and a predicate sequent calculus with an –type schema of inference that naturally interpret the propositional and the predicate until–free fragments of Linear Time Logic LTL respectively. The two calculi are based on a natural extension of ordinary sequents and of standard modal rules. We examine the pure propositional case (no extralogical axioms), the propositional and the first order predicate cases (both with a possibly infinite set of extralogical axioms). For each system we provide a syntactic proof of cut elimination and a proof of completeness.Supported by MIUR COFIN 02 Teoria dei Modelli e Teoria degli Insiemi, loro interazioni ed applicazioni.Supported by MIUR COFIN 02 PROTOCOLLO.Mathematics Subject Classification (2000):03B22, 03B45, 03F05     

A conjecture on semi-field planes. II

Conclusion The results in the previous sections lend strong support to the conjecture made in the Introduction. Furthermore, if the long-standing conjecture concerning the solvability of autotopism groups for semi-field planes is correct then the probability of our conjecture being true is greatly increased. In any case the existence of a semi-field plane for which u() = 2, 3, or 4 would provide a counterexample to the earlier conjecture.There are examples of semi-field planes with u() = %. As mentioned in Example 2 of Section 3, one of the semi-field planes of order 16 has u()-5. For that plane, the five orbits of the autotopism group G in (G) have lengths 27, 36, 54, 54, 54. The union of the orbit having length 36 and one of those having 54 is the union of the points in (G) on 6 lines through a vertex U and the union of the remaining three orbits consists of the 135 points on the remaining 9 lines through U. There are also non-Desarguesian A-planes in which u() = 5; the semi-field plane of order 3⁴ coordinatized by the twisted field of Albert has u() = 5.Supported in part by NSF Grants No. MPS 75-05260 and MPS 76-06661     

A finite element method for a singularly perturbed boundary value problem

Summary We examine the problem:u+a(x)u–b(x)u=f(x) for 0<x<1,a(x)>0,b(x)>, ² = 4>0,a, b andf inC ² [0, 1], in (0, 1],u(0) andu(1) given. Using finite elements and a discretized Green's function, we show that the El-Mistikawy and Werle difference scheme on an equidistant mesh of widthh is uniformly second order accurate for this problem (i.e., the nodal errors are bounded byCh ², whereC is independent ofh and ). With a natural choice of trial functions, uniform first order accuracy is obtained in theL (0, 1) norm. On choosing piecewise linear trial functions (hat functions), uniform first order accuracy is obtained in theL ¹ (0, 1) norm.     

A construction of stable subharmonic orbits in monotone time-periodic dynamical systems

We consider a family of abstract semilinear elliptic-like equationsB(t,u _o (t))=0 for an unknown functionu ₀ (t) parametrized by the time-variablet0 and valued in a Banach spaceX. Suppose that bothB(.,u) andu ₀ areT-periodic in timet, and each Fréchet derivative generates an exponentially decaying, analyticC ₀-semigroup inX. We show that, for every small >0, the abstract parabolic-like evolution equationdu /dt=B(t,u _(t) ),t0, has a linearly stableT-periodic solutionu nearu ₀. Given any integern2, we construct examples ofB andu ₀ such that the minimum periods ofB(.,u) andu ₀, respectively, are=T/n andT. Thenu (t), t0, is alinearly stable subharmonic orbit of minimum periodT for our -periodic evolution equation. The corresponding dynamical systems are strongly monotone.This work was supported in part by, Vanderbilt University Research Council.     

Generalization of two theorems of M. I. Kadets concerning the indefinite integral of abstract almost periodic functions

Conditions are obtained for the almost periodicity (or almost automorphy) of an abstract functionf (t) on a group G satisfying the difference equationsf (t)–f(t)=g(t), where, for each G, the function (t) is almost periodic (or almost automorphic) (the difference problem). The investigation of the almost periodicity of the integral of an almost periodic function (t) on the real line R is reduced to a study of the difference problem.Translated from Matematicheskie Zametki, Vol. 9, No. 3, pp. 311–321, March, 1971.In conclusion I wish to thank V. V. Zhikov for suggesting this problem, and B. M. Levitan and E. A. Gorin for their discussion of the work.     

Limiting behavior of weighted central paths in linear programming

We study the limiting behavior of the weighted central paths{(x(), s())} > 0 in linear programming at both = 0 and = . We establish the existence of a partition (B ,N ) of the index set { 1, ,n } such thatx _i() ands _j () as fori B , andj N , andx _N (),s _B () converge to weighted analytic centers of certain polytopes. For allk 1, we show that thekth order derivativesx ^(k) () ands ^(k) () converge when 0 and . Consequently, the derivatives of each order are bounded in the interval (0, ). We calculate the limiting derivatives explicitly, and establish the surprising result that all higher order derivatives (k 2) converge to zero when .     

Aleksandrov reflection and nonlinear evolution equations,I: The n-sphere and n-ball

We consider the (degenerate) parabolic equationu _t =G(u + ug, t) on then-sphereS ⁿ . This corresponds to the evolution of a hypersurface in Euclidean space by a general function of the principal curvatures, whereu is the support function. Using a version of the Aleksandrov reflection method, we prove the uniform gradient estimate ¦u(·,t)¦ <C, whereC depends on the initial conditionu(·, 0) but not ont, nor on the nonlinear functionG. We also prove analogous results for the equationu _t =G(u +cu, ¦x¦,t) on then-ballB ⁿ , wherec ₂(B ⁿ ).     

A Strong Maximum Principle for some quasilinear elliptic equations

In its simplest form the Strong Maximum Principle says that a nonnegative superharmonic continuous function in a domain ⁿ ,n 1, is in fact positive everywhere. Here we prove that the same conclusion is true for the weak solutions of – u + (u) = f with a nondecreasing function ,(0)=0, andf0 a.e. in if and only if the integral((s)s) ^–1/2 ds diverges ats=0+. We extend the result to more general equations, in particular to – _p u + (u) =f where _p (u) = div(|Du| ^p-2 Du), 1 <p < . Our main result characterizes the nonexistence of a dead core in some reaction-diffusion systems.This work was partly done while the author was visiting the University of Minnesota as a Fulbright Scholar.     

A functional inequality for real-analytic functions

Summary Forf ( C ⁿ() and 0 t x letJ _n (f, t, x) = (–1)ⁿ f(–x)f ⁽ⁿ⁾(t) +f(x)f ⁽ⁿ⁾ (–t). We prove that the only real-analytic functions satisfyingJ _n (f, t, x) 0 for alln = 0, 1, 2, are the exponential functionsf(x) = c e ^x,c, . Further we present a nontrivial class of real-analytic functions satisfying the inequalitiesJ ₀ (f, x, x) 0 and ₀ ^x (x – t)^{n – 1}J_n(f, t, x)dt 0 (n 1).