On the kernel of the regulator map

By using the infinitesimal methods due to Bloch, Green, and Griffiths in [1], [4], we construct an infinitesimal form of the regulator map and verify that its kernel is ${\mathrm{\Omega }}_{\mathbb{C}/\mathbb{Q}}^1$, which suggests that Question 1.1 seems reasonable at the infinitesimal level.     

Higher-order elliptic and parabolic equations with VMO assumptions and general boundary conditions

We prove mixed $L_p(L_q)$-estimates, with $p,q\in (1,\infty )$, for higher-order elliptic and parabolic equations on the half space ${\mathbb{R}}_{+}^{d+1}$ with general boundary conditions which satisfy the Lopatinskii–Shapiro condition. We assume that the elliptic operators A have leading coefficients which are in the class of vanishing mean oscillations both in the time variable and the space variable. In the proof, we apply and extend the techniques developed by Krylov [24] as well as Dong and Kim in [13] to produce mean oscillation estimates for equations on the half space with general boundary conditions.     

Global,decaying solutions of a focusing energy-critical heat equation in R4

We study solutions of the focusing energy-critical nonlinear heat equation $u_t=\mathrm{\Delta }u?|u{|}^{2}u$ in ${\mathbb{R}}^4$. We show that solutions emanating from initial data with energy and ${\dot{H}}^1$-norm below those of the stationary solution W are global and decay to zero, via the “concentration-compactness plus rigidity” strategy of Kenig–Merle [33], [34]. First, global such solutions are shown to dissipate to zero, using a refinement of the small data theory and the $L^2$-dissipation relation. Finite-time blow-up is then ruled out using the backwards-uniqueness of Escauriaza–Seregin–Sverak [17], [18] in an argument similar to that of Kenig–Koch [32] for the Navier–Stokes equations.     

Goldman–Turaev formality from the Knizhnik–Zamolodchikov connection

For an oriented 2-dimensional manifold Σ of genus g with n boundary components, the space $\mathbb{C}{\pi }_1(\mathrm{\Sigma })/[\mathbb{C}{\pi }_1(\mathrm{\Sigma }),\mathbb{C}{\pi }_1(\mathrm{\Sigma })]$ carries the Goldman–Turaev Lie bialgebra structure defined in terms of intersections and self-intersections of curves. Its associated graded Lie bialgebra (under the natural filtration) is described by cyclic words in $H_1(\mathrm{\Sigma })$ and carries the structure of a necklace Schedler Lie bialgebra. The isomorphism between these two structures in genus zero has been established in [13] using Kontsevich integrals and in [2] using solutions of the Kashiwara–Vergne problem.In this note, we give an elementary proof of this isomorphism over $\mathbb{C}$. It uses the Knizhnik–Zamolodchikov connection on $\mathbb{C}\backslash \{z_1,\dots z_n\}$. We show that the isomorphism naturally depends on the complex structure on the surface. The proof of the isomorphism for Lie brackets is a version of the classical result by Hitchin [9]. Surprisingly, it turns out that a similar proof applies to cobrackets.Furthermore, we show that the formality isomorphism constructed in this note coincides with the one defined in [2] if one uses the solution of the Kashiwara–Vergne problem corresponding to the Knizhnik–Zamolodchikov associator.     

Definable E0 classes at arbitrary projective levels

Using a modification of the invariant Jensen forcing of [11], we define a model of ZFC, in which, for a given $n\ge 3$, there exists a lightface ${\Pi }_n^1$-set of reals, which is a ${\mathsf{E}}_0$-equivalence class, hence a countable set, and which does not contain any OD element, while every non-empty countable ${\Sigma }_n^1$-set of reals is constructible, hence contains only OD reals.     

Cardinal characteristics at κ in a small u(κ) model

We provide a model where $\mathfrak{u}(\kappa )<2^{\kappa }$ for a supercompact cardinal κ. [10] provides a sketch of how to obtain such a model by modifying the construction in [6]. We provide here a complete proof using a different modification of [6] and further study the values of other natural generalizations of classical cardinal characteristics in our model. For this purpose we generalize some standard facts that hold in the countable case as well as some classical forcing notions and their properties.     

Trace formulas for relative Schatten class perturbations

We derive trace formulas for a pair of self-adjoint operators $H+V$ and H under the assumption that ${(H?\mathrm{i})}^{?1}V$ is in a Schatten class. This extends the trace formulas of [8], where V alone is assumed to be in a Schatten class. Our trace formulas apply, in particular, in the setting of differential operators and are based on Taylor-like approximations of operator functions. This significantly improves non-Taylor based trace formulas of [10].     

