Showing 1–46 of 46 results for author: Kawakami, T

Existence of solutions for a semilinear parabolic system with singular initial data

Authors: Yohei Fujishima, Kazuhiro Ishige, Tatsuki Kawakami

Abstract: Let $(u,v)$ be a solution to the Cauchy problem for a semilinear parabolic system \[ \mathrm{(P)} \qquad \cases{ \partial_t u=D_1Δu+v^p\quad & $\quad\mbox{in}\quad{\mathbb{R}}^N\times(0,T),$\\ \partial_t v=D_2Δv+u^q\quad & $\quad\mbox{in}\quad{\mathbb{R}}^N\times(0,T),$\\ (u(\cdot,0),v(\cdot,0))=(μ,ν) & $\quad\mbox{in}\quad{\mathbb{R}}^N,$ } \] where $N\ge 1$, $T>0$, $D_1>0$, $D_2>0$, $0<p\le q$ w… ▽ More Let $(u,v)$ be a solution to the Cauchy problem for a semilinear parabolic system \[ \mathrm{(P)} \qquad \cases{ \partial_t u=D_1Δu+v^p\quad & $\quad\mbox{in}\quad{\mathbb{R}}^N\times(0,T),$\\ \partial_t v=D_2Δv+u^q\quad & $\quad\mbox{in}\quad{\mathbb{R}}^N\times(0,T),$\\ (u(\cdot,0),v(\cdot,0))=(μ,ν) & $\quad\mbox{in}\quad{\mathbb{R}}^N,$ } \] where $N\ge 1$, $T>0$, $D_1>0$, $D_2>0$, $0<p\le q$ with $pq>1$, and $(μ,ν)$ is a pair of nonnegative Radon measures or locally integrable nonnegative functions in ${\mathbb R}^N$. In this paper we establish sharp sufficient conditions on the initial data for the existence of solutions to problem~(P) using uniformly local Morrey spaces and uniformly local weak Zygmund type spaces. △ Less

Submitted 4 July, 2024; v1 submitted 3 July, 2024; originally announced July 2024.

Weak quasi-$F$-splitting and del Pezzo varieties

Authors: Tatsuro Kawakami, Hiromu Tanaka

Abstract: We show that smooth del Pezzo varieties in positive characteristic are quasi-$F$-split. To this end, we introduce weak quasi-$F$-splitting and we prove that general ladders of smooth del Pezzo varieties are normal. We show that smooth del Pezzo varieties in positive characteristic are quasi-$F$-split. To this end, we introduce weak quasi-$F$-splitting and we prove that general ladders of smooth del Pezzo varieties are normal. △ Less

Submitted 9 May, 2024; v1 submitted 6 April, 2024; originally announced April 2024.

Comments: 45 pages, v2: new title, typos corrected

MSC Class: 14J45; 13A35

Global $F$-regularity for weak del Pezzo surfaces

Authors: Tatsuro Kawakami, Hiromu Tanaka

Abstract: Let $k$ be an algebraically closed field of characteristic $p>0$. Let $X$ be a normal projective surface over $k$ with canonical singularities whose anti-canonical divisor is nef and big. We prove that $X$ is globally $F$-regular except for the following cases: (1) $K_X^2=4$ and $p=2$, (2) $K_X^2=3$ and $p \in \{2, 3\}$, (3) $K_X^2=2$ and $p \in \{2, 3\}$, (4) $K_X^2=1$ and $p \in \{2, 3, 5\}$. Fo… ▽ More Let $k$ be an algebraically closed field of characteristic $p>0$. Let $X$ be a normal projective surface over $k$ with canonical singularities whose anti-canonical divisor is nef and big. We prove that $X$ is globally $F$-regular except for the following cases: (1) $K_X^2=4$ and $p=2$, (2) $K_X^2=3$ and $p \in \{2, 3\}$, (3) $K_X^2=2$ and $p \in \{2, 3\}$, (4) $K_X^2=1$ and $p \in \{2, 3, 5\}$. For each degree $K_X^2$, the assumption of $p$ is optimal. △ Less

Submitted 6 April, 2024; originally announced April 2024.

Comments: 17 pages

MSC Class: 14J45; 13A35

Vanishing theorems for Fano threefolds in positive characteristic

Authors: Tatsuro Kawakami, Hiromu Tanaka

Abstract: We prove that Kodaira vanishing holds for an arbitrary smooth Fano threefold in positive characteristic. To this end, we show that it is quasi-F-split when the Picard number or the Fano index is larger than one. We also establish Akizuki-Nakano vanishing for smooth Fano threefolds when the Picard number or the Fano index is larger than one, and therefore they lift to the ring of Witt vectors. We prove that Kodaira vanishing holds for an arbitrary smooth Fano threefold in positive characteristic. To this end, we show that it is quasi-F-split when the Picard number or the Fano index is larger than one. We also establish Akizuki-Nakano vanishing for smooth Fano threefolds when the Picard number or the Fano index is larger than one, and therefore they lift to the ring of Witt vectors. △ Less

Submitted 6 April, 2024; originally announced April 2024.

Comments: 61 pages

$G$-invariant definable Tietze extension theorem

Authors: Masato Fujita, Tomohiro Kawakami

Abstract: A $G$-invariant version of definable Tietze extension theorem for definably complete structures is proved when a definably compact definable topological group $G$ acts definably and continuously on the definable set. A $G$-invariant version of definable Tietze extension theorem for definably complete structures is proved when a definably compact definable topological group $G$ acts definably and continuously on the definable set. △ Less

Submitted 31 March, 2024; originally announced April 2024.

MSC Class: 03C64

Existence of solutions to a fractional semilinear heat equation in uniformly local weak Zygmund type spaces

Authors: Norisuke Ioku, Kazuhiro Ishige, Tatsuki Kawakami

Abstract: In this paper we introduce uniformly local weak Zygmund type spaces, and obtain an optimal sufficient condition for the existence of solutions to the critical fractional semilinear heat equation. In this paper we introduce uniformly local weak Zygmund type spaces, and obtain an optimal sufficient condition for the existence of solutions to the critical fractional semilinear heat equation. △ Less

Submitted 22 February, 2024; originally announced February 2024.

Steenbrink type vanishing for surfaces in positive characteristic

Authors: Tatsuro Kawakami

