Superlinear elliptic equations with singular coefficients on the boundary

In this paper, a superlinear elliptic equation whose coefficient diverges on the boundary is studied in any bounded domain Ω under the zero Dirichlet boundary condition. Although the equation has a singularity on the boundary, a solution is smooth on the closure of the domain. Indeed, it is proved that the problem has a positive solution and infinitely many solutions without positivity, which belong to or . Moreover, it is proved that a positive solution has a higher order regularity up to .     

Stability of perturbed nonlinear parabolic equations with Sturmian property

We study stability of an equilibrium f∗ of autonomous dynamical systems under asymptotically small perturbations of the equation. We show that such stability takes place if the domain of attraction of the equilibrium f∗ contains a one-parametric ordered family . In the stability analysis we need a special S-relation (a kind of “restricted partial ordering”) to be preserved relative to the family . This S-relation is inherited from the Sturmian zero set properties for linear parabolic equations. As main applications, we prove stability of the self-similar blow-up behaviour for the porous medium equation, the p-Laplacian equation and the dual porous medium equation in with nonlinear lower-order perturbations. For such one-dimensional parabolic equations the S-relation is Sturm's Theorem on the nonincrease of the number of intersections between the solutions and particular solutions with initial data in . This Sturmian property plays a key role and is true for the unperturbed PME, but is not true for perturbed equations.     

Carleson measure problems for parabolic Bergman spaces and homogeneous Sobolev spaces

Let be the space of solutions to the parabolic equation having finite norm. We characterize nonnegative Radon measures μ on having the property , 1≤p≤q<∞, whenever . Meanwhile, denoting by v(t,x) the solution of the above equation with Cauchy data v₀(x), we characterize nonnegative Radon measures μ on satisfying , β∈(0,n), p∈[1,n/β], q∈(0,∞). Moreover, we obtain the decay of v(t,x), an isocapacitary inequality and a trace inequality.     

A non-implication between fragments of Martin’s Axiom related to a property which comes from Aronszajn trees

We introduce a property of forcing notions, called the anti-, which comes from Aronszajn trees. This property canonically defines a new chain condition stronger than the countable chain condition, which is called the property .In this paper, we investigate the property . For example, we show that a forcing notion with the property does not add random reals. We prove that it is consistent that every forcing notion with the property has precaliber ℵ₁ and for forcing notions with the property fails. This negatively answers a part of one of the classical problems about implications between fragments of .     

Solution of a nonsymmetric algebraic Riccati equation from a two-dimensional transport model

For the steady-state solution of an integral-differential equation from a two-dimensional model in transport theory, we shall derive and study a nonsymmetric algebraic Riccati equation B^--XF^--F⁺X+XB⁺X=0, where , and with a nonnegative matrix P, positive diagonal matrices D^±, and nonnegative parameters f, and . We prove the existence of the minimal nonnegative solution X^∗ under the physically reasonable assumption , and study its numerical computation by fixed-point iteration, Newton’s method and doubling. We shall also study several special cases; e.g. when and P is low-ranked, then is low-ranked and can be computed using more efficient iterative processes in U and V. Numerical examples will be given to illustrate our theoretical results.     

Well-posedness and ill-posedness for a fifth-order shallow water wave equation

In this paper we establish a new bilinear estimate in suitable Bourgain spaces by using a fundamental estimate on dyadic blocks for the Kawahara equation which was obtained by the [k;Z] multiplier norm method of Tao (2001) [2]; then the local well-posedness of the Cauchy problem for a fifth-order shallow water wave equation in with is obtained by the Fourier restriction norm method. And some ill-posedness in with is derived from a general principle of Bejenaru and Tao.     

Classical predicative logic-enriched type theories