Convergence to nonlinear diffusion waves for solutions of Euler equations with time-depending damping

In this paper, we are concerned with the asymptotic behavior of solutions to the system of Euler equations with time-depending damping, in particular, include the constant coefficient damping. We rigorously prove that the solutions time-asymptotically converge to the diffusion wave whose profile is self-similar solution to the corresponding parabolic equation, which justifies Darcy's law. Compared with previous results about Euler equations with constant coefficient damping obtained by Hsiao and Liu (1992) [2], and Nishihara (1996) [9], we obtain a general result when the initial perturbation belongs to the same space, i.e. $H^3(\mathbb{R})\times H^2(\mathbb{R})$. Our proof is based on the classical energy method.     

Blow-up for a three dimensional Keller–Segel model with consumption of chemoattractant

We investigate blow-up properties for the initial-boundary value problem of a Keller–Segel model with consumption of chemoattractant when the spatial dimension is three. Through a kinetic reformulation of the Keller–Segel system, we first derive some higher-order estimates and obtain certain blow-up criteria for the local classical solutions. These blow-up criteria generalize the results in [4], [5] from the whole space ${\mathbb{R}}^3$ to the case of bounded smooth domain $\mathrm{\Omega }?{\mathbb{R}}^3$. Lower global blow-up estimate on ${6n6}_{L^{\infty }(\mathrm{\Omega })}$ is also obtained based on our higher-order estimates. Moreover, we prove local non-degeneracy for blow-up points.     

Statistical and renewal results for the random sequential adsorption model applied to a unidirectional multicracking problem

We work out a stationary process on the real line to represent the positions of the multiple cracks which are observed in some composites materials submitted to a fixed unidirectional stress $\varepsilon$. Our model is the one-dimensional random sequential adsorption. We calculate the intensity of the process and the distribution of the inter-crack distance in the Palm sense. Moreover, the successive crack positions of the one-sided process (denoted by $X_i^{\varepsilon }$, $i⩾1$) are described. We prove that the sequence $\{(X_i^{\varepsilon },Y_i^{\varepsilon }),1⩽i⩽n\}$ is a “conditional renewal process”, where $Y_i^{\varepsilon }$ is the value of the stress at which $X_i^{\varepsilon }$ forms. The approaches “in the Palm sense” and “one-sided process” merge when $n\to +\infty$. The saturation case $(\varepsilon =+\infty )$ is also investigated.     

Three new results on continuation criteria for the 3D relativistic Vlasov–Maxwell system

We consider continuation criteria for the three-dimensional relativistic Vlasov–Maxwell system. When the particle density, $f(t,x,p)$, is compactly supported at $t=0$, we prove ${6p_0^{\frac{18}{5r}?1+\beta }f6}_{L_t^{\infty }{L}_x^r{L}_p^1}?1$, where $1\le r\le 2$ and $\beta >0$ is arbitrarily small, is a continuation criteria. Our continuation criteria is an improvement in the $1\le r\le 2$ range to the previously best known criteria ${6p_0^{\frac{4}{r}?1+\beta }f6}_{L_t^{\infty }{L}_x^r{L^1}_p}?1$ due to Kunze [7]. We also consider continuation criteria when $f(0,x,p)$ has noncompact support. In this regime, Luk–Strain [9] proved that ${6p_0^{\theta }f6}_{L_x^1{L}_p^1}?1$ is a continuation criteria for $\theta >5$. We improve this result to $\theta >3$. Finally, we build on another result by Luk–Strain [8]. The authors proved boundedness of momentum support on a fixed two-dimensional plane is a sufficient continuation criteria. We prove the same result even if the plane varies continuously in time.     

Toeplitz quantization on Fock space

For Toeplitz operators $T_f^{(t)}$ acting on the weighted Fock space $H_t^2$, we consider the semi-commutator $T_f^{(t)}{T}_g^{(t)}?T_{fg}^{(t)}$, where $t>0$ is a certain weight parameter that may be interpreted as Planck's constant ? in Rieffel's deformation quantization. In particular, we are interested in the semi-classical limit

($?$)$\underset{t\to 0}{\lim }?{6T_f^{(t)}{T}_g^{(t)}?T_{fg}^{(t)}6}_t.$