Abstract: Let $(X,B)$ be a pair of a normal surface over a perfect field of characteristic $p>0$ and an effective $\mathbb{Q}$-divisor $B$ on $X$. We prove that Steenbrink type vanishing holds for $(X,B)$ if it is lc and $p>5$, or it is $F$-pure. We also show that rational surface singularities satisfying the vanishing are $F$-injective. Let $(X,B)$ be a pair of a normal surface over a perfect field of characteristic $p>0$ and an effective $\mathbb{Q}$-divisor $B$ on $X$. We prove that Steenbrink type vanishing holds for $(X,B)$ if it is lc and $p>5$, or it is $F$-pure. We also show that rational surface singularities satisfying the vanishing are $F$-injective. △ Less

Submitted 12 February, 2024; originally announced February 2024.

Comments: 16 pages

MSC Class: 14F17; 14F10; 14J17

On Frobenius liftability of surface singularities

Authors: Tatsuro Kawakami, Teppei Takamatsu

Abstract: We show that a plt surface singularity $(P\in X,B)$ is $F$-liftable if and only if it is $F$-pure and is not a rational double point of type $E_8^1$ in characteristic $p=5$. As a consequence, we prove the logarithmic extension theorem for $F$-pure surface pairs and Bogomolov-Sommese vanishing for globally $F$-split surface pairs. These results were previously known to hold in characteristic $p>5$. We show that a plt surface singularity $(P\in X,B)$ is $F$-liftable if and only if it is $F$-pure and is not a rational double point of type $E_8^1$ in characteristic $p=5$. As a consequence, we prove the logarithmic extension theorem for $F$-pure surface pairs and Bogomolov-Sommese vanishing for globally $F$-split surface pairs. These results were previously known to hold in characteristic $p>5$. △ Less

Submitted 12 February, 2024; originally announced February 2024.

Comments: 30 pages

MSC Class: 13A35; 14F10; 14B05

The Frobenius--stable version of the Grauert--Riemenschneider vanishing theorem fails

Authors: Jefferson Baudin, Fabio Bernasconi, Tatsuro Kawakami

Abstract: We show that the Frobenius--stable version of the Grauert--Riemenschneider vanishing theorem fails for terminal 3-folds in characteristic 2. To prove this, we introduce the notion of $\mathbb{F}_p$-rationality for singularities in positive characteristic and we show that klt singularities in dimension at most 4 are $\mathbb{F}_p$-rational. We show that the Frobenius--stable version of the Grauert--Riemenschneider vanishing theorem fails for terminal 3-folds in characteristic 2. To prove this, we introduce the notion of $\mathbb{F}_p$-rationality for singularities in positive characteristic and we show that klt singularities in dimension at most 4 are $\mathbb{F}_p$-rational. △ Less

Submitted 20 December, 2023; originally announced December 2023.

Comments: 23 pages, comments are welcome

Quasi-F-splittings in birational geometry II

Authors: Tatsuro Kawakami, Teppei Takamatsu, Hiromu Tanaka, Jakub Witaszek, Fuetaro Yobuko, Shou Yoshikawa

Abstract: Over an algebraically closed field of characteristic $p>41$, we prove that three-dimensional $\mathbb Q$-factorial affine klt varieties are quasi-$F$-split. Furthermore, we show that the bound on the characteristic is optimal. Over an algebraically closed field of characteristic $p>41$, we prove that three-dimensional $\mathbb Q$-factorial affine klt varieties are quasi-$F$-split. Furthermore, we show that the bound on the characteristic is optimal. △ Less

Submitted 20 April, 2024; v1 submitted 26 February, 2023; originally announced February 2023.

Comments: 81 pages, typos in Notation 6.1 corrected, final version, to appear in Proceedings of the London Mathematical Society

MSC Class: 14E30; 13A35

Endomorphisms of varieties and Bott vanishing

Authors: Tatsuro Kawakami, Burt Totaro

Abstract: We show that a projective variety with an int-amplified endomorphism of degree invertible in the base field satisfies Bott vanishing. This is a new way to analyze which varieties have nontrivial endomorphisms. In particular, we extend some classification results on varieties admitting endomorphisms (for Fano threefolds of Picard number one and several other cases) to any characteristic. The classi… ▽ More We show that a projective variety with an int-amplified endomorphism of degree invertible in the base field satisfies Bott vanishing. This is a new way to analyze which varieties have nontrivial endomorphisms. In particular, we extend some classification results on varieties admitting endomorphisms (for Fano threefolds of Picard number one and several other cases) to any characteristic. The classification results in characteristic zero are due to Amerik-Rovinsky-Van de Ven, Hwang-Mok, Paranjape-Srinivas, Beauville, and Shao-Zhong. Our method also bounds the degree of morphisms into a given variety. Finally, we relate endomorphisms to global $F$-regularity. △ Less

Submitted 13 April, 2024; v1 submitted 23 February, 2023; originally announced February 2023.

Comments: v5, Comments: 21 pages; v2: new title, author added, and several new results, v3: minor changes, v4 Section 5 added, some results strengthened, v5 added a case missed in Prop 3.12

MSC Class: 14F17; 14J45; 14J70; 08A35

Approximation and zero set of definable functions in a definably complete locally o-minimal structure

Authors: Masato Fujita, Tomohiro Kawakami

Abstract: We consider a definably complete locally o-minimal expansion of an ordered field. We treat two topics in this paper. The first topic is a definable $\mathcal C^r$ approximation of a definable $\mathcal C^{r-1}$ map between definable $\mathcal C^r$ submanifolds in the definable $\mathcal C^{r-1}$ topology. The second topic is the imbedding theorem for definably compact definable $\mathcal C^r$ mani… ▽ More We consider a definably complete locally o-minimal expansion of an ordered field. We treat two topics in this paper. The first topic is a definable $\mathcal C^r$ approximation of a definable $\mathcal C^{r-1}$ map between definable $\mathcal C^r$ submanifolds in the definable $\mathcal C^{r-1}$ topology. The second topic is the imbedding theorem for definably compact definable $\mathcal C^r$ manifolds. We demonstrate that a definably normal definable $\mathcal C^r$ manifold is a definably $\mathcal C^r$ diffeomorphic to a definable $\mathcal C^r$ submanifold. It enables us to show that the definable quotient of a definably compact definable $\mathcal C^r$ group by a definable subgroup exists. △ Less

