-
Bi-orderability and generalized torsion elements from the perspective of profinite properties
Authors:
Wonyong Jang,
Junseok Kim
Abstract:
We construct bi-orderable groups from left-orderable groups via the fiber product. As a consequence, we show that bi-orderability is not a profinite property. This answers negatively the question of Piwek and Wykowski in the problem list that came from participants of the workshop ``Profinite Rigidity" held in Madrid from June 26 to June 30, 2023. Moreover, the proof can be applied to show that th…
▽ More
We construct bi-orderable groups from left-orderable groups via the fiber product. As a consequence, we show that bi-orderability is not a profinite property. This answers negatively the question of Piwek and Wykowski in the problem list that came from participants of the workshop ``Profinite Rigidity" held in Madrid from June 26 to June 30, 2023. Moreover, the proof can be applied to show that the existence of a generalized torsion element is not a profinite property.
△ Less
Submitted 29 April, 2025;
originally announced April 2025.
-
Deep learning-based moment closure for multi-phase computation of semiclassical limit of the Schrödinger equation
Authors:
Jin Woo Jang,
Jae Yong Lee,
Liu Liu,
Zhenyi Zhu
Abstract:
We present a deep learning approach for computing multi-phase solutions to the semiclassical limit of the Schrödinger equation. Traditional methods require deriving a multi-phase ansatz to close the moment system of the Liouville equation, a process that is often computationally intensive and impractical. Our method offers an efficient alternative by introducing a novel two-stage neural network fr…
▽ More
We present a deep learning approach for computing multi-phase solutions to the semiclassical limit of the Schrödinger equation. Traditional methods require deriving a multi-phase ansatz to close the moment system of the Liouville equation, a process that is often computationally intensive and impractical. Our method offers an efficient alternative by introducing a novel two-stage neural network framework to close the $2N\times 2N$ moment system, where $N$ represents the number of phases in the solution ansatz. In the first stage, we train neural networks to learn the mapping between higher-order moments and lower-order moments (along with their derivatives). The second stage incorporates physics-informed neural networks (PINNs), where we substitute the learned higher-order moments to systematically close the system. We provide theoretical guarantees for the convergence of both the loss functions and the neural network approximations. Numerical experiments demonstrate the effectiveness of our method for one- and two-dimensional problems with various phase numbers $N$ in the multi-phase solutions. The results confirm the accuracy and computational efficiency of the proposed approach compared to conventional techniques.
△ Less
Submitted 11 April, 2025;
originally announced April 2025.
-
On the axially symmetric solutions to the spatially homogeneous Landau equation
Authors:
Jin Woo Jang,
Junha Kim
Abstract:
In this paper, we consider the spatially homogeneous Landau equation, which is a variation of the Boltzmann equation in the grazing collision limit. For the Landau equation for hard potentials in the style of Desvillettes-Villani (Comm. Partial Differential Equations, 2000), we provide the proof of the existence of axisymmetric measure-valued solution for any axisymmetric…
▽ More
In this paper, we consider the spatially homogeneous Landau equation, which is a variation of the Boltzmann equation in the grazing collision limit. For the Landau equation for hard potentials in the style of Desvillettes-Villani (Comm. Partial Differential Equations, 2000), we provide the proof of the existence of axisymmetric measure-valued solution for any axisymmetric $\mathcal{P}_p(\mathbb{R}^3)$ initial profile for any $p\ge 2$. Moreover, we prove that if the initial data is not a single Dirac mass, then the solution instantaneously becomes analytic for any time $t>0$ in the hard potential case. In the soft potential and the Maxwellian molecule cases, we show that there are no solutions whose support is contained in a fixed line even for any given line-concentrated data.
△ Less
Submitted 24 January, 2025; v1 submitted 13 January, 2025;
originally announced January 2025.
-
Quantitative pointwise estimates of the cooling process for inelastic Boltzmann equation
Authors:
Gayoung An,
Jin Woo Jang,
Donghyun Lee
Abstract:
In this paper, we study the homogeneous inelastic Boltzmann equation for hard spheres. We first prove that the solution $f(t,v)$ is bounded pointwise from above by \(C_{f_0}\langle t \rangle^3\) and establish that the cooling time is infinite (\( T_c = +\infty \)) under the condition \( f_0 \in L^1_2 \cap L^{\infty}_{s} \) for \( s > 2 \). Away from zero velocity, we further prove that…
▽ More
In this paper, we study the homogeneous inelastic Boltzmann equation for hard spheres. We first prove that the solution $f(t,v)$ is bounded pointwise from above by \(C_{f_0}\langle t \rangle^3\) and establish that the cooling time is infinite (\( T_c = +\infty \)) under the condition \( f_0 \in L^1_2 \cap L^{\infty}_{s} \) for \( s > 2 \). Away from zero velocity, we further prove that $ f(t,v)\leq C_{f_0, |v|} \langle t \rangle $ for \(v \neq 0\) at any time \( t > 0 \). This time-dependent pointwise upper bound is natural in the cooling process, as we expect the density near \( v = 0 \) to grow rapidly. We also establish an upper bound that depends on the coefficient of normal restitution constant, $α\in (0,1]$. This upper bound becomes constant when $α= 1$, restoring the known upper bound for elastic collisions \cite{L1983}. Consequently, through these results, we obtain Maxwellian upper bounds on the solutions at each time.
△ Less
Submitted 30 October, 2024; v1 submitted 21 June, 2024;
originally announced June 2024.
-
On the kernel of actions on asymptotic cones
Authors:
Hyungryul Baik,
Wonyong Jang
Abstract:
Any finitely generated group $G$ acts on its asymptotic cones in natural ways. The purpose of this paper is to calculate the kernel of such actions. First, we show that when $G$ is acylindrically hyperbolic, the kernel of the natural action on every asymptotic cone coincides with the unique maximal finite normal subgroup $K(G)$ of $G$. Secondly, we use this equivalence to interpret the kernel of t…
▽ More
Any finitely generated group $G$ acts on its asymptotic cones in natural ways. The purpose of this paper is to calculate the kernel of such actions. First, we show that when $G$ is acylindrically hyperbolic, the kernel of the natural action on every asymptotic cone coincides with the unique maximal finite normal subgroup $K(G)$ of $G$. Secondly, we use this equivalence to interpret the kernel of the actions on asymptotic cones as the kernel of the actions on many spaces at "infinity". For instance, if $G \curvearrowright M$ is a non-elementary convergence group, then we show that the kernel of actions on the limit set $L(G)$ coincides with the kernel of the action on asymptotic cones. Similar results can also be established for the non-trivial Floyd boundary and the $\mathrm{CAT}(0)$ groups with the visual boundary, contracting boundary, and sublinearly Morse boundary. Additionally, the results are extended to another action on asymptotic cones, called Paulin's construction. In the last section, we calculate the kernel on asymptotic cones for various groups, and as an application, we show that the cardinality of the kernel can determine whether the group admits non-elementary action under some mild assumptions.
△ Less
Submitted 12 September, 2024; v1 submitted 15 February, 2024;
originally announced February 2024.
-
Compactness and existence theory for a general class of stationary radiative transfer equations
Authors:
Elena Demattè,
Jin Woo Jang,
Juan J. L. Velázquez
Abstract:
In this paper, we study the steady-states of a large class of stationary radiative transfer equations in a $C^1$ convex bounded domain. Namely, we consider the case in which both absorption-emission and scattering coefficients depend on the local temperature $T$ and the radiation frequency $ν.$ The radiative transfer equation determines the temperature of the material at each point. The main diffi…
▽ More
In this paper, we study the steady-states of a large class of stationary radiative transfer equations in a $C^1$ convex bounded domain. Namely, we consider the case in which both absorption-emission and scattering coefficients depend on the local temperature $T$ and the radiation frequency $ν.$ The radiative transfer equation determines the temperature of the material at each point. The main difficulty in proving existence of solutions is to obtain compactness of the sequence of integrals along lines that appear in several exponential terms. We prove a new compactness result suitable to deal with such a non-local operator containing integrals on a line segment. On the other hand, to obtain the existence theory of the full equation with both absorption and scattering terms we combine the compactness result with the construction of suitable Green functions for a class of non-local equations.
△ Less
Submitted 23 January, 2024;
originally announced January 2024.
-
The Euler-Glaisher Theorem over Totally Real Number Fields
Authors:
Se Wook Jang,
Byeong Moon Kim,
Kwang Hoon Kim
Abstract:
In this paper, we study the partition theory over totally real number fields. Let $K$ be a totally real number field. A partition of a totally positive algebraic integer $δ$ over $K$ is $λ=(λ_1,λ_2,\ldots,λ_r)$ for some totally positive integers $λ_i$ such that $δ=λ_1+λ_2+\cdots+λ_r$. We find an identity to explain the number of partitions of $δ$ whose parts do not belong to a given ideal…
▽ More
In this paper, we study the partition theory over totally real number fields. Let $K$ be a totally real number field. A partition of a totally positive algebraic integer $δ$ over $K$ is $λ=(λ_1,λ_2,\ldots,λ_r)$ for some totally positive integers $λ_i$ such that $δ=λ_1+λ_2+\cdots+λ_r$. We find an identity to explain the number of partitions of $δ$ whose parts do not belong to a given ideal $\mathfrak a$. We obtain a generalization of the Euler-Glaisher Theorem over totally real number fields as a corollary. We also prove that the number of solutions to the equation $δ=x_1+2x_2+\cdots+nx_n$ with $x_i$ totally positive or $0$ is equal to that of chain partitions of $δ$. A chain partition of $δ$ is a partition $λ=(λ_1,λ_2,\ldots,λ_r)$ of $δ$ such that $λ_{i+1}-λ_i$ is totally positive or $0$.
△ Less
Submitted 30 November, 2023;
originally announced November 2023.
-
The Sylvester Theorem and the Rogers-Ramanujan Identities over Totally Real Number Fields
Authors:
Se Wook Jang,
Byeong Moon Kim,
Kwang Hoon Kim
Abstract:
In this paper, we prove two identities on the partition of a totally positive algebraic integer over a totally real number field which are the generalization of the Sylvester Theorem and that of the Rogers-Ramanujan Identities. Additionally, we give an another version of generalized Rogers-Ramanujan Identities.
In this paper, we prove two identities on the partition of a totally positive algebraic integer over a totally real number field which are the generalization of the Sylvester Theorem and that of the Rogers-Ramanujan Identities. Additionally, we give an another version of generalized Rogers-Ramanujan Identities.
△ Less
Submitted 30 November, 2023;
originally announced November 2023.
-
On the temperature distribution of a body heated by radiation
Authors:
Jin Woo Jang,
Juan J. L. Velázquez
Abstract:
In this paper, we study the temperature distribution of a body when the heat is transmitted only by radiation. The heat transmitted by convection and conduction is ignored. We consider the stationary radiative transfer equation in the local thermodynamic equilibrium. We prove that the stationary radiative transfer equation coupled with the non-local temperature equation is well-posed in a generic…
▽ More
In this paper, we study the temperature distribution of a body when the heat is transmitted only by radiation. The heat transmitted by convection and conduction is ignored. We consider the stationary radiative transfer equation in the local thermodynamic equilibrium. We prove that the stationary radiative transfer equation coupled with the non-local temperature equation is well-posed in a generic case when emission-absorption or scattering of interacting radiation is considered. The emission-absorption and the scattering coefficients are assumed to be general and they can depend on the frequency of radiation. We also establish an entropy production formula of the system, which is used to prove the uniqueness of solutions for an incoming radiation with constant temperature.
△ Less
Submitted 20 June, 2023; v1 submitted 21 November, 2022;
originally announced November 2022.
-
Vanishing angular singularity limit to the hard-sphere Boltzmann equation
Authors:
Jin Woo Jang,
Bernhard Kepka,
Alessia Nota,
Juan J. L. Velázquez
Abstract:
In this note we study Boltzmann's collision kernel for inverse power law interactions $U_s(r)=1/r^{s-1}$ for $s>2$ in dimension $ d=3 $. We prove the limit of the non-cutoff kernel to the hard-sphere kernel and give precise asymptotic formulas of the singular layer near $θ\simeq 0$ in the limit $ s\to \infty $. Consequently, we show that solutions to the homogeneous Boltzmann equation converge to…
▽ More
In this note we study Boltzmann's collision kernel for inverse power law interactions $U_s(r)=1/r^{s-1}$ for $s>2$ in dimension $ d=3 $. We prove the limit of the non-cutoff kernel to the hard-sphere kernel and give precise asymptotic formulas of the singular layer near $θ\simeq 0$ in the limit $ s\to \infty $. Consequently, we show that solutions to the homogeneous Boltzmann equation converge to the respective solutions.
△ Less
Submitted 28 September, 2022;
originally announced September 2022.
-
Moments creation for the inelastic Boltzmann equation for hard potentials without angular cutoff
Authors:
Jin Woo Jang,
Kunlun Qi
Abstract:
This paper is concerned with the inelastic Boltzmann equation without angular cutoff. We work in the spatially homogeneous case. We establish the global-in-time existence of measure-valued solutions under the generic hard potential long-range interaction on the collision kernel. In addition, we provide a rigorous proof for the creation of polynomial moments of the measure-valued solutions, which i…
▽ More
This paper is concerned with the inelastic Boltzmann equation without angular cutoff. We work in the spatially homogeneous case. We establish the global-in-time existence of measure-valued solutions under the generic hard potential long-range interaction on the collision kernel. In addition, we provide a rigorous proof for the creation of polynomial moments of the measure-valued solutions, which is a special property that can only be expected from hard potential collisional cross-sections. The proofs rely crucially on the establishment of a refined Povzner-type inequality for the inelastic Boltzmann equation without angular cutoff. The class of initial data that we require is general in the sense that we only require the boundedness of $(2+κ)$-moment for $κ>0$ and do not assume any entropy bound.
△ Less
Submitted 13 April, 2023; v1 submitted 20 June, 2022;
originally announced June 2022.
-
Magnetic confinement for the 2D axisymmetric relativistic Vlasov-Maxwell system in an annulus
Authors:
Jin Woo Jang,
Robert M. Strain,
Tak Kwong Wong
Abstract:
Although the nuclear fusion process has received a great deal of attention in recent years, the amount of mathematical analysis that supports the stability of the system seems to be relatively insufficient. This paper deals with the mathematical analysis of the magnetic confinement of the plasma via kinetic equations. We prove the global wellposedness of the Vlasov-Maxwell system in a two-dimensio…
▽ More
Although the nuclear fusion process has received a great deal of attention in recent years, the amount of mathematical analysis that supports the stability of the system seems to be relatively insufficient. This paper deals with the mathematical analysis of the magnetic confinement of the plasma via kinetic equations. We prove the global wellposedness of the Vlasov-Maxwell system in a two-dimensional annulus when a huge (but finite-in-time) external magnetic potential is imposed near the boundary. We assume that the solution is axisymmetric. The authors hope that this work is a step towards a more generalized work on the three-dimensional Tokamak structure. The highlight of this work is the physical assumptions on the external magnetic potential well which remains finite within a finite time interval and from that, we prove that the plasma never touches the boundary. In addition, we provide a sufficient condition on the magnitude of the external magnetic potential to guarantee that the plasma is confined in an annulus of the desired thickness which is slightly larger than the initial support. Our method uses the cylindrical coordinate forms of the Vlasov-Maxwell system.
△ Less
Submitted 8 November, 2021;
originally announced November 2021.
-
LTE and Non-LTE Solutions in Gases Interacting with Radiation
Authors:
Jin Woo Jang,
Juan J. L. Velázquez
Abstract:
In this paper, we study a class of kinetic equations describing radiative transfer in gases which include also the interaction of the molecules of the gas with themselves. We discuss several scaling limits and introduce some Euler-like systems coupled with radiation as an aftermath of specific scaling limits. We consider scaling limits in which local thermodynamic equilibrium (LTE) holds, as well…
▽ More
In this paper, we study a class of kinetic equations describing radiative transfer in gases which include also the interaction of the molecules of the gas with themselves. We discuss several scaling limits and introduce some Euler-like systems coupled with radiation as an aftermath of specific scaling limits. We consider scaling limits in which local thermodynamic equilibrium (LTE) holds, as well as situations in which this assumption fails (non-LTE). The structure of the equations describing the gas-radiation system is very different in the LTE and non-LTE cases. We prove the existence of stationary solutions with zero velocities to the resulting limit models in the LTE case. We also prove the non-existence of a stationary state with zero velocities in a non-LTE case.
△ Less
Submitted 7 December, 2021; v1 submitted 21 September, 2021;
originally announced September 2021.
-
Asymptotic Stability of the Relativistic Boltzmann Equation without Angular Cut-off
Authors:
Jin Woo Jang,
Robert M. Strain
Abstract:
This paper is concerned with the relativistic Boltzmann equation without angular cutoff. We establish the global-in-time existence, uniqueness, and asymptotic stability for solutions nearby the relativistic Maxwellian. We work in the case of a spatially periodic box. We assume the generic hard-interaction and soft-interaction conditions on the collision kernel that were derived by Dudyński and Eki…
▽ More
This paper is concerned with the relativistic Boltzmann equation without angular cutoff. We establish the global-in-time existence, uniqueness, and asymptotic stability for solutions nearby the relativistic Maxwellian. We work in the case of a spatially periodic box. We assume the generic hard-interaction and soft-interaction conditions on the collision kernel that were derived by Dudyński and Ekiel-Je$\dot{\text{z}}$ewska (Comm. Math. Phys. \textbf{115}(4):607--629, 1985), and our assumptions include the case of Israel particles (J. Math. Phys. \textbf{4}:1163--1181, 1963). In this physical situation, the angular function in the collision kernel is not locally integrable, and the collision operator behaves like a fractional diffusion operator. The coercivity estimates that are needed rely crucially on the sharp asymptotics for the frequency multiplier that has not been previously established. We further derive the relativistic analogue of the Carleman dual representation for the Boltzmann collision operator. This resolves the open question of perturbative global existence and uniqueness without the Grad's angular cut-off assumption.
△ Less
Submitted 7 July, 2022; v1 submitted 29 March, 2021;
originally announced March 2021.
-
Frequency multiplier estimates for the linearized relativistic Boltzmann operator without angular cutoff
Authors:
Jin Woo Jang,
Robert M. Strain
Abstract:
This paper is concerned with the relativistic Boltzmann equation without angular cutoff. The non-cutoff theory for the relativistic Boltzmann equation has been rarely studied even under a smallness assumption on the initial data due to the lack of understanding of the spectrum and the need for coercivity estimates on the linearized collision operator. Namely, it is crucial to obtain the sharp asym…
▽ More
This paper is concerned with the relativistic Boltzmann equation without angular cutoff. The non-cutoff theory for the relativistic Boltzmann equation has been rarely studied even under a smallness assumption on the initial data due to the lack of understanding of the spectrum and the need for coercivity estimates on the linearized collision operator. Namely, it is crucial to obtain the sharp asymptotics for the frequency multiplier to obtain this coercivity that has never been established before. In this paper, we prove the sharp asymptotics for the frequency multiplier for a general relativistic scattering kernel without angular cutoff. As a consequence of our calculations, we further explain how the well-known change of variables $p' \to p$ is not well defined in the special relativistic context.
△ Less
Submitted 7 July, 2022; v1 submitted 17 February, 2021;
originally announced February 2021.
-
Sobolev Training for Physics Informed Neural Networks
Authors:
Hwijae Son,
Jin Woo Jang,
Woo Jin Han,
Hyung Ju Hwang
Abstract:
Physics Informed Neural Networks (PINNs) is a promising application of deep learning. The smooth architecture of a fully connected neural network is appropriate for finding the solutions of PDEs; the corresponding loss function can also be intuitively designed and guarantees the convergence for various kinds of PDEs. However, the rate of convergence has been considered as a weakness of this approa…
▽ More
Physics Informed Neural Networks (PINNs) is a promising application of deep learning. The smooth architecture of a fully connected neural network is appropriate for finding the solutions of PDEs; the corresponding loss function can also be intuitively designed and guarantees the convergence for various kinds of PDEs. However, the rate of convergence has been considered as a weakness of this approach. This paper proposes Sobolev-PINNs, a novel loss function for the training of PINNs, making the training substantially efficient. Inspired by the recent studies that incorporate derivative information for the training of neural networks, we develop a loss function that guides a neural network to reduce the error in the corresponding Sobolev space. Surprisingly, a simple modification of the loss function can make the training process similar to \textit{Sobolev Training} although PINNs is not a fully supervised learning task. We provide several theoretical justifications that the proposed loss functions upper bound the error in the corresponding Sobolev spaces for the viscous Burgers equation and the kinetic Fokker--Planck equation. We also present several simulation results, which show that compared with the traditional $L^2$ loss function, the proposed loss function guides the neural network to a significantly faster convergence. Moreover, we provide the empirical evidence that shows that the proposed loss function, together with the iterative sampling techniques, performs better in solving high dimensional PDEs.
△ Less
Submitted 8 December, 2021; v1 submitted 21 January, 2021;
originally announced January 2021.
-
The relativistic quantum Boltzmann equation near equilibrium
Authors:
Gi-Chan Bae,
Jin Woo Jang,
Seok-Bae Yun
Abstract:
The relativistic quantum Boltzmann equation (or the relativistic Uehling-Uhlenbeck equation) describes the dynamics of single-species fast-moving quantum particles. With the recent development of the relativistic quantum mechanics, the relativistic quantum Boltzmann equation has been widely used in physics and engineering such as in the quantum collision experiments and the simulations of electron…
▽ More
The relativistic quantum Boltzmann equation (or the relativistic Uehling-Uhlenbeck equation) describes the dynamics of single-species fast-moving quantum particles. With the recent development of the relativistic quantum mechanics, the relativistic quantum Boltzmann equation has been widely used in physics and engineering such as in the quantum collision experiments and the simulations of electrons in graphene. In spite of such importance, there has been no mathematical theory on the existence of solutions for the relativistic quantum Boltzmann equation to the best of authors' knowledge. In this paper, we prove the global existence of a unique classical solution to the relativistic Boltzmann equation for both bosons and fermions when the initial distribution is nearby a global equilibrium.
△ Less
Submitted 28 December, 2020;
originally announced December 2020.
-
Kinetic Models for Semiflexible Polymers in a Half-plane
Authors:
Jin Woo Jang,
Juan J. L. Velázquez
Abstract:
Based on a general discrete model for a semiflexible polymer chain, we introduce a formal derivation of a kinetic equation for semiflexible polymers in the half-plane via a continuum limit. It turns out that the resulting equation is the kinetic Fokker-Planck-type equation with the Laplace-Beltrami operator under a non-local trapping boundary condition. We then study the well-posedness and the lon…
▽ More
Based on a general discrete model for a semiflexible polymer chain, we introduce a formal derivation of a kinetic equation for semiflexible polymers in the half-plane via a continuum limit. It turns out that the resulting equation is the kinetic Fokker-Planck-type equation with the Laplace-Beltrami operator under a non-local trapping boundary condition. We then study the well-posedness and the long-chain asymptotics of the solutions of the resulting equation. In particular, we prove that there exists a unique measure-valued solution for the corresponding boundary value problem. In addition, we prove that the equation is hypoelliptic and the solutions are locally Hölder continuous near the singular boundary. Finally, we provide the asymptotic behaviors of the solutions for large polymer chains.
△ Less
Submitted 28 July, 2022; v1 submitted 3 November, 2020;
originally announced November 2020.
-
A sequence of algebraic integer relation numbers which converges to 4
Authors:
Wonyong Jang,
KyeongRo Kim
Abstract:
Let $α\in \mathbb{R}$ and let $$A=\begin{bmatrix} 1 & 1 \\ 0 & 1\end{bmatrix} \ \text{and} \ B_α = \begin{bmatrix} 1 & 0 \\ α& 1\end{bmatrix}.$$ The subgroup $G_α$ of $\mathrm{SL}_2(\mathbb{R})$ is a group generated by the matrices $A$ and $B_α$. In this paper, we investigate the property of the group $G_α.$ We construct a generalization of the Farey graph for the subgroup $G_α.$ This graph determ…
▽ More
Let $α\in \mathbb{R}$ and let $$A=\begin{bmatrix} 1 & 1 \\ 0 & 1\end{bmatrix} \ \text{and} \ B_α = \begin{bmatrix} 1 & 0 \\ α& 1\end{bmatrix}.$$ The subgroup $G_α$ of $\mathrm{SL}_2(\mathbb{R})$ is a group generated by the matrices $A$ and $B_α$. In this paper, we investigate the property of the group $G_α.$ We construct a generalization of the Farey graph for the subgroup $G_α.$ This graph determines whether the group $G_α$ is a free group of rank $2$. More precisely, the group $G_α$ is a free group of rank $2$ if and only if the graph is tree. In particular, we show that if $1/2$ is a vertex of the graph, then $G_α$ is not a free group of rank $2$. Using this, we construct a sequence of real numbers so that the sequence converges to $4$ and each number has the corresponding group that is not a free group of rank $2$. It turns out that the real numbers are algebraic integers.
△ Less
Submitted 4 April, 2021; v1 submitted 19 October, 2020;
originally announced October 2020.
-
The model reduction of the Vlasov-Poisson-Fokker-Planck system to the Poisson-Nernst-Planck system via the Deep Neural Network Approach
Authors:
Jae Yong Lee,
Jin Woo Jang,
Hyung Ju Hwang
Abstract:
The model reduction of a mesoscopic kinetic dynamics to a macroscopic continuum dynamics has been one of the fundamental questions in mathematical physics since Hilbert's time. In this paper, we consider a diagram of the diffusion limit from the Vlasov-Poisson-Fokker-Planck (VPFP) system on a bounded interval with the specular reflection boundary condition to the Poisson-Nernst-Planck (PNP) system…
▽ More
The model reduction of a mesoscopic kinetic dynamics to a macroscopic continuum dynamics has been one of the fundamental questions in mathematical physics since Hilbert's time. In this paper, we consider a diagram of the diffusion limit from the Vlasov-Poisson-Fokker-Planck (VPFP) system on a bounded interval with the specular reflection boundary condition to the Poisson-Nernst-Planck (PNP) system with the no-flux boundary condition. We provide a Deep Learning algorithm to simulate the VPFP system and the PNP system by computing the time-asymptotic behaviors of the solution and the physical quantities. We analyze the convergence of the neural network solution of the VPFP system to that of the PNP system via the Asymptotic-Preserving (AP) scheme. Also, we provide several theoretical evidence that the Deep Neural Network (DNN) solutions to the VPFP and the PNP systems converge to the a priori classical solutions of each system if the total loss function vanishes.
△ Less
Submitted 28 September, 2020;
originally announced September 2020.
-
$L^2$ decay for the linearized Landau equation with the specular boundary condition
Authors:
Yan Guo,
Hyung Ju Hwang,
Jin Woo Jang,
Zhimeng Ouyang
Abstract:
In this paper, we develop an alternative approach to establish the $L^2$ decay estimate for the linearized Landau equation in a bounded domain with specular boundary condition. The proof is based on the methodology of proof by contradiction motivated by [Guo, Comm. Pure Appl. Math., 55(9):1104-1135, 2002] and [Guo, Arch. Ration. Mech. Anal., 197(3):713-809, 2010].
In this paper, we develop an alternative approach to establish the $L^2$ decay estimate for the linearized Landau equation in a bounded domain with specular boundary condition. The proof is based on the methodology of proof by contradiction motivated by [Guo, Comm. Pure Appl. Math., 55(9):1104-1135, 2002] and [Guo, Arch. Ration. Mech. Anal., 197(3):713-809, 2010].
△ Less
Submitted 28 September, 2020; v1 submitted 2 September, 2020;
originally announced September 2020.
-
Averaging with a time-dependent perturbation parameter
Authors:
David Fajman,
Gernot Heißel,
Jin Woo Jang
Abstract:
Motivated by recent problems in mathematical cosmology, in which temporal averaging methods are applied in order to analyze the future asymptotics of models which exhibit oscillatory behavior, we provide a theorem concerning the large-time behavior for solutions of a general class of systems. We thus propose our result to be applicable to a wide range of problems in spatially homogenous cosmology…
▽ More
Motivated by recent problems in mathematical cosmology, in which temporal averaging methods are applied in order to analyze the future asymptotics of models which exhibit oscillatory behavior, we provide a theorem concerning the large-time behavior for solutions of a general class of systems. We thus propose our result to be applicable to a wide range of problems in spatially homogenous cosmology with oscillatory behavior. Mathematically the theorem builds upon the standard theory of averaging in non-linear dynamical systems.
△ Less
Submitted 1 March, 2021; v1 submitted 23 June, 2020;
originally announced June 2020.
-
On the Determinant Problem for the Relativistic Boltzmann Equation
Authors:
James Chapman,
Jin Woo Jang,
Robert M. Strain
Abstract:
This article considers a long-outstanding open question regarding the Jacobian determinant for the relativistic Boltzmann equation in the center-of-momentum coordinates. For the Newtonian Boltzmann equation, the center-of-momentum coordinates have played a large role in the study of the Newtonian non-cutoff Boltzmann equation, in particular, we mention the widely used cancellation lemma by Alexand…
▽ More
This article considers a long-outstanding open question regarding the Jacobian determinant for the relativistic Boltzmann equation in the center-of-momentum coordinates. For the Newtonian Boltzmann equation, the center-of-momentum coordinates have played a large role in the study of the Newtonian non-cutoff Boltzmann equation, in particular, we mention the widely used cancellation lemma by Alexandre et al. (Arch. Ration. Mech. Anal. 152(4):327-355, 2000). In this article we calculate specifically the very complicated Jacobian determinant, in ten variables, for the relativistic collision map from the momentum $p$ to the post-collisional momentum $p'$; specifically we calculate the determinant for $p\mapsto u = θp'+\left(1-θ\right)p$ for $θ\in [0,1]$. Afterwards we give an upper-bound for this determinant that has no singularity in both $p$ and $q$ variables. Next we give an example where we prove that the Jacobian goes to zero in a specific pointwise limit. We further explain the results of our numerical study which shows that the Jacobian determinant has a very large number of distinct points at which it is machine zero. This generalizes the work of Glassey-Strauss (Transport Theory Statist. Phys. 20(1):55-68, 1991) and Guo-Strain (Comm. Math. Phys. 310(3):649-673, 2012). These conclusions make it difficult to envision a direct relativistic analog of the Newtonian cancellation lemma in the center-of-momentum coordinates.
△ Less
Submitted 3 June, 2020;
originally announced June 2020.
-
Propagation of $L^p$ estimates for the Spatially Homogeneous Relativistic Boltzmann Equation
Authors:
Jin Woo Jang,
Seok-Bae Yun
Abstract:
In this paper, we prove the propagation of $L^p$ upper bounds for the spatially homogeneous relativistic Boltzmann equation for any $1<p<\infty$. We consider the case of relativistic \textit{hard ball} with Grad's angular cutoff. Our proof is based on a detailed study of the interrelationship between the relative momenta, the regularity and the $L^p$ estimates for the gain operator, the developmen…
▽ More
In this paper, we prove the propagation of $L^p$ upper bounds for the spatially homogeneous relativistic Boltzmann equation for any $1<p<\infty$. We consider the case of relativistic \textit{hard ball} with Grad's angular cutoff. Our proof is based on a detailed study of the interrelationship between the relative momenta, the regularity and the $L^p$ estimates for the gain operator, the development of the relativistic Carleman representation, and several estimates on the relativistic hypersurface $E^{v_*}_{v'-v}$. We also derive a Pythagorean theorem for the \textit{relative momenta} $g(v,v_*),$ $g(v,v')$, and $g(v',v_*)$, which has a crucial role in the reduction of the momentum singularity.
△ Less
Submitted 31 January, 2020;
originally announced January 2020.
-
Trend to Equilibrium for the Kinetic Fokker-Planck Equation via the Neural Network Approach
Authors:
Hyung Ju Hwang,
Jin Woo Jang,
Hyeontae Jo,
Jae Yong Lee
Abstract:
The issue of the relaxation to equilibrium has been at the core of the kinetic theory of rarefied gas dynamics. In the paper, we introduce the Deep Neural Network (DNN) approximated solutions to the kinetic Fokker-Planck equation in a bounded interval and study the large-time asymptotic behavior of the solutions and other physically relevant macroscopic quantities. We impose the varied types of bo…
▽ More
The issue of the relaxation to equilibrium has been at the core of the kinetic theory of rarefied gas dynamics. In the paper, we introduce the Deep Neural Network (DNN) approximated solutions to the kinetic Fokker-Planck equation in a bounded interval and study the large-time asymptotic behavior of the solutions and other physically relevant macroscopic quantities. We impose the varied types of boundary conditions including the inflow-type and the reflection-type boundaries as well as the varied diffusion and friction coefficients and study the boundary effects on the asymptotic behaviors. These include the predictions on the large-time behaviors of the pointwise values of the particle distribution and the macroscopic physical quantities including the total kinetic energy, the entropy, and the free energy. We also provide the theoretical supports for the pointwise convergence of the neural network solutions to the \textit{a priori} analytic solutions. We use the library \textit{PyTorch}, the activation function \textit{tanh} between layers, and the \textit{Adam} optimizer for the Deep Learning algorithm.
△ Less
Submitted 21 November, 2019;
originally announced November 2019.
-
Propagation of uniform upper bounds for the spatially homogeneous relativistic Boltzmann equation
Authors:
Jin Woo Jang,
Robert M. Strain,
Seok-Bae Yun
Abstract:
In this paper, we prove the propagation of uniform upper bounds for the spatially homogeneous relativistic Boltzmann equation. These $L^\infty$ bounds have been known to be a challenging open problem in relativistic kinetic theory. To accomplish this, we establish two types of estimates for the gain part of the collision operator: first, we prove a potential type estimate and a relativistic hyper-…
▽ More
In this paper, we prove the propagation of uniform upper bounds for the spatially homogeneous relativistic Boltzmann equation. These $L^\infty$ bounds have been known to be a challenging open problem in relativistic kinetic theory. To accomplish this, we establish two types of estimates for the gain part of the collision operator: first, we prove a potential type estimate and a relativistic hyper-surface integral estimate. We then combine those estimates using the relativistic counter-part of the Carleman representation to derive uniform control of the gain term for the relativistic collision operator. This allows us to prove the desired propagation of the uniform bounds of the solution. We further present two applications of the propagation of the uniform upper bounds: first we give another proof of the Boltzmann $H$-theorem, and second we prove the asymptotic convergence of solutions to the relativistic Maxwellian equilibrium.
△ Less
Submitted 17 March, 2021; v1 submitted 12 July, 2019;
originally announced July 2019.
-
The Landau equation with the specular reflection boundary condition
Authors:
Yan Guo,
Hyung Ju Hwang,
Jin Woo Jang,
Zhimeng Ouyang
Abstract:
The existence and stability of the Landau equation (1936) in a general bounded domain with a physical boundary condition is a long-outstanding open problem. This work proves the global stability of the Landau equation with the Coulombic potential in a general smooth bounded domain with the specular reflection boundary condition for initial perturbations of the Maxwellian equilibrium states. The hi…
▽ More
The existence and stability of the Landau equation (1936) in a general bounded domain with a physical boundary condition is a long-outstanding open problem. This work proves the global stability of the Landau equation with the Coulombic potential in a general smooth bounded domain with the specular reflection boundary condition for initial perturbations of the Maxwellian equilibrium states. The highlight of this work also comes from the low-regularity assumptions made for the initial distribution. This work generalizes the recent global stability result for the Landau equation in a periodic box (KGH-2016). Our methods consist of the generalization of the wellposedness theory for the Fokker-Planck equation (HJV-2014, HJJ-2018) and the extension of the boundary value problem to a whole space problem, as well as the use of a recent extension of De Giorgi-Nash-Moser theory for the kinetic Fokker-Planck equations (GIMV-2016) and the Morrey estimates (Polidoro-Ragusa-1998) to further control the velocity derivatives, which ensures the uniqueness. Our methods provide a new understanding of the grazing collisions in the Landau theory for an initial-boundary value problem.
△ Less
Submitted 30 April, 2019;
originally announced May 2019.
-
Gain of regularity for the relativistic collision operator
Authors:
Jin Woo Jang,
Seok-Bae Yun
Abstract:
We study a regularity property for the gain part of the relativistic Boltzmann collision operator. Our assumptions on the collisional scattering kernel cover the full range of generic hard and soft potentials with angular cut-off.
We study a regularity property for the gain part of the relativistic Boltzmann collision operator. Our assumptions on the collisional scattering kernel cover the full range of generic hard and soft potentials with angular cut-off.
△ Less
Submitted 30 August, 2018;
originally announced August 2018.
-
Global Classical Solutions to the Relativistic Boltzmann Equation without Angular Cut-off
Authors:
Jin Woo Jang
Abstract:
We prove the unique existence and exponential decay of global in time classical solutions to the special relativistic Boltzmann equation without any angular cut-off assumptions with initial perturbations in some weighted Sobolev spaces. We consider perturbations of the relativistic Maxwellian equilibrium states. We work in the case of a spatially periodic box. We consider the general conditions on…
▽ More
We prove the unique existence and exponential decay of global in time classical solutions to the special relativistic Boltzmann equation without any angular cut-off assumptions with initial perturbations in some weighted Sobolev spaces. We consider perturbations of the relativistic Maxwellian equilibrium states. We work in the case of a spatially periodic box. We consider the general conditions on the collision kernel from Dudyński and Ekiel-Jeźewska (Commun Math Phys \textbf{115}(4):607--629, 1985). Additionally, we prove sharp constructive upper and coercive lower bounds for the linearized relativistic Boltzmann collision operator in terms of a geometric fractional Sobolev norm; this shows that a spectral gap exists and that this behavior is similar to that of the non-relativistic case as shown by Gressman and Strain (Journal of AMS \textbf{24}(3), 771--847, 2011). Lastly, we derive the relativistic analogue of Carleman dual representation of Boltzmann collision operator. This is the first global existence and stability result for relativistic Boltzmann equation without angular cutoff and this resolves the open question of perturbative global existence for the relativistic kinetic theory without the Grad's angular cut-off assumption.
△ Less
Submitted 18 February, 2021; v1 submitted 11 January, 2016;
originally announced January 2016.