A logic-enriched type theory (LTT) is a type theory extended with a primitive mechanism for forming and proving propositions. We construct two LTTs, named and , which we claim correspond closely to the classical predicative systems of second order arithmetic and . We justify this claim by translating each second order system into the corresponding LTT, and proving that these translations are conservative. This is part of an ongoing research project to investigate how LTTs may be used to formalise different approaches to the foundations of mathematics.The two LTTs we construct are subsystems of the logic-enriched type theory , which is intended to formalise the classical predicative foundation presented by Herman Weyl in his monograph Das Kontinuum. The system has also been claimed to correspond to Weyl’s foundation. By casting and as LTTs, we are able to compare them with . It is a consequence of the work in this paper that is strictly stronger than .The conservativity proof makes use of a novel technique for proving one LTT conservative over another, involving defining an interpretation of the stronger system out of the expressions of the weaker. This technique should be applicable in a wide variety of different cases outside the present work.     

Mixed Artin-Tate motives over number rings

This paper studies Artin-Tate motives over bases , for a number field F. As a subcategory of motives over S, the triangulated category of Artin-Tate motives is generated by motives , where ? is any finite map. After establishing the stability of these subcategories under pullback and pushforward along open and closed immersions, a motivic t-structure is constructed. Exactness properties of these functors familiar from perverse sheaves are shown to hold in this context. The cohomological dimension of mixed Artin-Tate motives () is two, and there is an equivalence .     

On the Wiener integral with respect to a sub-fractional Brownian motion on an interval

The domain of the Wiener integral with respect to a sub-fractional Brownian motion , , k≠0, is characterized. The set is a Hilbert space which contains the class of elementary functions as a dense subset. If , any element of is a function and if , the domain is a space of distributions.     

On the relation between cluster and classical tilting

Let be a triangulated category with a cluster tilting subcategory U. The quotient category is abelian; suppose that it has finite global dimension.We show that projection from to sends cluster tilting subcategories of to support tilting subcategories of , and that, in turn, support tilting subcategories of can be lifted uniquely to weak cluster tilting subcategories of .     

Uniqueness of positive radial solutions for Δu−u+u=0 on an annulus

We prove uniqueness of positive radial solutions to the semilinear elliptic equation , subject to the Dirichlet boundary condition on an annulus in . As a by-product, our argument also provides a much simpler, if not the simplest, new proof for the uniqueness of positive solutions to the same problem in a finite ball or in the whole space .     

Higher Kurtz randomness

A real x is -Kurtz random (-Kurtz random) if it is in no closed null set ( set). We show that there is a cone of -Kurtz random hyperdegrees. We characterize lowness for -Kurtz randomness as being -dominated and -semi-traceable.     

On the number of graphs with a given endomorphism monoid

For a given finite monoid , let be the number of graphs on n vertices with endomorphism monoid isomorphic to . For any nontrivial monoid we prove that where and are constants depending only on with .For every k there exists a monoid of size k with , on the other hand if a group of unity of has a size k>2 then .     

On source-type solutions and the Cauchy problem for a doubly degenerate sixth-order thin film equation, I: Local oscillatory properties

As a key example, the sixth-order doubly degenerate parabolic equation from thin film theory,

     

On a parabolic problem with nonlinear term in a half space and global behavior of solutions

We take up the existence and global behavior of positive continuous solutions of the following nonlinear parabolic equation in (n?2) with boundary conditions u=0 on and u(x,0)=u₀(x). The nonlinear term is required to satisfy some conditions related to a functional class , which we introduce in this paper and will be called parabolic Kato class in the half space. Our approach is based on potential theory.     

Kirillov-Reshetikhin crystals for nonexceptional types

We provide combinatorial models for all Kirillov-Reshetikhin crystals of nonexceptional type, which were recently shown to exist. For types , , we rely on a previous construction using the Dynkin diagram automorphism which interchanges nodes 0 and 1. For type we use a Dynkin diagram folding and for types , a similarity construction. We also show that for types and the analog of the Dynkin diagram automorphism exists on the level of crystals.     

A new partial regularity result for non-autonomous convex integrals with non-standard growth conditions

We establish C1,γ-partial regularity of minimizers of non-autono-mous convex integral functionals of the type: , with non-standard growth conditions into the gradient variable