Submitted 20 September, 2023; v1 submitted 10 January, 2023; originally announced January 2023.

MSC Class: Primary 03C64; Secondary 57R40; 54B15

Definable quotients in locally o-minimal structures

Authors: Masato Fujita, Tomohiro Kawakami

Abstract: Let $\mathcal F=(F, +. \cdot, <, 0, 1, \dots)$ be a definably complete locally o-minimal expansion of an ordered field. We demonstrate the existence of definable quotients of definable sets by definable equivalence relations when several technical conditions are satisfied. These conditions are satisfied when $X$ is a locally closed definable subset of $F^n$ and there is a definable proper action o… ▽ More Let $\mathcal F=(F, +. \cdot, <, 0, 1, \dots)$ be a definably complete locally o-minimal expansion of an ordered field. We demonstrate the existence of definable quotients of definable sets by definable equivalence relations when several technical conditions are satisfied. These conditions are satisfied when $X$ is a locally closed definable subset of $F^n$ and there is a definable proper action of a definable group $G$ on $X$. △ Less

Submitted 13 December, 2022; originally announced December 2022.

MSC Class: 03C64; 54B15; 57S99

On the Kawamata-Viehweg vanishing theorem for log Calabi-Yau surfaces in large characteristic

Authors: Tatsuro Kawakami

Abstract: We prove that the Kawamata-Viehweg vanishing theorem holds for a log Calabi-Yau surface $(X, B)$ over an algebraically closed field of large characteristic when $B$ has standard coefficients. We prove that the Kawamata-Viehweg vanishing theorem holds for a log Calabi-Yau surface $(X, B)$ over an algebraically closed field of large characteristic when $B$ has standard coefficients. △ Less

Submitted 25 October, 2023; v1 submitted 16 November, 2022; originally announced November 2022.

Comments: 15 pages, final version, to appear in Annales de l'Institut Fourier

MSC Class: 14F17; 14E30; 14D15

Solvability of the heat equation on a half-space with a dynamical boundary condition and unbounded initial data

Authors: Marek Fila, Kazuhiro Ishige, Tatsuki Kawakami

Abstract: We study the linear heat equation on a halfspace with a linear dynamical boundary condition. We are interested in an appropriate choice of the function space of initial functions such that the problem possesses a solution. It was known before that bounded initial data guarantee solvability. Here we extend that result by showing that data from a weighted Lebesgue space will also do so. We study the linear heat equation on a halfspace with a linear dynamical boundary condition. We are interested in an appropriate choice of the function space of initial functions such that the problem possesses a solution. It was known before that bounded initial data guarantee solvability. Here we extend that result by showing that data from a weighted Lebesgue space will also do so. △ Less

Submitted 26 October, 2022; originally announced October 2022.

Quasi-F-splittings in birational geometry

Authors: Tatsuro Kawakami, Teppei Takamatsu, Hiromu Tanaka, Jakub Witaszek, Fuetaro Yobuko, Shou Yoshikawa

Abstract: We develop the theory of quasi-$F$-splittings in the context of birational geometry. Amongst other things, we obtain results on liftability of sections and establish a criterion for whether a scheme is quasi-$F$-split employing the higher Cartier operator. As one of the applications of our theory, we prove that three-dimensional klt singularities in large characteristic are quasi-$F$-split, and so… ▽ More We develop the theory of quasi-$F$-splittings in the context of birational geometry. Amongst other things, we obtain results on liftability of sections and establish a criterion for whether a scheme is quasi-$F$-split employing the higher Cartier operator. As one of the applications of our theory, we prove that three-dimensional klt singularities in large characteristic are quasi-$F$-split, and so, in particular, they lift modulo $p^2$. △ Less

Submitted 16 August, 2022; originally announced August 2022.

Comments: 81 pages

MSC Class: 14E30; 13A35

Extendability of differential forms via Cartier operators

Authors: Tatsuro Kawakami

Abstract: Let $X$ be a normal variety over a perfect field of positive characteristic and $B$ a reduced divisor on $X$. We prove that if the Cartier isomorphism on the log smooth locus of $(X,B)$ extends to the entire $X$, then $(X,B)$ satisfies the logarithmic extension theorem for differential forms. As an application, we show that the logarithmic extension theorem holds for good quotients of smooth varie… ▽ More Let $X$ be a normal variety over a perfect field of positive characteristic and $B$ a reduced divisor on $X$. We prove that if the Cartier isomorphism on the log smooth locus of $(X,B)$ extends to the entire $X$, then $(X,B)$ satisfies the logarithmic extension theorem for differential forms. As an application, we show that the logarithmic extension theorem holds for good quotients of smooth varieties by actions of reduced linearly reductive group schemes. In addition, the logarithmic extension theorem for one-forms holds for singularities of higher codimension under assumptions about Serre's condition. We also prove that tame quotients satisfy the regular extension theorem. △ Less

Submitted 25 October, 2023; v1 submitted 28 July, 2022; originally announced July 2022.

Comments: 18 pages, final version, to appear in Journal of the European Mathematical Society (JEMS)

MSC Class: 14F10; 13A35; 14B05

Lifting globally $F$-split surfaces to characteristic zero

Authors: Fabio Bernasconi, Iacopo Brivio, Tatsuro Kawakami, Jakub Witaszek

Abstract: We prove that every globally $F$-split surface admits an equisingular lifting over the ring of Witt vectors. We prove that every globally $F$-split surface admits an equisingular lifting over the ring of Witt vectors. △ Less

Submitted 13 November, 2022; v1 submitted 3 May, 2022; originally announced May 2022.

Comments: v2: 51 pages, improved proofs and exposition

Fedder type criteria for quasi-$F$-splitting

Authors: Tatsuro Kawakami, Teppei Takamatsu, Shou Yoshikawa