It is well-known that ${6T_f^{(t)}{T}_g^{(t)}?T_{fg}^{(t)}6}_t$ tends to 0 under certain smoothness assumptions imposed on f and g. This result was recently extended to $f,g\in \mathrm{BUC}({\mathbb{C}}^n)$ by Bauer and Coburn. We now further generalize (?) to (not necessarily bounded) uniformly continuous functions and symbols in the algebra $\mathrm{VMO}\cap L^{\infty }$ of bounded functions having vanishing mean oscillation on ${\mathbb{C}}^n$. Our approach is based on the algebraic identity $T_f^{(t)}{T}_g^{(t)}?T_{fg}^{(t)}=?{(H_{\overline{f}}^{(t)})}^{?}{H}_g^{(t)}$, where $H_g^{(t)}$ denotes the Hankel operator corresponding to the symbol g, and norm estimates in terms of the (weighted) heat transform. As a consequence, only f (or likewise only g) has to be contained in one of the above classes for (?) to vanish. For g we only have to impose ${\lim \sup }_{t\to 0}{6H_g^{(t)}6}_t<\infty$, e.g. $g\in L^{\infty }({\mathbb{C}}^n)$. We prove that the set of all symbols $f\in L^{\infty }({\mathbb{C}}^n)$ with the property that ${\lim }_{t\to 0}?{6T_f^{(t)}{T}_g^{(t)}?T_{fg}^{(t)}6}_t={\lim }_{t\to 0}?{6T_g^{(t)}{T}_f^{(t)}?T_{gf}^{(t)}6}_t=0$ for all $g\in L^{\infty }({\mathbb{C}}^n)$ coincides with $\mathrm{VMO}\cap L^{\infty }$. Additionally, we show that $\underset{t\to 0}{\lim }?{6T_f^{(t)}6}_t={6f6}_{\infty }$ holds for all $f\in L^{\infty }({\mathbb{C}}^n)$. Finally, we present new examples, including bounded smooth functions, where (?) does not vanish.     

Duality of weighted multiparameter Triebel-Lizorkin spaces

In this paper, we reintroduce the weighted multi-parameter Triebel-Lizorkin spaces F_p~(α,q) (ω; R~(n_1)× R~(n_2)) based on the Frazier and Jawerth' method in [11]. This space was′firstly introduced in [18]. Then we establish its dual space and get that(F_p~(α,q))*= CMO_p~(-α,q') for 0 p ≤ 1.     

Dispersive estimates for the wave equation inside cylindrical convex domains: A model case

In this work, we will establish local in time dispersive estimates for solutions to the model-case Dirichlet wave equation inside a cylindrical convex domain $\mathrm{\Omega }?{\mathbb{R}}^3$ with a smooth boundary $?\mathrm{\Omega }\ne ?$. Let us recall that dispersive estimates are key ingredients to prove Strichartz estimates. Nonoptimal Strichartz estimates for waves inside an arbitrary domain Ω have been proved by Blair–Smith–Sogge [1], [2]. Better estimates in strictly convex domains have been obtained in [4]. Our case of cylindrical domains is an extension of the result of [4] in the case where the curvature radius ≥0 depends on the incident angle and vanishes in some directions.     

A norm inequality for positive block matrices

Any positive matrix $M={(M_{i,j})}_{i,j=1}^m$ with each block $M_{i,j}$ square satisfies the symmetric norm inequality $6M6\le 6{\sum }_{i=1}^m{M}_{i,i}+{\sum }_{i=1}^{m?1}{\omega }_{i}I6$, where ${\omega }_i$ ($i=1,\dots ,m?1$) are quantities involving the width of numerical ranges. This extends the main theorem of Bourin and Mhanna (2017) [4] to a higher number of blocks.     

Finite-time blow-up for quasilinear degenerate Keller–Segel systems of parabolic–parabolic type

This paper deals with the quasilinear degenerate Keller–Segel systems of parabolic–parabolic type in a ball of ${\mathbb{R}}^N$ ($N\ge 2$). In the case of non-degenerate diffusion, Cie?lak–Stinner [3], [4] proved that if $q>m+\frac{2}{N}$, where m denotes the intensity of diffusion and q denotes the nonlinearity, then there exist initial data such that the corresponding solution blows up in finite time. As to the case of degenerate diffusion, it is known that a solution blows up if $q>m+\frac{2}{N}$ (see Ishida–Yokota [13]); however, whether the blow-up time is finite or infinite has been unknown. This paper gives an answer to the unsolved problem. Indeed, the finite-time blow-up of energy solutions is established when $q>m+\frac{2}{N}$.