-
MHS equilibria in the non-resistive limit to the randomly forced resistive magnetic relaxation equations
Authors:
Ken Abe,
In-Jee Jeong,
Federico Pasqualotto,
Naoki Sato
Abstract:
We consider randomly forced resistive magnetic relaxation equations (MRE) with resistivity $κ>0$ and a force proportional to $\sqrtκ\ $ on the flat $d$-torus $\mathbb{T}^{d}$ for $d\geq 2$. We show the path-wise global well-posedness of the system and the existence of the invariant measures, and construct a random magnetohydrostatic (MHS) equilibrium $B(x)$ in $H^{1}(\mathbb{T}^{d})$ with law…
▽ More
We consider randomly forced resistive magnetic relaxation equations (MRE) with resistivity $κ>0$ and a force proportional to $\sqrtκ\ $ on the flat $d$-torus $\mathbb{T}^{d}$ for $d\geq 2$. We show the path-wise global well-posedness of the system and the existence of the invariant measures, and construct a random magnetohydrostatic (MHS) equilibrium $B(x)$ in $H^{1}(\mathbb{T}^{d})$ with law $D(B)=μ$ as a non-resistive limit $κ\to 0$ of statistically stationary solutions $B_κ(x,t)$. For $d=2$, the measure $μ$ does not concentrate on any compact sets in $H^{1}(\mathbb{T}^{2})$ with finite Hausdorff dimension. In particular, all realizations of the random MHS equilibrium $B(x)$ are almost surely not finite Fourier mode solutions.
△ Less
Submitted 9 June, 2025;
originally announced June 2025.
-
Asymmetric Perturbation in Solving Bilinear Saddle-Point Optimization
Authors:
Kenshi Abe,
Mitsuki Sakamoto,
Kaito Ariu,
Atsushi Iwasaki
Abstract:
This paper proposes an asymmetric perturbation technique for solving saddle-point optimization problems, commonly arising in min-max problems, game theory, and constrained optimization. Perturbing payoffs or values are known to be effective in stabilizing learning dynamics and finding an exact solution or equilibrium. However, it requires careful adjustment of the perturbation magnitude; otherwise…
▽ More
This paper proposes an asymmetric perturbation technique for solving saddle-point optimization problems, commonly arising in min-max problems, game theory, and constrained optimization. Perturbing payoffs or values are known to be effective in stabilizing learning dynamics and finding an exact solution or equilibrium. However, it requires careful adjustment of the perturbation magnitude; otherwise, learning dynamics converge to only an equilibrium. We establish an impossibility result that it almost never reaches an exact equilibrium as long as both players' payoff functions are perturbed. To overcome this, we introduce an asymmetric perturbation approach, where only one player's payoff function is perturbed. This ensures convergence to an equilibrium without requiring parameter adjustments, provided the perturbation strength parameter is sufficiently low. Furthermore, we empirically demonstrate fast convergence toward equilibria in both normal-form and extensive-form games.
△ Less
Submitted 6 June, 2025;
originally announced June 2025.
-
Policy Testing in Markov Decision Processes
Authors:
Kaito Ariu,
Po-An Wang,
Alexandre Proutiere,
Kenshi Abe
Abstract:
We study the policy testing problem in discounted Markov decision processes (MDPs) under the fixed-confidence setting. The goal is to determine whether the value of a given policy exceeds a specified threshold while minimizing the number of observations. We begin by deriving an instance-specific lower bound that any algorithm must satisfy. This lower bound is characterized as the solution to an op…
▽ More
We study the policy testing problem in discounted Markov decision processes (MDPs) under the fixed-confidence setting. The goal is to determine whether the value of a given policy exceeds a specified threshold while minimizing the number of observations. We begin by deriving an instance-specific lower bound that any algorithm must satisfy. This lower bound is characterized as the solution to an optimization problem with non-convex constraints. We propose a policy testing algorithm inspired by this optimization problem--a common approach in pure exploration problems such as best-arm identification, where asymptotically optimal algorithms often stem from such optimization-based characterizations. As for other pure exploration tasks in MDPs, however, the non-convex constraints in the lower-bound problem present significant challenges, raising doubts about whether statistically optimal and computationally tractable algorithms can be designed. To address this, we reformulate the lower-bound problem by interchanging the roles of the objective and the constraints, yielding an alternative problem with a non-convex objective but convex constraints. Strikingly, this reformulated problem admits an interpretation as a policy optimization task in a newly constructed reversed MDP. Leveraging recent advances in policy gradient methods, we efficiently solve this problem and use it to design a policy testing algorithm that is statistically optimal--matching the instance-specific lower bound on sample complexity--while remaining computationally tractable. We validate our approach with numerical experiments.
△ Less
Submitted 21 May, 2025;
originally announced May 2025.
-
Stationary self-similar profiles for the two-dimensional inviscid Boussinesq equations
Authors:
Ken Abe,
Daniel Ginsberg,
In-Jee Jeong
Abstract:
We consider ($-α$)-homogeneous solutions (stationary self-similar solutions of degree $-α$) to the two-dimensional inviscid Boussinesq equations in a half-plane. We show their non-existence and existence with both regular and singular profile functions.
We consider ($-α$)-homogeneous solutions (stationary self-similar solutions of degree $-α$) to the two-dimensional inviscid Boussinesq equations in a half-plane. We show their non-existence and existence with both regular and singular profile functions.
△ Less
Submitted 29 October, 2024;
originally announced October 2024.
-
Time-Varyingness in Auction Breaks Revenue Equivalence
Authors:
Yuma Fujimoto,
Kaito Ariu,
Kenshi Abe
Abstract:
Auction is one of the most representative buying-selling systems. A celebrated study shows that the seller's expected revenue is equal in equilibrium, regardless of the type of auction, typically first-price and second-price auctions. Here, however, we hypothesize that when some auction environments vary with time, this revenue equivalence may not be maintained. In second-price auctions, the equil…
▽ More
Auction is one of the most representative buying-selling systems. A celebrated study shows that the seller's expected revenue is equal in equilibrium, regardless of the type of auction, typically first-price and second-price auctions. Here, however, we hypothesize that when some auction environments vary with time, this revenue equivalence may not be maintained. In second-price auctions, the equilibrium strategy is robustly feasible. Conversely, in first-price auctions, the buyers must continue to adapt their strategies according to the environment of the auction. Surprisingly, we prove that revenue equivalence can be broken in both directions. First-price auctions bring larger or smaller revenue than second-price auctions, case by case, depending on how the value of an item varies. Our experiments also demonstrate revenue inequivalence in various scenarios, where the value varies periodically or randomly. This study uncovers a phenomenon, the breaking of revenue equivalence by the time-varyingness in auctions, that likely occurs in real-world auctions, revealing its underlying mechanism.
△ Less
Submitted 16 October, 2024;
originally announced October 2024.
-
Synchronization in Learning in Periodic Zero-Sum Games Triggers Divergence from Nash Equilibrium
Authors:
Yuma Fujimoto,
Kaito Ariu,
Kenshi Abe
Abstract:
Learning in zero-sum games studies a situation where multiple agents competitively learn their strategy. In such multi-agent learning, we often see that the strategies cycle around their optimum, i.e., Nash equilibrium. When a game periodically varies (called a ``periodic'' game), however, the Nash equilibrium moves generically. How learning dynamics behave in such periodic games is of interest bu…
▽ More
Learning in zero-sum games studies a situation where multiple agents competitively learn their strategy. In such multi-agent learning, we often see that the strategies cycle around their optimum, i.e., Nash equilibrium. When a game periodically varies (called a ``periodic'' game), however, the Nash equilibrium moves generically. How learning dynamics behave in such periodic games is of interest but still unclear. Interestingly, we discover that the behavior is highly dependent on the relationship between the two speeds at which the game changes and at which players learn. We observe that when these two speeds synchronize, the learning dynamics diverge, and their time-average does not converge. Otherwise, the learning dynamics draw complicated cycles, but their time-average converges. Under some assumptions introduced for the dynamical systems analysis, we prove that this behavior occurs. Furthermore, our experiments observe this behavior even if removing these assumptions. This study discovers a novel phenomenon, i.e., synchronization, and gains insight widely applicable to learning in periodic games.
△ Less
Submitted 5 March, 2025; v1 submitted 20 August, 2024;
originally announced August 2024.
-
Global Behavior of Learning Dynamics in Zero-Sum Games with Memory Asymmetry
Authors:
Yuma Fujimoto,
Kaito Ariu,
Kenshi Abe
Abstract:
This study examines the global behavior of dynamics in learning in games between two players, X and Y. We consider the simplest situation for memory asymmetry between two players: X memorizes the other Y's previous action and uses reactive strategies, while Y has no memory. Although this memory complicates their learning dynamics, we characterize the global behavior of such complex dynamics by dis…
▽ More
This study examines the global behavior of dynamics in learning in games between two players, X and Y. We consider the simplest situation for memory asymmetry between two players: X memorizes the other Y's previous action and uses reactive strategies, while Y has no memory. Although this memory complicates their learning dynamics, we characterize the global behavior of such complex dynamics by discovering and analyzing two novel quantities. One is an extended Kullback-Leibler divergence from the Nash equilibrium, a well-known conserved quantity from previous studies. The other is a family of Lyapunov functions of X's reactive strategy. One of the global behaviors we capture is that if X exploits Y, then their strategies converge to the Nash equilibrium. Another is that if Y's strategy is out of equilibrium, then X becomes more exploitative with time. Consequently, we suggest global convergence to the Nash equilibrium from both aspects of theory and experiment. This study provides a novel characterization of the global behavior in learning in games through a couple of indicators.
△ Less
Submitted 4 March, 2025; v1 submitted 23 May, 2024;
originally announced May 2024.
-
Nash Equilibrium and Learning Dynamics in Three-Player Matching $m$-Action Games
Authors:
Yuma Fujimoto,
Kaito Ariu,
Kenshi Abe
Abstract:
Learning in games discusses the processes where multiple players learn their optimal strategies through the repetition of game plays. The dynamics of learning between two players in zero-sum games, such as Matching Pennies, where their benefits are competitive, have already been well analyzed. However, it is still unexplored and challenging to analyze the dynamics of learning among three players.…
▽ More
Learning in games discusses the processes where multiple players learn their optimal strategies through the repetition of game plays. The dynamics of learning between two players in zero-sum games, such as Matching Pennies, where their benefits are competitive, have already been well analyzed. However, it is still unexplored and challenging to analyze the dynamics of learning among three players. In this study, we formulate a minimalistic game where three players compete to match their actions with one another. Although interaction among three players diversifies and complicates the Nash equilibria, we fully analyze the equilibria. We also discuss the dynamics of learning based on some famous algorithms categorized into Follow the Regularized Leader. From both theoretical and experimental aspects, we characterize the dynamics by categorizing three-player interactions into three forces to synchronize their actions, switch their actions rotationally, and seek competition.
△ Less
Submitted 5 March, 2025; v1 submitted 16 February, 2024;
originally announced February 2024.
-
Memory Asymmetry Creates Heteroclinic Orbits to Nash Equilibrium in Learning in Zero-Sum Games
Authors:
Yuma Fujimoto,
Kaito Ariu,
Kenshi Abe
Abstract:
Learning in games considers how multiple agents maximize their own rewards through repeated games. Memory, an ability that an agent changes his/her action depending on the history of actions in previous games, is often introduced into learning to explore more clever strategies and discuss the decision-making of real agents like humans. However, such games with memory are hard to analyze because th…
▽ More
Learning in games considers how multiple agents maximize their own rewards through repeated games. Memory, an ability that an agent changes his/her action depending on the history of actions in previous games, is often introduced into learning to explore more clever strategies and discuss the decision-making of real agents like humans. However, such games with memory are hard to analyze because they exhibit complex phenomena like chaotic dynamics or divergence from Nash equilibrium. In particular, how asymmetry in memory capacities between agents affects learning in games is still unclear. In response, this study formulates a gradient ascent algorithm in games with asymmetry memory capacities. To obtain theoretical insights into learning dynamics, we first consider a simple case of zero-sum games. We observe complex behavior, where learning dynamics draw a heteroclinic connection from unstable fixed points to stable ones. Despite this complexity, we analyze learning dynamics and prove local convergence to these stable fixed points, i.e., the Nash equilibria. We identify the mechanism driving this convergence: an agent with a longer memory learns to exploit the other, which in turn endows the other's utility function with strict concavity. We further numerically observe such convergence in various initial strategies, action numbers, and memory lengths. This study reveals a novel phenomenon due to memory asymmetry, providing fundamental strides in learning in games and new insights into computing equilibria.
△ Less
Submitted 16 February, 2024; v1 submitted 22 May, 2023;
originally announced May 2023.
-
Existence of homogeneous Euler flows of degree $-α\notin [-2,0]$
Authors:
Ken Abe
Abstract:
We consider ($-α$)-homogeneous solutions to the stationary incompressible Euler equations in $\mathbb{R}^{3}\backslash\{0\}$ for $α\geq 0$ and in $\mathbb{R}^{3}$ for $α<0$. Shvydkoy (2018) demonstrated the nonexistence of ($-1$)-homogeneous solutions and ($-α$)-homogeneous solutions in the range $0\leq α\leq 2$ for the Beltrami and axisymmetric flows. The nonexistence result of the Beltrami (…
▽ More
We consider ($-α$)-homogeneous solutions to the stationary incompressible Euler equations in $\mathbb{R}^{3}\backslash\{0\}$ for $α\geq 0$ and in $\mathbb{R}^{3}$ for $α<0$. Shvydkoy (2018) demonstrated the nonexistence of ($-1$)-homogeneous solutions and ($-α$)-homogeneous solutions in the range $0\leq α\leq 2$ for the Beltrami and axisymmetric flows. The nonexistence result of the Beltrami ($-α$)-homogeneous solutions holds for all $α<1$. We show the nonexistence of axisymmetric ($-α$)-homogeneous solutions without swirls for $-2\leq α<0$.
The main result of this study is the existence of axisymmetric ($-α$)-homogeneous solutions in the complementary range $α\in \mathbb{R}\backslash [0,2]$. More specifically, we show the existence of axisymmetric Beltrami ($-α$)-homogeneous solutions for $α\in \mathbb{R}\backslash [0,2]$ and axisymmetric ($-α$)-homogeneous solutions with a nonconstant Bernoulli function for $α\in \mathbb{R}\backslash [-2,2]$. This is the first existence result on ($-α$)-homogeneous solutions with no explicit forms.
For $2<α<3$, constructed ($-α$)-homogeneous solutions provide new examples of the Beltrami/Euler flows in $\mathbb{R}^{3}\backslash\{0\}$ whose level sets of the proportionality factor/Bernoulli surfaces are nested surfaces created by the rotation of the sign $``\infty"$.
△ Less
Submitted 10 May, 2023;
originally announced May 2023.
-
Learning in Multi-Memory Games Triggers Complex Dynamics Diverging from Nash Equilibrium
Authors:
Yuma Fujimoto,
Kaito Ariu,
Kenshi Abe
Abstract:
Repeated games consider a situation where multiple agents are motivated by their independent rewards throughout learning. In general, the dynamics of their learning become complex. Especially when their rewards compete with each other like zero-sum games, the dynamics often do not converge to their optimum, i.e., the Nash equilibrium. To tackle such complexity, many studies have understood various…
▽ More
Repeated games consider a situation where multiple agents are motivated by their independent rewards throughout learning. In general, the dynamics of their learning become complex. Especially when their rewards compete with each other like zero-sum games, the dynamics often do not converge to their optimum, i.e., the Nash equilibrium. To tackle such complexity, many studies have understood various learning algorithms as dynamical systems and discovered qualitative insights among the algorithms. However, such studies have yet to handle multi-memory games (where agents can memorize actions they played in the past and choose their actions based on their memories), even though memorization plays a pivotal role in artificial intelligence and interpersonal relationship. This study extends two major learning algorithms in games, i.e., replicator dynamics and gradient ascent, into multi-memory games. Then, we prove their dynamics are identical. Furthermore, theoretically and experimentally, we clarify that the learning dynamics diverge from the Nash equilibrium in multi-memory zero-sum games and reach heteroclinic cycles (sojourn longer around the boundary of the strategy space), providing a fundamental advance in learning in games.
△ Less
Submitted 22 May, 2023; v1 submitted 2 February, 2023;
originally announced February 2023.
-
Stability of Chandrasekhar's nonlinear force-free fields
Authors:
Ken Abe
Abstract:
Chandrasekhar's nonlinear force-free field, discovered in 1956, is a rare example of a nonlinear force-free field describing a large coherent structure of axisymmetric magnetic field lines with swirls in the presence of Alfvén waves. We demonstrate that his traveling wave solution is orbitally stable with the energy norm in ideal MHD regarding weak ideal limits of axisymmetric Leray-Hopf solutions…
▽ More
Chandrasekhar's nonlinear force-free field, discovered in 1956, is a rare example of a nonlinear force-free field describing a large coherent structure of axisymmetric magnetic field lines with swirls in the presence of Alfvén waves. We demonstrate that his traveling wave solution is orbitally stable with the energy norm in ideal MHD regarding weak ideal limits of axisymmetric Leray-Hopf solutions.
△ Less
Submitted 29 February, 2024; v1 submitted 2 June, 2022;
originally announced June 2022.
-
Rigidity of Beltrami fields with a non-constant proportionality factor
Authors:
Ken Abe
Abstract:
We prove that bounded Beltrami fields must be symmetric if a proportionality factor depends on 2 variables in the cylindrical coordinate and admits a regular level set diffeomorphic to a cylinder or a torus.
We prove that bounded Beltrami fields must be symmetric if a proportionality factor depends on 2 variables in the cylindrical coordinate and admits a regular level set diffeomorphic to a cylinder or a torus.
△ Less
Submitted 9 August, 2021;
originally announced August 2021.
-
Existence of vortex rings in Beltrami flows
Authors:
Ken Abe
Abstract:
We construct traveling wave solutions to the 3d Euler equations by axisymmetric Beltrami fields with a non-constant proportionality factor. They form a vortex ring with nested invariant tori consisting of level sets of the proportionality factor.
We construct traveling wave solutions to the 3d Euler equations by axisymmetric Beltrami fields with a non-constant proportionality factor. They form a vortex ring with nested invariant tori consisting of level sets of the proportionality factor.
△ Less
Submitted 21 August, 2020;
originally announced August 2020.
-
On the large time $L^{\infty}$-estimates of the Stokes semigroup in two-dimensional exterior domains
Authors:
Ken Abe
Abstract:
We prove that the Stokes semigroup is a bounded analytic semigroup on $L^{\infty}_σ$ of angle $π/2$ for two-dimensional exterior domains. This result is an end point case of the $L^{p}$-boundedness of the semigroup for $p\in (1,\infty)$, established by Borchers and Varnhorn (1993) and an extension of finite time $L^{\infty}$-estimates studied by the author and Giga (2014). The proof is based on th…
▽ More
We prove that the Stokes semigroup is a bounded analytic semigroup on $L^{\infty}_σ$ of angle $π/2$ for two-dimensional exterior domains. This result is an end point case of the $L^{p}$-boundedness of the semigroup for $p\in (1,\infty)$, established by Borchers and Varnhorn (1993) and an extension of finite time $L^{\infty}$-estimates studied by the author and Giga (2014). The proof is based on the non-existence result of bounded steady flows (the Stokes paradox) and some asymptotic formula for the net force of the Stokes resolvent.
△ Less
Submitted 3 December, 2019;
originally announced December 2019.
-
Stability of Lamb dipoles
Authors:
Ken Abe,
Kyudong Choi
Abstract:
The Lamb dipole is a traveling wave solution to the two-dimensional Euler equations introduced by S. A. Chaplygin (1903) and H. Lamb (1906) at the early 20th century. We prove orbital stability of this solution based on a vorticity method initiated by V. I. Arnold. Our method is a minimization of a penalized energy with multiple constraints that deduces existence and orbital stability for a family…
▽ More
The Lamb dipole is a traveling wave solution to the two-dimensional Euler equations introduced by S. A. Chaplygin (1903) and H. Lamb (1906) at the early 20th century. We prove orbital stability of this solution based on a vorticity method initiated by V. I. Arnold. Our method is a minimization of a penalized energy with multiple constraints that deduces existence and orbital stability for a family of traveling waves. As a typical case, orbital stability of the Lamb dipole is deduced by characterizing a set of minimizers as an orbit of the dipole by a uniqueness theorem in the variational setting.
△ Less
Submitted 5 November, 2019;
originally announced November 2019.
-
The vorticity equations in a half plane with measures as initial data
Authors:
Ken Abe
Abstract:
We consider the two-dimensional Navier-Stokes equations subject to the Dirichlet boundary condition in a half plane for initial vorticity with finite measures. We study local well-posedness of the associated vorticity equations for measures with a small pure point part and global well-posedness for measures with a small total variation. Our construction is based on an $L^{1}$-estimate of a solutio…
▽ More
We consider the two-dimensional Navier-Stokes equations subject to the Dirichlet boundary condition in a half plane for initial vorticity with finite measures. We study local well-posedness of the associated vorticity equations for measures with a small pure point part and global well-posedness for measures with a small total variation. Our construction is based on an $L^{1}$-estimate of a solution operator for the vorticity equations associated with the Stokes equations.
△ Less
Submitted 7 April, 2019;
originally announced April 2019.
-
Liouville theorems for the Stokes equations with applications to large time estimates
Authors:
Ken Abe
Abstract:
We study Liouville theorems for the non-stationary Stokes equations in exterior domains in $ \mathbb{R}^{n}$ under decay conditions for spatial variables. As applications, we prove that the Stokes semigroup is a bounded analytic semigroup on $L^{ \infty}_{ σ}$ of angle $ π/2$ for $n \geq 3$. We also prove large time estimates for $n=2$ with zero net force.
We study Liouville theorems for the non-stationary Stokes equations in exterior domains in $ \mathbb{R}^{n}$ under decay conditions for spatial variables. As applications, we prove that the Stokes semigroup is a bounded analytic semigroup on $L^{ \infty}_{ σ}$ of angle $ π/2$ for $n \geq 3$. We also prove large time estimates for $n=2$ with zero net force.
△ Less
Submitted 12 July, 2018;
originally announced July 2018.
-
Vanishing viscosity limits for axisymmetric flows with boundary
Authors:
Ken Abe
Abstract:
We construct global weak solutions of the Euler equations in an infinite cylinder $Π=\{x\in \mathbb{R}^{3}\ |\ x_h=(x_1,x_2),\ r=|x_h|<1\}$ for axisymmetric initial data without swirl when initial vorticity $ω_{0}=ω^θ_{0}e_θ$ satisfies $ω^θ_{0}/r\in L^{q}$ for $q\in [3/2,3)$. The solutions constructed are Hölder continuous for spatial variables in $\overlineΠ$ if in addition that…
▽ More
We construct global weak solutions of the Euler equations in an infinite cylinder $Π=\{x\in \mathbb{R}^{3}\ |\ x_h=(x_1,x_2),\ r=|x_h|<1\}$ for axisymmetric initial data without swirl when initial vorticity $ω_{0}=ω^θ_{0}e_θ$ satisfies $ω^θ_{0}/r\in L^{q}$ for $q\in [3/2,3)$. The solutions constructed are Hölder continuous for spatial variables in $\overlineΠ$ if in addition that $ω^θ_{0}/r\in L^{s}$ for $s\in (3,\infty)$ and unique if $s=\infty$. The proof is by a vanishing viscosity method. We show that the Navier-Stokes equations subject to the Neumann boundary condition is globally well-posed for axisymmetric data without swirl in $L^{p}$ for all $p\in [3,\infty)$. It is also shown that the energy dissipation tends to zero if $ω^θ_{0}/r\in L^{q}$ for $q\in [3/2,2]$, and Navier-Stokes flows converge to Euler flow in $L^{2}$ locally uniformly for $t\in [0,\infty)$ if additionally $ω^θ_{0}/r\in L^{\infty}$. The $L^{2}$-convergence in particular implies the energy equality for weak solutions.
△ Less
Submitted 5 January, 2019; v1 submitted 12 June, 2018;
originally announced June 2018.
-
The Navier-Stokes equations with the Neumann boundary condition in an infinite cylinder
Authors:
Ken Abe
Abstract:
We prove unique existence of local-in-time smooth solutions of the Navier-Stokes equations for initial data in $L^{p}$ and $p \in [3, \infty)$ in an infinite cylinder, subject to the Neumann boundary condition.
We prove unique existence of local-in-time smooth solutions of the Navier-Stokes equations for initial data in $L^{p}$ and $p \in [3, \infty)$ in an infinite cylinder, subject to the Neumann boundary condition.
△ Less
Submitted 5 January, 2019; v1 submitted 12 June, 2018;
originally announced June 2018.
-
Axisymmetric flows in the exterior of a cylinder
Authors:
Ken Abe,
Gregory Seregin
Abstract:
We study an initial-boundary value problem of the three-dimensional Navier-Stokes equations in the exterior of a cylinder $Π=\{x=(x_{h}, x_3)\ |\ |x_{h} |>1\}$, subject to the slip boundary condition. We construct unique global solutions for axisymmetric initial data $u_0\in L^{3}\cap L^{2}(Π)$ satisfying the decay condition of the swirl component $ru^θ_{0}\in L^{\infty}(Π)$.
We study an initial-boundary value problem of the three-dimensional Navier-Stokes equations in the exterior of a cylinder $Π=\{x=(x_{h}, x_3)\ |\ |x_{h} |>1\}$, subject to the slip boundary condition. We construct unique global solutions for axisymmetric initial data $u_0\in L^{3}\cap L^{2}(Π)$ satisfying the decay condition of the swirl component $ru^θ_{0}\in L^{\infty}(Π)$.
△ Less
Submitted 24 April, 2018; v1 submitted 2 August, 2017;
originally announced August 2017.
-
Global well-posedness of the two-dimensional exterior Navier-Stokes equations for non-decaying data
Authors:
Ken Abe
Abstract:
We prove global well-posedness of the two-dimensional exterior Navier-Stokes equations for bounded initial data with a finite Dirichlet integral, subject to the non-slip boundary condition. As an application, we construct global solutions for asymptotically constant initial data and arbitrary large Reynolds numbers.
We prove global well-posedness of the two-dimensional exterior Navier-Stokes equations for bounded initial data with a finite Dirichlet integral, subject to the non-slip boundary condition. As an application, we construct global solutions for asymptotically constant initial data and arbitrary large Reynolds numbers.
△ Less
Submitted 16 July, 2017; v1 submitted 23 August, 2016;
originally announced August 2016.
-
Exterior Navier-Stokes flows for bounded data
Authors:
Ken Abe
Abstract:
We prove unique existence of mild solutions on $L^{\infty}_σ$ for the Navier-Stokes equations in an exterior domain in $ \mathbb{R}^{n}$, $n\geq 2$, subject to the non-slip boundary condition.
We prove unique existence of mild solutions on $L^{\infty}_σ$ for the Navier-Stokes equations in an exterior domain in $ \mathbb{R}^{n}$, $n\geq 2$, subject to the non-slip boundary condition.
△ Less
Submitted 15 June, 2016;
originally announced June 2016.
-
On estimates for the Stokes flow in a space of bounded functions
Authors:
Ken Abe
Abstract:
In this paper, we study regularizing effects of the composition operator $S(t)\mathbb{P}\partial$ for the Stokes semigroup $S(t)$ and the Helmholtz projection $\mathbb{P}$ in a space of bounded functions. We establish new a priori $L^{\infty}$-estimates of the operator $S(t)\mathbb{P}\partial$ for a certain class of domains including bounded and exterior domains. They imply unique existence of mil…
▽ More
In this paper, we study regularizing effects of the composition operator $S(t)\mathbb{P}\partial$ for the Stokes semigroup $S(t)$ and the Helmholtz projection $\mathbb{P}$ in a space of bounded functions. We establish new a priori $L^{\infty}$-estimates of the operator $S(t)\mathbb{P}\partial$ for a certain class of domains including bounded and exterior domains. They imply unique existence of mild solutions of the Navier-Stokes equations in a space of bounded functions.
△ Less
Submitted 20 April, 2016; v1 submitted 19 June, 2014;
originally announced June 2014.
-
Stokes Resolvent Estimates in Spaces of Bounded Functions
Authors:
Ken Abe,
Yoshikazu Giga,
Matthias Hieber
Abstract:
The Stokes equation on a domain $Ω\subset R^n$ is well understood in the $L^p$-setting for a large class of domains including bounded and exterior domains with smooth boundaries provided $1<p<\infty$. The situation is very different for the case $p=\infty$ since in this case the Helmholtz projection does not act as a bounded operator anymore. Nevertheless it was recently proved by the first and th…
▽ More
The Stokes equation on a domain $Ω\subset R^n$ is well understood in the $L^p$-setting for a large class of domains including bounded and exterior domains with smooth boundaries provided $1<p<\infty$. The situation is very different for the case $p=\infty$ since in this case the Helmholtz projection does not act as a bounded operator anymore. Nevertheless it was recently proved by the first and the second author of this paper by a contradiction argument that the Stokes operator generates an analytic semigroup on spaces of bounded functions for a large class of domains. This paper presents a new approach as well as new a priori $L^\infty$-type estimates to the Stokes equation. They imply in particular that the Stokes operator generates a $C_0$-analytic semigroup of angle $π/2$ on $C_{0,σ}(Ω)$, or a non-$C_0$-analytic semigroup on $L^\infty_σ(Ω)$ for a large class of domains. The approach presented is inspired by the so called Masuda-Stewart technique for elliptic operators. It is shown furthermore that the method presented applies also to different type of boundary conditions as, e.g., Robin boundary conditions.
△ Less
Submitted 16 February, 2014;
originally announced February 2014.
-
The first homology of the group of equivariant diffeomorphisms and its application
Authors:
Kojun Abe,
Kazuhiko Fukui
Abstract:
Let V be a representation space of a finite group G. We determine the group structure of the first homology of the equivariant diffeomorphism group of V. Then we can apply it to the calculation of the first homology of the corresponding automorphism groups of smooth orbifolds, compact Hausdorff foliations, codimension one or two compact foliations and a locally free circle action on the 3-sphere…
▽ More
Let V be a representation space of a finite group G. We determine the group structure of the first homology of the equivariant diffeomorphism group of V. Then we can apply it to the calculation of the first homology of the corresponding automorphism groups of smooth orbifolds, compact Hausdorff foliations, codimension one or two compact foliations and a locally free circle action on the 3-sphere.
△ Less
Submitted 12 March, 2007;
originally announced March 2007.
-
Feedback Stabilization over Commutative Rings: Further study of the coordinate-free approach
Authors:
Kazuyoshi Mori,
Kenichi Abe
Abstract:
This paper is concerned with the coordinate-free approach to control systems. The coordinate-free approach is a factorization approach but does not require the coprime factorizations of the plant. We present two criteria for feedback stabilizability for MIMO systems in which transfer functions belong to the total rings of fractions of commutative rings. Both of them are generalizations of Sule's…
▽ More
This paper is concerned with the coordinate-free approach to control systems. The coordinate-free approach is a factorization approach but does not require the coprime factorizations of the plant. We present two criteria for feedback stabilizability for MIMO systems in which transfer functions belong to the total rings of fractions of commutative rings. Both of them are generalizations of Sule's results in [SIAM J. Control Optim., 32-6, 1675-1695(1994)]. The first criterion is expressed in terms of modules generated from a causal plant and does not require the plant to be strictly causal. It shows that if the plant is stabilizable, the modules are projective. The other criterion is expressed in terms of ideals called generalized elementary factors. This gives the stabilizability of a causal plant in terms of the coprimeness of the generalized elementary factors. As an example, a discrete finite-time delay system is considered.
△ Less
Submitted 14 December, 1999; v1 submitted 22 February, 1999;
originally announced February 1999.