Abstract: Yobuko recently introduced the notion of quasi-$F$-splitting and $F$-split heights, which generalize and quantify the notion of Frobenius-splitting, and proved that $F$-split heights coincide with Artin-Mazur heights for Calabi-Yau varieties. In this paper, we prove Fedder type criteria of quasi-$F$-splittings of complete intersections, and in particular obtain an easy formula to compute Artin-Maz… ▽ More Yobuko recently introduced the notion of quasi-$F$-splitting and $F$-split heights, which generalize and quantify the notion of Frobenius-splitting, and proved that $F$-split heights coincide with Artin-Mazur heights for Calabi-Yau varieties. In this paper, we prove Fedder type criteria of quasi-$F$-splittings of complete intersections, and in particular obtain an easy formula to compute Artin-Mazur heights of Calabi-Yau hypersurfaces. Moreover, as applications, we give explicit examples of quartic K3 surfaces over $\mathbb{F}_{3}$ realizing all the possible Artin-Mazur heights, we provide explicit computations of $F$-split heights for all the rational double points and bielliptic surfaces, and introduce interesting phenomena concerned with inversion of adjunction, fiber products, Fano varieties, and general fibers of fibrations. △ Less

Submitted 27 July, 2022; v1 submitted 21 April, 2022; originally announced April 2022.

Comments: 76 page, notation changed

Report number: RIKEN-iTHEMS-Report-22 MSC Class: 13A35; 13F35; 14J32; 14B05

Affiness of topological space definable in a definably complete uniformly locally o-minimal structure of the second kind

Authors: Masato Fujita, Tomohiro Kawakami

Abstract: We give a necessary and sufficient condition for a one-dimensional regular and Hausdorff topological space definable in a definably complete uniformly locally o-minimal structure of the second kind having definable bounded multiplication being affine. We give a necessary and sufficient condition for a one-dimensional regular and Hausdorff topological space definable in a definably complete uniformly locally o-minimal structure of the second kind having definable bounded multiplication being affine. △ Less

Submitted 29 October, 2021; originally announced October 2021.

MSC Class: 03C64

Tameness of definably complete locally o-minimal structures and definable bounded multiplication

Authors: Masato Fujita, Tomohiro Kawakami, Wataru Komine

Abstract: We first show that the projection image of a discrete definable set is again discrete for an arbitrary definably complete locally o-minimal structure. This fact together with the results in a previous paper implies tame dimension theory and decomposition theorem into good-shaped definable subsets called quasi-special submanifolds. Using this fact, in the latter part of this paper, we investigate d… ▽ More We first show that the projection image of a discrete definable set is again discrete for an arbitrary definably complete locally o-minimal structure. This fact together with the results in a previous paper implies tame dimension theory and decomposition theorem into good-shaped definable subsets called quasi-special submanifolds. Using this fact, in the latter part of this paper, we investigate definably complete locally o-minimal expansions of ordered groups when the restriction of multiplication to an arbitrary bounded open box is definable. Similarly to o-minimal expansions of ordered fields, Łojasiewicz's inequality, Tietze extension theorem and affiness of psudo-definable spaces hold true for such structures under the extra assumption that the domains of definition and the psudo-definable spaces are definably compact. Here, a pseudo-definable space is a topological spaces having finite definable atlases. We also demonstrate Michael's selection theorem for definable set-valued functions with definably compact domains of definition. △ Less

Submitted 29 October, 2021; originally announced October 2021.

MSC Class: 03C64

Journal ref: Math. Logic. Quart. vol.68(4), 496-515, 2022

Refined asymptotic expansions of solutions to fractional diffusion equations

Authors: Kazuhiro Ishige, Tatsuki Kawakami

Abstract: In this paper, as an improvement of the paper [K. Ishige, T. Kawakami and H. Michihisa, SIAM J. Math. Anal. 49 (2017) pp. 2167--2190], we obtain the higher order asymptotic expansions of the large time behavior of the solution to the Cauchy problem for inhomogeneous fractional diffusion equations and nonlinear fractional diffusion equations. In this paper, as an improvement of the paper [K. Ishige, T. Kawakami and H. Michihisa, SIAM J. Math. Anal. 49 (2017) pp. 2167--2190], we obtain the higher order asymptotic expansions of the large time behavior of the solution to the Cauchy problem for inhomogeneous fractional diffusion equations and nonlinear fractional diffusion equations. △ Less

Submitted 29 September, 2021; originally announced September 2021.

Bogomolov-Sommese vanishing and liftability for surface pairs in positive characteristic

Authors: Tatsuro Kawakami

Abstract: We show that the Bogomolov-Sommese vanishing theorem holds for a log canonical projective surface in large characteristic unless the Iitaka dimension of the round-down of the log canonical divisor is not equal to two. As an application, we prove that a log resolution of a pair of a normal projective surface and a reduced divisor in large characteristic lifts to the ring of Witt vectors when the Ii… ▽ More We show that the Bogomolov-Sommese vanishing theorem holds for a log canonical projective surface in large characteristic unless the Iitaka dimension of the round-down of the log canonical divisor is not equal to two. As an application, we prove that a log resolution of a pair of a normal projective surface and a reduced divisor in large characteristic lifts to the ring of Witt vectors when the Iitaka dimension of the log canonical divisor is less than or equal to zero. Moreover, we give explicit and optimal bounds on the characteristic unless their Iitaka dimensions are equal to zero. △ Less

Submitted 9 August, 2022; v1 submitted 8 August, 2021; originally announced August 2021.

Comments: 29 pages, final version, to appear in Advances in Mathematics

MSC Class: 14F17; 14D15; 14E30; 14F10

On weak solutions to a fractional Hardy-Hénon equation: Part II: Existence

Authors: Shoichi Hasegawa, Norihisa Ikoma, Tatsuki Kawakami

Abstract: This paper and [29] treat the existence and nonexistence of stable weak solutions to a fractional Hardy--Hénon equation $(-Δ)^s u = |x|^\ell |u|^{p-1} u$ in $\mathbb{R}^N$, where $0 < s < 1$, $\ell > -2s$, $p>1$, $N \geq 1$ and $N > 2s$. In this paper, when $p$ is critical or supercritical in the sense of the Joseph--Lundgren, we prove the existence of a family of positive radial stable solutions,… ▽ More This paper and [29] treat the existence and nonexistence of stable weak solutions to a fractional Hardy--Hénon equation $(-Δ)^s u = |x|^\ell |u|^{p-1} u$ in $\mathbb{R}^N$, where $0 < s < 1$, $\ell > -2s$, $p>1$, $N \geq 1$ and $N > 2s$. In this paper, when $p$ is critical or supercritical in the sense of the Joseph--Lundgren, we prove the existence of a family of positive radial stable solutions, which satisfies the separation property. We also show the multiple existence of the Joseph--Lundgren critical exponent for some $\ell \in (0,\infty)$ and $s \in (0,1)$, and this property does not hold in the case $s=1$. △ Less

