The matrix convexity and the matrix monotony of a real C¹ function f on (0,∞) are characterized in terms of the conditional negative or positive definiteness of the Loewner matrices associated with f, tf(t), and t²f(t). Similar characterizations are also obtained for matrix monotone functions on a finite interval (a,b).

View full abstract

In this note, we consider rational cuspidal plane curves having exactly one cusp whose complements have logarithmic Kodaira dimension two. We classify such curves with the property that the strict transforms of them via the minimal embedded resolution of the cusp have the maximal self-intersection number. We show that the curves given by the classification coincide with those constructed by Orevkov.

View full abstract

We study the notion of a strongly normal sequence in the dual E^* of a Banach space E. In particular, we prove that the following three conditions are equivalent:
(1) E^* has a strongly normal sequence,
(2) (E^*, σ(E^*,E)) has a Schauder basic sequence,
(3) E has an infinite-dimensional separable quotient.

View full abstract

We establish bilinear estimates in dyadic BMO as an extension of Kozono and Taniuchi’s result on the usual BMO. To establish the bilinear estimates we use sharp maximal functions, while they used the boundedness of pseudo-differential operators by Coifman and Meyer. By this extension we prove that the dyadic BMO norm of the velocity controls the blow-up phenomena of smooth solutions to the Navier-Stokes equations. Moreover, we give an odd function with type II singularity which clarifies the difference between BMO and dyadic BMO.

View full abstract

We give a formulation of Yang-Mills gauge theory for open smooth four-dimensional manifolds whose ends are homeomorphic to S³ × [0,∞). We apply this formulation to the study of conformal structures of such manifolds. We introduce the notion of asymptotically quasiconformal homeomorphic manifolds and show that there exist manifolds which are mutually homeomorphic but not asymptotically quasiconformal homeomorphic.

View full abstract

We extend the work of Abe in [1], to show that the strong partition relation C → (n+2)ⁿ⁺¹_{< -reg}, for every C ∈ WNS^*_κ,λ, is a consequence of the existence of an n-subtle cardinal. We then build on Kanamori’s result in [10], that the existence of an n-subtle cardinal is equivalent to the existence of a set of ordinals containing a homogeneous subset of size n+2 for each regressive coloring of n+1-tuples from the set. We use this result to show that a seemingly weaker relation, in the context of P_κλ is also equivalent. This relation is a new type of regressive partition relation, which we then attempt to characterize.

View full abstract

Let G be a nonabelian p group of order p³ (i.e., extraspecial p-group), and BG its classifying space. Then CH^*(BG) ≅ H^2*(BG) where CH^*(–) is the Chow ring over the field k = C. We also compute mod(2) motivic cohomology and motivic cobordism of BQ₈ and BD₈.

View full abstract

We study the instability of standing waves for nonlinear Schrödinger equations. Under a general assumption on nonlinearity, we prove that linear instability implies orbital instability in any dimension. For that purpose, we establish a Strichartz type estimate for the propagator generated by the linearized operator around standing wave.

View full abstract

We deal with the property of weak normality (for non-principal ultrafilters). We characterize the situation of |Π_i<κλ_i ⁄ D|. We have an application for a question of Depth in Boolean algebras.

View full abstract

In this paper, we proved the generalized resolvent estimate and the maximal L_p-L_q regularity of the Stokes equation with first order boundary condition in the half-space, which arises in the mathematical study of the motion of a viscous incompressible one phase fluid flow with free surface. The core of our approach is to prove the R boundedness of solution operators defined in a sector Σ_ε,γ0 = {λ ∈ C \ {0} | |argλ| ≤ π – ε, |λ| ≥ γ₀} with 0 < ε < π⁄2 and γ₀ ≥ 0. This R boundedness implies the resolvent estimate of the Stokes operator and the combination of this R boundedness with the operator valued Fourier multiplier theorem of L. Weis implies the maximal L_p-L_q regularity of the non-stationary Stokes. For a densely defined closed operator A, we know that what A has maximal L_p regularity implies that the resolvent estimate of A in λ ∈ Σ_ε,γ0, but the opposite direction is not true in general (cf. Kalton and Lancien [19]). However, in this paper using the R boundedness of the operator family in the sector Σ_ε,λ0, we derive a systematic way to prove the resolvent estimate and the maximal L_p regularity at the same time.

View full abstract

Let H²(D²) be the Hardy space over the bidisk. Let {φ_n(z)}_{n ≥ 0} and {ψ_n(w)}_{n ≥ 0} be sequences of one variable inner functions satisfying some additinal conditions. Associated with them, we have a Rudin type invariant subspace M of H²(D²). We study the Beurling type theorem for the fringe operator F_w on M $¥ominus$ zM.

View full abstract

The goal of the article is to classify foliations of S³ by regular canal surfaces, that is envelopes of one-parameter families of spheres which are immersed surfaces. We will add some extra information when the leaves are “surfaces of revolution” in a conformal sense.

View full abstract