Submitted 11 February, 2021; originally announced February 2021.

Comments: 52 pages

MSC Class: 35R11; 35B09; 35B33; 35B35; 35D30

Journal ref: Nonlinear Analysis, Volume 227, February 2023, 113165

Existence of solutions to nonlinear parabolic equations via majorant integral kernel

Authors: Kazuhiro Ishige, Tatsuki Kawakami, Shinya Okabe

Abstract: We establish the existence of solutions to the Cauchy problem for a large class of nonlinear parabolic equations including fractional semilinear parabolic equations, higher-order semilinear parabolic equations, and viscous Hamilton-Jacobi equations by using the majorant kernel introduced in [K. Ishige, T. Kawakami, and S. Okabe, Ann. Inst. H. Poincaré Anal. Non Linéaire 37 (2020), 1185--1209]. We establish the existence of solutions to the Cauchy problem for a large class of nonlinear parabolic equations including fractional semilinear parabolic equations, higher-order semilinear parabolic equations, and viscous Hamilton-Jacobi equations by using the majorant kernel introduced in [K. Ishige, T. Kawakami, and S. Okabe, Ann. Inst. H. Poincaré Anal. Non Linéaire 37 (2020), 1185--1209]. △ Less

Submitted 16 January, 2021; originally announced January 2021.

Classification of Du Val del Pezzo surfaces of Picard rank one in characteristic two and three

Authors: Tatsuro Kawakami, Masaru Nagaoka

Abstract: In this paper, we classify Du Val del Pezzo surfaces of Picard rank one in characteristic two and three. We also show that if a Du Val del Pezzo surface is Frobenius split, then a general anti-canonical member is smooth. Furthermore, in characteristic two, it is an ordinary elliptic curve. In this paper, we classify Du Val del Pezzo surfaces of Picard rank one in characteristic two and three. We also show that if a Du Val del Pezzo surface is Frobenius split, then a general anti-canonical member is smooth. Furthermore, in characteristic two, it is an ordinary elliptic curve. △ Less

Submitted 25 October, 2023; v1 submitted 17 December, 2020; originally announced December 2020.

Comments: 21 pages, final version, to appear in Journal of Algebra. arXiv admin note: substantial text overlap with arXiv:2008.07700

MSC Class: 14J26; 13A35; 14G17; 14J45

Pathologies and liftability of Du Val del Pezzo surfaces in positive characteristic

Authors: Tatsuro Kawakami, Masaru Nagaoka

Abstract: In this paper, we study pathologies of Du Val del Pezzo surfaces defined over an algebraically closed field of positive characteristic by relating them to their non-liftability to the ring of Witt vectors. More precisely, we investigate the condition (NB): all the anti-canonical divisors are singular, (ND): there are no Du Val del Pezzo surfaces over the field of complex numbers with the same Dynk… ▽ More In this paper, we study pathologies of Du Val del Pezzo surfaces defined over an algebraically closed field of positive characteristic by relating them to their non-liftability to the ring of Witt vectors. More precisely, we investigate the condition (NB): all the anti-canonical divisors are singular, (ND): there are no Du Val del Pezzo surfaces over the field of complex numbers with the same Dynkin type, Picard rank, and anti-canonical degree, (NK): there exists an ample $\mathbb{Z}$-divisor which violates the Kodaira vanishing theorem for $\mathbb{Z}$-divisors, and (NL): the pair $(Y, E)$ does not lift to the ring of Witt vectors, where $Y$ is the minimal resolution and $E$ is its reduced exceptional divisor. As a result, for each of these conditions, we determine all the Du Val del Pezzo surfaces which satisfy the given one. △ Less

Submitted 25 January, 2022; v1 submitted 17 August, 2020; originally announced August 2020.

Comments: 43 pages, v3: the final version. According to the referee's suggestion, we made the paper self-contained. The title was slightly changed. To appear in the Mathematische Zeitschrift

MSC Class: 14J26; 14D15; 14G17; 14J45

On singularity types of del Pezzo surfaces with rational double points in positive characteristic

Authors: Tatsuro Kawakami, Masaru Nagaoka

Abstract: In this paper, we prove that a pair of the minimal resolution of a del Pezzo surface with rational double points whose general anti-canonical member is smooth and its exceptional divisor lifts to the Witt ring. We also classify a del Pezzo surface with rational double points whose anti-canonical members are all singular. As a corollary, we determine all singularity types of del Pezzo surfaces with… ▽ More In this paper, we prove that a pair of the minimal resolution of a del Pezzo surface with rational double points whose general anti-canonical member is smooth and its exceptional divisor lifts to the Witt ring. We also classify a del Pezzo surface with rational double points whose anti-canonical members are all singular. As a corollary, we determine all singularity types of del Pezzo surfaces with rational double points which only appear in positive characteristic. △ Less

Submitted 17 August, 2020; v1 submitted 8 June, 2020; originally announced June 2020.

Comments: This preprint has been withdrawn by the authors because all results have been contained in our new preprint

MSC Class: 14J26; 14J45; 14G17

On weak solutions to a fractional Hardy--Hénon equation: Part I: Nonexistence

Authors: Shoichi Hasegawa, Norihisa Ikoma, Tatsuki Kawakami

Abstract: This paper and [17] treat the existence and nonexistence of stable (resp. outside stable) weak solutions to a fractional Hardy--Hénon equation $(-Δ)^s u = |x|^\ell |u|^{p-1} u$ in $\mathbb{R}^N$ where $0 < s < 1$, $\ell > -2s$, $p>1$, $N \geq 1$ and $N > 2s$. In this paper, the nonexistence part is proved for the Joseph--Lundgren subcritical case. This paper and [17] treat the existence and nonexistence of stable (resp. outside stable) weak solutions to a fractional Hardy--Hénon equation $(-Δ)^s u = |x|^\ell |u|^{p-1} u$ in $\mathbb{R}^N$ where $0 < s < 1$, $\ell > -2s$, $p>1$, $N \geq 1$ and $N > 2s$. In this paper, the nonexistence part is proved for the Joseph--Lundgren subcritical case. △ Less

Submitted 5 January, 2021; v1 submitted 21 April, 2020; originally announced April 2020.

MSC Class: 35R11; 35J61; 35B33; 35B53; 35D30

Journal ref: Communications on Pure and Applied Analysis 20 (2021), no. 4, 1559-1600

On Kawamata--Viehweg type vanishing for three dimensional Mori fiber spaces in positive characteristic

Authors: Tatsuro Kawakami

Abstract: In this paper, we prove a Kawamata--Viehweg type vanishing theorem for smooth Fano threefolds, canonical del Pezzo surfaces and del Pezzo fibrations in positive characteristic. In this paper, we prove a Kawamata--Viehweg type vanishing theorem for smooth Fano threefolds, canonical del Pezzo surfaces and del Pezzo fibrations in positive characteristic. △ Less

Submitted 30 November, 2020; v1 submitted 13 April, 2020; originally announced April 2020.

Comments: 21 pages, to appear in Transactions of the American Mathematical Society

MSC Class: 14F17; 14J45; 14E30; 14J26

The large diffusion limit for the heat equation in the exterior of the unit ball with a dynamical boundary condition

Authors: Marek Fila, Kazuhiro Ishige, Tatsuki Kawakami, Johannes Lankeit

Abstract: We study the heat equation in the exterior of the unit ball with a linear dynamical boundary condition. Our main aim is to find upper and lower bounds for the rate of convergence to solutions of the Laplace equation with the same dynamical boundary condition as the diffusion coefficient tends to infinity. We study the heat equation in the exterior of the unit ball with a linear dynamical boundary condition. Our main aim is to find upper and lower bounds for the rate of convergence to solutions of the Laplace equation with the same dynamical boundary condition as the diffusion coefficient tends to infinity. △ Less

Submitted 8 April, 2020; originally announced April 2020.

MSC Class: 35K05; 35B40

Nonexistence of radial optimal functions for the Sobolev inequality on Cartan-Hadamard manifolds

Authors: Tatsuki Kawakami, Matteo Muratori

Abstract: It is well known that the Euclidean Sobolev inequality holds on any Cartan-Hadamard manifold of dimension $ n\ge 3 $, i.e. any complete, simply connected Riemannian manifold with nonpositive sectional curvature. As a byproduct of the Cartan-Hadamard conjecture, a longstanding problem in the mathematical literature settled only very recently in a breakthrough paper by Ghomi and Spruck, we can now a… ▽ More It is well known that the Euclidean Sobolev inequality holds on any Cartan-Hadamard manifold of dimension $ n\ge 3 $, i.e. any complete, simply connected Riemannian manifold with nonpositive sectional curvature. As a byproduct of the Cartan-Hadamard conjecture, a longstanding problem in the mathematical literature settled only very recently in a breakthrough paper by Ghomi and Spruck, we can now assert that the optimal constant is also Euclidean, namely it coincides with the one achieved in the Euclidean space $ \mathbb{R}^n $ by the Aubin-Talenti functions. One may ask whether there exist at all optimal functions on a generic Cartan-Hadamard manifold $ \mathbb{M}^n $. What we prove here, with ad hoc arguments that do not take advantage of the validity of the Cartan-Hadamard conjecture, is that this is false at least for functions that are radially symmetric with respect to the geodesic distance from a fixed pole. More precisely, we show that if the optimum in the Sobolev inequality is achieved by some radial function, then $\mathbb{M}^n $ must be isometric to $ \mathbb{R}^n $. △ Less

Submitted 1 March, 2020; originally announced March 2020.

MSC Class: 58J70

Bogomolov--Sommese type vanishing for globally $F$-regular threefolds

Authors: Tatsuro Kawakami

Abstract: In this paper, we show that every invertible subsheaf of the cotangent bundle of a smooth globally $F$-regular threefold of characteristic $p>3$ has Iitaka dimension less than or equal to one. In this paper, we show that every invertible subsheaf of the cotangent bundle of a smooth globally $F$-regular threefold of characteristic $p>3$ has Iitaka dimension less than or equal to one. △ Less

Submitted 22 March, 2021; v1 submitted 19 November, 2019; originally announced November 2019.

Comments: 15 pages, to appear in Mathematische Zeitschrift

MSC Class: 14F17; 13A35

Critical behavior for a semilinear parabolic equation with forcing term depending of time and space

Authors: Mohamed Jleli, Tatsuki Kawakami, Bessem Samet

Abstract: We investigate the large-time behavior of the sign-changing solution of the inhomogeneous semilinear heat equation with a forcing term depending of time and space. we identify the critical exponent for this problem, which separates the nonexistence/existence of global-in-time solutions, and show the discontinuity of this critical exponent at the point which the inhomogeneous term becomes independe… ▽ More We investigate the large-time behavior of the sign-changing solution of the inhomogeneous semilinear heat equation with a forcing term depending of time and space. we identify the critical exponent for this problem, which separates the nonexistence/existence of global-in-time solutions, and show the discontinuity of this critical exponent at the point which the inhomogeneous term becomes independent of time variable. △ Less

Submitted 21 October, 2019; v1 submitted 19 October, 2019; originally announced October 2019.

Existence of solutions for a higher-order semilinear parabolic equation with singular initial data

Authors: Kazuhiro Ishige, Tatsuki Kawakami, Shinya Okabe

Abstract: We establish the existence of solutions of the Cauchy problem for a higher-order semilinear parabolic equation by introducing a new majorizing kernel. We also study necessary conditions on the initial data for the existence of local-in-time solutions and identify the strongest singularity of the initial data for the solvability of the Cauchy problem. We establish the existence of solutions of the Cauchy problem for a higher-order semilinear parabolic equation by introducing a new majorizing kernel. We also study necessary conditions on the initial data for the existence of local-in-time solutions and identify the strongest singularity of the initial data for the solvability of the Cauchy problem. △ Less

Submitted 12 September, 2019; originally announced September 2019.

Rate of convergence in the large diffusion limit for the heat equation with a dynamical boundary condition

Authors: Marek Fila, Kazuhiro Ishige, Tatsuki Kawakami, Johannes Lankeit

Abstract: We study the heat equation on a half-space or on an exterior domain with a linear dynamical boundary condition. Our main aim is to establish the rate of convergence to solutions of the Laplace equation with the same dynamical boundary condition as the diffusion coefficient tends to infinity. We study the heat equation on a half-space or on an exterior domain with a linear dynamical boundary condition. Our main aim is to establish the rate of convergence to solutions of the Laplace equation with the same dynamical boundary condition as the diffusion coefficient tends to infinity. △ Less

Submitted 31 December, 2018; originally announced January 2019.

MSC Class: 35K05; 35B40

The large diffusion limit for the heat equation with a dynamical boundary condition

Authors: Marek Fila, Kazuhiro Ishige, Tatsuki Kawakami

Abstract: We study the heat equation on a half-space with a linear dynamical boundary condition. Our main aim is to show that, if the diffusion coefficient tends to infinity, then the solutions converge (in a suitable sense) to solutions of the Laplace equation with the same dynamical boundary condition. We study the heat equation on a half-space with a linear dynamical boundary condition. Our main aim is to show that, if the diffusion coefficient tends to infinity, then the solutions converge (in a suitable sense) to solutions of the Laplace equation with the same dynamical boundary condition. △ Less

Submitted 16 June, 2018; originally announced June 2018.

Critical exponent for the global existence of solutions to a nonlinear degenerate/singular parabolic equation

Authors: Yohei Fujishima, Tatsuki Kawakami, Yannick Sire

Abstract: We investigate a non-homogeneous nonlinear heat equation which involves degenerate or singular coefficients belonging to the $A_2$ class of functions. We prove the existence of a Fujita exponent and describe the dichotomy existence/non-existence of global in time solutions. The $A_2$ coefficient admits either a singularity at the origin or a line of singularities. In this latter case, the problem… ▽ More We investigate a non-homogeneous nonlinear heat equation which involves degenerate or singular coefficients belonging to the $A_2$ class of functions. We prove the existence of a Fujita exponent and describe the dichotomy existence/non-existence of global in time solutions. The $A_2$ coefficient admits either a singularity at the origin or a line of singularities. In this latter case, the problem is related to the fractional laplacian, through the Caffarelli-Silvestre extension and is a first attempt to develop a parabolic theory in this setting. △ Less

Submitted 29 November, 2017; originally announced November 2017.

Asymptotic expansions of solutions of fractional diffusion equations

Authors: Kazuhiro Ishige, Tatsuki Kawakami, Hironori Michihisa

Abstract: In this paper we obtain the precise description of the asymptotic behavior of the solution $u$ of $$ \partial_t u+(-Δ)^{\fracθ{2}}u=0\quad\mbox{in}\quad{\bf R}^N\times(0,\infty), \qquad u(x,0)=\varphi(x)\quad\mbox{in}\quad{\bf R}^N, $$ where $0<θ<2$ and $\varphi\in L_K:=L^1({\bf R}^N,\,(1+|x|)^K\,dx)$ with $K\ge 0$. Furthermore, we develop the arguments in [15] and [18] and establish a method to o… ▽ More In this paper we obtain the precise description of the asymptotic behavior of the solution $u$ of $$ \partial_t u+(-Δ)^{\fracθ{2}}u=0\quad\mbox{in}\quad{\bf R}^N\times(0,\infty), \qquad u(x,0)=\varphi(x)\quad\mbox{in}\quad{\bf R}^N, $$ where $0<θ<2$ and $\varphi\in L_K:=L^1({\bf R}^N,\,(1+|x|)^K\,dx)$ with $K\ge 0$. Furthermore, we develop the arguments in [15] and [18] and establish a method to obtain the asymptotic expansions of the solutions to a nonlinear fractional diffusion equation $$ \partial_t u+(-Δ)^{\fracθ{2}}u=|u|^{p-1}u\quad\mbox{in}\quad{\bf R}^N\times(0,\infty), $$ where $0<θ<2$ and $p>1+θ/N$. △ Less

Submitted 31 October, 2016; originally announced October 2016.

MSC Class: 35C20; 35R11; 35K58; 35B44

Asymptotic Behavior and Decay Estimates of the Solutions for a Nonlinear Parabolic Equation with Exponential Nonlinearity

Authors: Giulia Furioli, Tatsuki Kawakami, Bernhard Ruf, Elide Terraneo

Abstract: We consider a nonlinear parabolic equation with an exponential nonlinearity which is critical with respect to the growth of the nonlinearity and the regularity of the initial data. After showing the equivalence of the notions of weak and mild solutions, we derive decay estimates and the asymptotic behavior for small global-in-time solutions. We consider a nonlinear parabolic equation with an exponential nonlinearity which is critical with respect to the growth of the nonlinearity and the regularity of the initial data. After showing the equivalence of the notions of weak and mild solutions, we derive decay estimates and the asymptotic behavior for small global-in-time solutions. △ Less

Submitted 24 June, 2016; originally announced June 2016.

Higher order asymptotic expansions to the solutions for a nonlinear damped wave equation

Authors: Tatsuki Kawakami, Hiroshi Takeda

Abstract: We study the Cauchy problem for a nonlinear damped wave equation. Under suitable assumptions for the nonlinearity and the initial data, we obtain the global solution which satisfies weighted $L^1$ and $L^\infty$ estimates. Furthermore, we establish the higher order asymptotic expansion of the solution. This means that we construct the nonlinear approximation of the global solution with respect to… ▽ More We study the Cauchy problem for a nonlinear damped wave equation. Under suitable assumptions for the nonlinearity and the initial data, we obtain the global solution which satisfies weighted $L^1$ and $L^\infty$ estimates. Furthermore, we establish the higher order asymptotic expansion of the solution. This means that we construct the nonlinear approximation of the global solution with respect to the weight of the data. Our proof is based on the approximation formula of the linear solution, which is given in [36], and the nonlinear approximation theory for a nonlinear parabolic equation developed by [18]. △ Less

Submitted 14 April, 2016; originally announced April 2016.

Supersolutions for a class of nonlinear parabolic systems

Authors: Kazuhiro Ishige, Tatsuki Kawakami, Mikołaj Sierżȩga

Abstract: In this paper, by using scalar nonlinear parabolic equations, we construct supersolutions for a class of nonlinear parabolic systems including $$ \left\{\begin{array}{ll} \partial_t u=Δu+v^p,\qquad & x\inΩ,\,\,\,t>0,\\ \partial_t v=Δv+u^q, & x\inΩ,\,\,\,t>0,\\ u=v=0, & x\in\partialΩ,\,\,\,t>0,\\ (u(x,0), v(x,0))=(u_0(x),v_0(x)), & x\inΩ, \end{array} \right. $$ where $p\ge 0$, $q\ge 0$, $Ω$ is a (p… ▽ More In this paper, by using scalar nonlinear parabolic equations, we construct supersolutions for a class of nonlinear parabolic systems including $$ \left\{\begin{array}{ll} \partial_t u=Δu+v^p,\qquad & x\inΩ,\,\,\,t>0,\\ \partial_t v=Δv+u^q, & x\inΩ,\,\,\,t>0,\\ u=v=0, & x\in\partialΩ,\,\,\,t>0,\\ (u(x,0), v(x,0))=(u_0(x),v_0(x)), & x\inΩ, \end{array} \right. $$ where $p\ge 0$, $q\ge 0$, $Ω$ is a (possibly unbounded) smooth domain in ${\bf R}^N$ and both $u_0$ and $v_0$ are nonnegative and locally integrable functions in $Ω$. The supersolutions enable us to obtain optimal sufficient conditions for the existence of the solutions and optimal lower estimates of blow-up rate of the solutions. △ Less

Submitted 27 October, 2015; originally announced October 2015.

Existence of mild solutions for the Hamilton-Jacobi equation with critical fractional viscosity in the Besov spaces

Authors: Tsukasa Iwabuchi, Tatsuki Kawakami

Abstract: We consider the Cauchy problem for the Hamilton-Jacobi equation with critical dissipation, $$ \partial_t u + (-Δ)^{ 1/2} u = |\nabla u|^p, \quad x \in \mathbb R^N, t > 0, \qquad u(x,0) = u_0(x) , \quad x \in \mathbb R^N, $$ where $p > 1$ and $u_0 \in B^1_{r,1}(\mathbb R^N) \cap B^1_{\infty,1} (\mathbb R^N)$ with $r \in [1,\infty]$. We show that for sufficiently small… ▽ More We consider the Cauchy problem for the Hamilton-Jacobi equation with critical dissipation, $$ \partial_t u + (-Δ)^{ 1/2} u = |\nabla u|^p, \quad x \in \mathbb R^N, t > 0, \qquad u(x,0) = u_0(x) , \quad x \in \mathbb R^N, $$ where $p > 1$ and $u_0 \in B^1_{r,1}(\mathbb R^N) \cap B^1_{\infty,1} (\mathbb R^N)$ with $r \in [1,\infty]$. We show that for sufficiently small $u_0 \in \dot B^1_{\infty,1}(\mathbb R^N)$, there exists a global-in-time mild solution. Furthermore, we prove that the solution behaves asymptotically like suitable multiplies of the Poisson kernel. △ Less

Submitted 18 September, 2015; originally announced September 2015.

When does the heat equation have a solution with a sequence of similar level sets?

Authors: Tatsuki Kawakami, Shigeru Sakaguchi

Abstract: In this paper we consider the overdetermined Cauchy problem for the heat equation. We prove that if the problem has a nontrivial nonnegative solution with a certain sequence of similar level sets, then the solution must be radially symmetric. In this paper we consider the overdetermined Cauchy problem for the heat equation. We prove that if the problem has a nontrivial nonnegative solution with a certain sequence of similar level sets, then the solution must be radially symmetric. △ Less

Submitted 19 May, 2014; v1 submitted 24 March, 2014; originally announced March 2014.

Asymptotics for a nonlinear integral equation with a generalized heat kernel

Authors: Kazuhiro Ishige, Tatsuki Kawakami, Kanako Kobayashi

Abstract: This paper is concerned with a nonlinear integral equation $$ (P)\qquad u(x,t)=\int_{{\bf R}^N}G(x-y,t)\varphi(y)dy+\int_0^t\int_{{\bf R}^N}G(x-y,t-s)f(y,s:u)dyds, \quad $$ where $N\ge 1$, $\varphi\in L^\infty({\bf R}^N)\cap L^1({\bf R}^N,(1+|x|^K)dx)$ for some $K\ge 0$. Here $G=G(x,t)$ is a generalization of the heat kernel. We are interested in the asymptotic expansions of the solution of $(P)$… ▽ More This paper is concerned with a nonlinear integral equation $$ (P)\qquad u(x,t)=\int_{{\bf R}^N}G(x-y,t)\varphi(y)dy+\int_0^t\int_{{\bf R}^N}G(x-y,t-s)f(y,s:u)dyds, \quad $$ where $N\ge 1$, $\varphi\in L^\infty({\bf R}^N)\cap L^1({\bf R}^N,(1+|x|^K)dx)$ for some $K\ge 0$. Here $G=G(x,t)$ is a generalization of the heat kernel. We are interested in the asymptotic expansions of the solution of $(P)$ behaving like a multiple of the integral kernel $G$ as $t\to\infty$. △ Less

Submitted 27 September, 2013; originally announced September 2013.

Asymptotic expansions of the solutions of the Cauchy problem for nonlinear parabolic equations

Authors: Kazuhiro Ishige, Tatsuki Kawakami

Abstract: Let $u$ be a solution of the Cauchy problem for the nonlinear parabolic equation $$ \partial_t u=Δu+F(x,t,u,\nabla u) \quad in \quad{\bf R}^N\times(0,\infty), \quad u(x,0)=\varphi(x)\quad in \quad{\bf R}^N, $$ and assume that the solution $u$ behaves like the Gauss kernel as $t\to\infty$. In this paper, under suitable assumptions of the reaction term $F$ and the initial function $\varphi$, we esta… ▽ More Let $u$ be a solution of the Cauchy problem for the nonlinear parabolic equation $$ \partial_t u=Δu+F(x,t,u,\nabla u) \quad in \quad{\bf R}^N\times(0,\infty), \quad u(x,0)=\varphi(x)\quad in \quad{\bf R}^N, $$ and assume that the solution $u$ behaves like the Gauss kernel as $t\to\infty$. In this paper, under suitable assumptions of the reaction term $F$ and the initial function $\varphi$, we establish the method of obtaining higher order asymptotic expansions of the solution $u$ as $t\to\infty$. This paper is a generalization of our previous paper, and our arguments are applicable to the large class of nonlinear parabolic equations. △ Less

Submitted 5 February, 2012; originally announced February 2012.