-
On the equivalent p-th von Neumann-Jordan constant associated with isosceles orthogonality in Banach spaces
Authors:
Yuxin Wang,
Qi Liu,
Yongmo Hu,
Jinyu Xia,
Mengmeng Bao
Abstract:
In this paper, we define a new geometric constant based on isosceles orthogonality, denoted by . Through research, we find that this constant is the equivalent p-th von Neumann Jordan constant in the sense of isosceles orthogonality. First, we obtain some basic properties of the constant. Then, we calculate the upper and lower bounds of the constant. Through three examples, it is found that the up…
▽ More
In this paper, we define a new geometric constant based on isosceles orthogonality, denoted by . Through research, we find that this constant is the equivalent p-th von Neumann Jordan constant in the sense of isosceles orthogonality. First, we obtain some basic properties of the constant. Then, we calculate the upper and lower bounds of the constant. Through three examples, it is found that the upper bound of the constant is attainable. We also compare the relationship between this constant and other constants. Finally, we establish the connection between the constant and some geometric properties in Banach spaces, such as uniform non-squareness, uniform smoothness.
△ Less
Submitted 16 June, 2025;
originally announced June 2025.
-
Classical solutions to a mixed-type PDE with a Keldysh-type degeneracy and accelerating transonic solutions to the Euler-Poisson system
Authors:
Myoungjean Bae,
Ben Duan,
Chunjing Xie
Abstract:
In this paper, we first prove the existence of classical solutions to a class of Keldysh-type equations. Next, we apply this existence result to prove the structural stability of one-dimensional smooth transonic solutions to the steady Euler-Poisson system.
Most importantly, the solutions constructed in this paper are classical solutions to the Euler-Poisson system, thus their sonic interfaces a…
▽ More
In this paper, we first prove the existence of classical solutions to a class of Keldysh-type equations. Next, we apply this existence result to prove the structural stability of one-dimensional smooth transonic solutions to the steady Euler-Poisson system.
Most importantly, the solutions constructed in this paper are classical solutions to the Euler-Poisson system, thus their sonic interfaces are not weak discontinuities in the sense that all the flow variables, such as density, velocity and pressure, are at least $C^1$ across the interfaces.
△ Less
Submitted 22 May, 2025;
originally announced May 2025.
-
A review on two types of sonic interfaces
Authors:
Myoungjean Bae
Abstract:
In this paper, two examples of sonic interfaces are presented. The first example shows the case of sonic interfaces as weak discontinuities in self-similar shock configurations of unsteady Euler system. The second example shows the case of sonic interfaces as regular interfaces in accelerating transonic flows governed by the steady Euler-Poisson system with self-generated electric forces. And, we…
▽ More
In this paper, two examples of sonic interfaces are presented. The first example shows the case of sonic interfaces as weak discontinuities in self-similar shock configurations of unsteady Euler system. The second example shows the case of sonic interfaces as regular interfaces in accelerating transonic flows governed by the steady Euler-Poisson system with self-generated electric forces. And, we discuss analytic differences of the two examples, and introduce an open problem on decelerating transonic solution to the steady Euler-Poisson system.
△ Less
Submitted 9 May, 2024;
originally announced May 2024.
-
The steady Euler-Poisson system and accelerating flows with transonic $C^1$-transitions
Authors:
Myoungjean Bae,
Ben Duan,
Chunjing Xie
Abstract:
In this paper, we prove the existence of two-dimensional solutions to the steady Euler-Poisson system with continuous transonic transitions across sonic interfaces of codimension 1. First, we establish the well-posedness of a boundary value problem for a linear second order system that consists of an elliptic-hyperbolic mixed type equation with a degeneracy occurring on an interface of codimension…
▽ More
In this paper, we prove the existence of two-dimensional solutions to the steady Euler-Poisson system with continuous transonic transitions across sonic interfaces of codimension 1. First, we establish the well-posedness of a boundary value problem for a linear second order system that consists of an elliptic-hyperbolic mixed type equation with a degeneracy occurring on an interface of codimension 1, and an elliptic equation weakly coupled together. Then we apply the Schauder fixed point theorem to prove the existence of two-dimensional solutions to the potential flow model of the steady Euler-Poisson system with continuous transonic transitions across sonic interfaces. With the aid of Helmholtz decomposition, established in [6], we extend the existence result to the full Euler-Poisson system for the case of nonzero vorticity. Most importantly, the solutions constructed in this paper are classical solutions to Euler-Poisson system, thus their sonic interfaces are not weak discontinuities in the sense that all the flow variables are $C^1$ across the interfaces.
△ Less
Submitted 9 August, 2023;
originally announced August 2023.
-
Supersonic flows of the Euler-Poisson system in three-dimensional cylinders
Authors:
Myoungjean Bae,
Hyangdong Park
Abstract:
In this paper, we prove the unique existence of three-dimensional supersonic solutions to the steady Euler-Poisson system in cylindrical nozzles when prescribing the velocity, entropy, and the strength of electric field at the entrance. We first establish the unique existence of irrotational supersonic solutions in a cylindrical nozzle with an arbitrary cross section by extending the results of \c…
▽ More
In this paper, we prove the unique existence of three-dimensional supersonic solutions to the steady Euler-Poisson system in cylindrical nozzles when prescribing the velocity, entropy, and the strength of electric field at the entrance. We first establish the unique existence of irrotational supersonic solutions in a cylindrical nozzle with an arbitrary cross section by extending the results of \cite{bae2021three} with an aid of weighted Sobolev norms. Then, we establish the unique existence of three-dimensional axisymmetric supersonic solutions to the Euler-Poisson system with nonzero vorticity in a circular cylinder. In particular, we construct a three-dimensional solution with a nonzero angular momentum density (or equivalently a nonzero swirl). Therefore this is truly a three dimensional flow in the sense that the Euler-Poisson system cannot be reduced to a two dimensional system via a stream function formulation. The main idea is to reformulate the system into a second order hyperbolic-elliptic coupled system and two transport equations via the method of Helmholtz decomposition, and to employ the method of iterations. Several technical issues, including the issue of singularities on the axis of symmetry and the issue of corner singularities in a Lipschitz domain, are carefully addressed.
△ Less
Submitted 6 March, 2024; v1 submitted 7 February, 2023;
originally announced February 2023.
-
On some kinds of factorizable topological groups
Authors:
Meng Bao,
Xiaoquan Xu
Abstract:
Based on the concepts of $\mathbb{R}$-factorizable topological groups and $\mathcal{M}$-factorizable topological groups, we introduce four classes of factorizabilities on topological groups, named $P\mathcal{M}$-factorizabilities, $Pm$-factorizabilities, $S\mathcal{M}$-factorizabilities and $PS\mathcal{M}$-factorizabilities, respectively. Some properties of the four classes of spaces are investiga…
▽ More
Based on the concepts of $\mathbb{R}$-factorizable topological groups and $\mathcal{M}$-factorizable topological groups, we introduce four classes of factorizabilities on topological groups, named $P\mathcal{M}$-factorizabilities, $Pm$-factorizabilities, $S\mathcal{M}$-factorizabilities and $PS\mathcal{M}$-factorizabilities, respectively. Some properties of the four classes of spaces are investigated.
△ Less
Submitted 14 May, 2022; v1 submitted 3 May, 2022;
originally announced May 2022.
-
A supplement on feathered gyrogroups
Authors:
Meng Bao,
Xuewei Ling,
Xiaoquan Xu
Abstract:
A topological gyrogroup is a gyrogroup endowed with a topology such that the binary operation is jointly continuous and the inverse mapping is also continuous. It is shown that each compact subset of a topological gyrogroup with an $ω^ω$-base is metrizable, which deduces that if $G$ is a topological gyrogroup with an $ω^ω$-base and is a $k$-space, then it is sequential. Moreover, for a feathered s…
▽ More
A topological gyrogroup is a gyrogroup endowed with a topology such that the binary operation is jointly continuous and the inverse mapping is also continuous. It is shown that each compact subset of a topological gyrogroup with an $ω^ω$-base is metrizable, which deduces that if $G$ is a topological gyrogroup with an $ω^ω$-base and is a $k$-space, then it is sequential. Moreover, for a feathered strongly topological gyrogroup $G$, based on the characterization of feathered strongly topological gyrogroups, we show that if $G$ has countable $cs^{*}$-character, then it is metrizable; and it is also shown that $G$ has a compact resolution swallowing the compact sets if and only if $G$ contains a compact $L$-subgyrogroup $H$ such that the quotient space $G/H$ is a Polish space.
△ Less
Submitted 6 September, 2022; v1 submitted 26 April, 2022;
originally announced April 2022.
-
On Function Spaces Related to H-sober Spaces
Authors:
Meng Bao,
Xiaoyuan Zhang,
Xiaoquan Xu
Abstract:
In this paper, we mainly study the function spaces related to H-sober spaces. For an irreducible subset system H and $T_{0}$ spaces $X$ and $Y$, it is proved that $Y$ is H-sober iff the function space $\mathbb{C}(X, Y)$ of all continuous functions $f : X\longrightarrow Y$ equipped with the topology of pointwise convergence is H-sober iff the function space $\mathbb{C}(X, Y)$ equipped with the Isbe…
▽ More
In this paper, we mainly study the function spaces related to H-sober spaces. For an irreducible subset system H and $T_{0}$ spaces $X$ and $Y$, it is proved that $Y$ is H-sober iff the function space $\mathbb{C}(X, Y)$ of all continuous functions $f : X\longrightarrow Y$ equipped with the topology of pointwise convergence is H-sober iff the function space $\mathbb{C}(X, Y)$ equipped with the Isbell topology is H-sober. One immediate corollary is that for a $T_{0}$ space $X$, $Y$ is a sober space (resp., $d$-space, well-filtered space) iff the function space $\mathbb{C}(X, Y)$ equipped with the topology of pointwise convergence is a sober space (resp., $d$-space, well-filtered space) iff the function space $\mathbb{C}(X, Y)$ equipped with the the Isbell topology is a sober space (resp., $d$-space, well-filtered space). It is shown that $T_{0}$ spaces $X$ and $Y$, if the function space $\mathbb{C}(X, Y)$ equipped with the compact-open topology is H-sober, then $Y$ is H-sober. The function space $\mathbb{C}(X, Y)$ equipped with the Scott topology is also discussed.
△ Less
Submitted 19 April, 2022;
originally announced April 2022.
-
Quotient spaces with strong subgyrogroups
Authors:
Meng Bao,
Xuewei Ling,
Xiaoquan Xu
Abstract:
In this paper, we mainly investigate the quotient spaces G/H when G is a strongly topological gyrogroup and H is a strong subgyrogroup of G. It is shown that if G is a strongly topological gyrogroup, H is a closed strong subgyrogroup of G and H is inner neutral, then the quotient space G/H is first-countable if and only if G/H is a bisequential space if and only if G/H is a weakly first-countable…
▽ More
In this paper, we mainly investigate the quotient spaces G/H when G is a strongly topological gyrogroup and H is a strong subgyrogroup of G. It is shown that if G is a strongly topological gyrogroup, H is a closed strong subgyrogroup of G and H is inner neutral, then the quotient space G/H is first-countable if and only if G/H is a bisequential space if and only if G/H is a weakly first-countable space if and only if G/H is a csf-countable and sequential a7-space. Moreover, it is shown that if H is a locally compact metrizable strong subgyrogroup of G and the quotient space G/H is sequential, then G is also sequential; if H is a closed first-countable and separable strong subgyrogroup of G, the quotient space G/H is a cosmic space, then G is also a cosmic space; if the quotient space G/H has a star-countable cs-network or star-countable wcs*-network, then G also has a star-countable cs-network or star-countable wcs*-network, respectively.
△ Less
Submitted 5 April, 2022;
originally announced April 2022.
-
Some properties of Pre-uniform spaces
Authors:
Fucai Lin,
Yufan Xie,
Ting Wu,
Meng Bao
Abstract:
In this paper, we introduce the notions of pre-uniform spaces and pre-proximities and investigate some basic properties about them, where the definition of pre-uniformity here is different with the pre-uniformities which are studied in \cite{BR2016}, \cite{GM2007} and \cite{K2016} respectively. First, we prove that each pre-uniform pre-topology is regular, and give an example to show that there ex…
▽ More
In this paper, we introduce the notions of pre-uniform spaces and pre-proximities and investigate some basic properties about them, where the definition of pre-uniformity here is different with the pre-uniformities which are studied in \cite{BR2016}, \cite{GM2007} and \cite{K2016} respectively. First, we prove that each pre-uniform pre-topology is regular, and give an example to show that there exists a pre-uniform structure on a finite set such that the pre-uniform pre-topology is not discrete. Moreover, we give three methods of generating (strongly) pre-uniformities, that is, the definition of a pre-base, a family of strongly pre-uniform covers, or a family of strongly pre-uniform pseudometrics. As an application, we show that each strongly pre-topological group is completely regular. Finally, we pose the concept of the pre-proximity on a set and discuss some properties of the pre-proximity.
△ Less
Submitted 26 November, 2022; v1 submitted 21 March, 2022;
originally announced March 2022.
-
Some properties of Pre-topological groups
Authors:
Fucai Lin,
Ting Wu,
Yufan Xie,
Meng Bao
Abstract:
In this paper, we pose the concepts of pre-topological groups and some generalizations of pre-topological groups. First, we systematically investigate some basic properties of pre-topological groups; in particular, we prove that each $T_{0}$ pre-topological group is regular and every almost topological group is completely regular which extends A.A. Markov's theorem to the class of almost topologic…
▽ More
In this paper, we pose the concepts of pre-topological groups and some generalizations of pre-topological groups. First, we systematically investigate some basic properties of pre-topological groups; in particular, we prove that each $T_{0}$ pre-topological group is regular and every almost topological group is completely regular which extends A.A. Markov's theorem to the class of almost topological groups. Moreover, it is shown that an almost topological group is $τ$-narrow if and only if it can be embedded as a subgroup of a pre-topological product of almost topological groups of weight less than or equal to $τ$. Finally, the cardinal invariant, the precompactness and the resolvability are investigated in the class of pre-topological groups.
△ Less
Submitted 20 March, 2022;
originally announced March 2022.
-
Embedding into connected, locally connected topological gyrogroups
Authors:
Jingling Lin,
Meng Bao,
Fucai Lin
Abstract:
In this paper, it is proved that every topological gyrogroup $G$ is topologically groupoid isomorphic to a closed subgyrogroup of a connected, locally connected topological gyrogroup $G^{\bullet}$.
In this paper, it is proved that every topological gyrogroup $G$ is topologically groupoid isomorphic to a closed subgyrogroup of a connected, locally connected topological gyrogroup $G^{\bullet}$.
△ Less
Submitted 14 November, 2021;
originally announced November 2021.
-
A class of quotient spaces in strongly topological gyrogroups
Authors:
Meng Bao,
Jie Wang,
Xiaoquan Xu
Abstract:
Quotient space is a class of the most important topological spaces in the research of topology. In this paper, we show that if G is a strongly topological gyrogroup with a symmetric neighborhood base U at 0 and H is an admissible subgyrogroup generated from U , then G/H is first-countable if and only if it is metrizable. Moreover, if H is neutral and G/H is Frechet-Urysohn with an ωω-base, then G/…
▽ More
Quotient space is a class of the most important topological spaces in the research of topology. In this paper, we show that if G is a strongly topological gyrogroup with a symmetric neighborhood base U at 0 and H is an admissible subgyrogroup generated from U , then G/H is first-countable if and only if it is metrizable. Moreover, if H is neutral and G/H is Frechet-Urysohn with an ωω-base, then G/H is first-countable. Therefore, we obtain that if H is neutral, then G/H is metrizable if and only if G/H is Frechet-Urysohn with an ωω-base. Finally, it is shown that if H is neutral, π\c{hi}(G/H) = \c{hi}(G/H) and πω(G/H) = ω(G/H).
△ Less
Submitted 23 April, 2021;
originally announced April 2021.
-
Topological gyrogroups with Frechet-Urysohn property and omega^{omega}-base
Authors:
Meng Bao,
Xiaoyuan Zhang,
Xiaoquan Xu
Abstract:
The concept of topological gyrogroups is a generalization of a topological group. In this work, ones prove that a topological gyrogroup G is metrizable iff G has an ωω-base and G is Frechet-Urysohn. Moreover, in topological gyrogroups, every (countably, sequentially) compact subset being strictly (strongly) Frechet-Urysohn and having an ωω-base are all weakly three-space properties with H a closed…
▽ More
The concept of topological gyrogroups is a generalization of a topological group. In this work, ones prove that a topological gyrogroup G is metrizable iff G has an ωω-base and G is Frechet-Urysohn. Moreover, in topological gyrogroups, every (countably, sequentially) compact subset being strictly (strongly) Frechet-Urysohn and having an ωω-base are all weakly three-space properties with H a closed L-subgyrogroup
△ Less
Submitted 23 April, 2021;
originally announced April 2021.
-
The strong Pytkeev property and strong countable completeness in (strongly) topological gyrogroups
Authors:
Meng Bao,
Xiaoyuan Zhang,
Xiaoquan Xu
Abstract:
A topological gyrogroup is a gyrogroup endowed with a topology such that the binary operation is jointly continuous and the inverse mapping is also continuous. In this paper, it is proved that if $G$ is a sequential topological gyrogroup with an $ω^ω$-base, then $G$ has the strong Pytkeev property. Moreover, some equivalent conditions about $ω^ω$-base and strong Pytkeev property are given in Baire…
▽ More
A topological gyrogroup is a gyrogroup endowed with a topology such that the binary operation is jointly continuous and the inverse mapping is also continuous. In this paper, it is proved that if $G$ is a sequential topological gyrogroup with an $ω^ω$-base, then $G$ has the strong Pytkeev property. Moreover, some equivalent conditions about $ω^ω$-base and strong Pytkeev property are given in Baire topological gyrogroups. Finally, it is shown that if $G$ is a strongly countably complete strongly topological gyrogroup, then $G$ contains a closed, countably compact, admissible subgyrogroup $P$ such that the quotient space $G/P$ is metrizable and the canonical homomorphism $π:G\rightarrow G/P$ is closed.
△ Less
Submitted 21 March, 2021;
originally announced March 2021.
-
Three-dimensional supersonic flows of Euler-Poisson system for potential flow
Authors:
Myoungjean Bae,
Hyangdong Park
Abstract:
We prove the unique existence of supersonic solutions of the Euler- Poisson system for potential flow in a three-dimensional rectangular cylinder when prescribing the velocity and the strength of electric field at the entrance. Overall, the main framework is similar to [1], but there are several technical differences to be taken care of vary carefully. And, it is our main goal to treat all the tec…
▽ More
We prove the unique existence of supersonic solutions of the Euler- Poisson system for potential flow in a three-dimensional rectangular cylinder when prescribing the velocity and the strength of electric field at the entrance. Overall, the main framework is similar to [1], but there are several technical differences to be taken care of vary carefully. And, it is our main goal to treat all the technical differences occurring when one considers a three dimensional supersonic solution of the steady Euler-Poisson system.
△ Less
Submitted 1 March, 2021;
originally announced March 2021.
-
Strongly Topological Gyrogroups and Quotient With Respect to L-subgyrogroups
Authors:
Meng Bao,
Xuewei Ling,
Xiaoquan Xu
Abstract:
In this paper, some generalized metric properties in strongly topological gyrogroups are studied.
In this paper, some generalized metric properties in strongly topological gyrogroups are studied.
△ Less
Submitted 13 February, 2021; v1 submitted 11 February, 2021;
originally announced February 2021.
-
Submaximal properties in (strongly) topological gyrogroups
Authors:
Meng Bao,
Fucai Lin
Abstract:
A space $X$ is submaximal if any dense subset of $X$ is open. In this paper, we prove that every submaximal topological gyrogroup of non-measurable cardinality is strongly $σ$-discrete. Moreover, we prove that every submaximal strongly topological gyrogroup of non-measurable cardinality is hereditarily paracompact.
A space $X$ is submaximal if any dense subset of $X$ is open. In this paper, we prove that every submaximal topological gyrogroup of non-measurable cardinality is strongly $σ$-discrete. Moreover, we prove that every submaximal strongly topological gyrogroup of non-measurable cardinality is hereditarily paracompact.
△ Less
Submitted 9 November, 2020;
originally announced November 2020.
-
Separability in (strongly) topological gyrogroups
Authors:
Meng Bao,
Xiaoyuan Zhang,
Xiaoquan Xu
Abstract:
Separability is one of the most basic and important topological properties. In this paper, the separability in (strongly) topological gyrogroups is studied. It is proved that every first-countable left ω-narrow strongly topological gyrogroup is separable. Furthermore, it is shown that if a feathered strongly topological gyrogroup G is isomorphic to a subgyrogroup of a separable strongly topologica…
▽ More
Separability is one of the most basic and important topological properties. In this paper, the separability in (strongly) topological gyrogroups is studied. It is proved that every first-countable left ω-narrow strongly topological gyrogroup is separable. Furthermore, it is shown that if a feathered strongly topological gyrogroup G is isomorphic to a subgyrogroup of a separable strongly topological gyrogroup, then G is separable. Therefore, if a metrizable strongly topological gyrogroup G is isomorphic to a subgyrogroup of a separable strongly topological gyrogroup, then G is separable, and if a locally compact strongly topological gyrogroup G is isomorphic to a subgyrogroup of a separable strongly topological gyrogroup, then G is separable.
△ Less
Submitted 4 November, 2020;
originally announced November 2020.
-
Suitable sets for strongly topological gyrogroups
Authors:
Fucai Lin,
Tingting Shi,
Meng Bao
Abstract:
A discrete subset $S$ of a topological gyrogroup $G$ with the identity $0$ is said to be a {\it suitable set} for $G$ if it generates a dense subgyrogroup of $G$ and $S\cup \{0\}$ is closed in $G$. In this paper, it was proved that each countable Hausdorff topological gyrogroup has a suitable set; moreover, it is shown that each separable metrizable strongly topological gyrogroup has a suitable se…
▽ More
A discrete subset $S$ of a topological gyrogroup $G$ with the identity $0$ is said to be a {\it suitable set} for $G$ if it generates a dense subgyrogroup of $G$ and $S\cup \{0\}$ is closed in $G$. In this paper, it was proved that each countable Hausdorff topological gyrogroup has a suitable set; moreover, it is shown that each separable metrizable strongly topological gyrogroup has a suitable set.
△ Less
Submitted 27 May, 2020;
originally announced May 2020.
-
Quotient with respect to admissible $L$-subgyrogroups
Authors:
Meng Bao,
Fucai Lin
Abstract:
The concept of gyrogroups, with a weaker algebraic structure without associative law, was introduced under the background of $c$-ball of relativistically admissible velocities with Einstein velocity addition. A topological gyrogroup is just a gyrogroup endowed with a compatible topology such that the multiplication is jointly continuous and the inverse is continuous. This concept is a good general…
▽ More
The concept of gyrogroups, with a weaker algebraic structure without associative law, was introduced under the background of $c$-ball of relativistically admissible velocities with Einstein velocity addition. A topological gyrogroup is just a gyrogroup endowed with a compatible topology such that the multiplication is jointly continuous and the inverse is continuous. This concept is a good generalization of a topological group. In this paper, we are going to establish that for a locally compact admissible $L$-subgyrogroup $H$ of a strongly topological gyrogroup $G$, the natural quotient mapping $π$ from $G$ onto the quotient space $G/H$ has some nice local properties, such as, local compactness, local pseudocompactness, local paracompactness, etc. Finally, we prove that each locally paracompact strongly topological gyrogroup is paracompact.
△ Less
Submitted 10 November, 2020; v1 submitted 18 March, 2020;
originally announced March 2020.
-
Submetrizability of strongly topological gyrogroups
Authors:
Meng Bao,
Fucai Lin
Abstract:
Topological gyrogroups, with a weaker algebraic structure without associative law, have been investigated recently. We prove that each $T_{0}$-strongly topological gyrogroup is completely regular. We also prove that every $T_{0}$-strongly topological gyrogroup with a countable pseudocharacter is submetrizable. Finally, we prove that the left coset space $G/H$ is submetrizable if $H$ is an admissib…
▽ More
Topological gyrogroups, with a weaker algebraic structure without associative law, have been investigated recently. We prove that each $T_{0}$-strongly topological gyrogroup is completely regular. We also prove that every $T_{0}$-strongly topological gyrogroup with a countable pseudocharacter is submetrizable. Finally, we prove that the left coset space $G/H$ is submetrizable if $H$ is an admissible $L$-subgyrogroup of a $T_{0}$-strongly topological gyrogroup $G$.
△ Less
Submitted 10 November, 2020; v1 submitted 13 March, 2020;
originally announced March 2020.
-
Feathered gyrogroups and gyrogroups with countable pseudocharacter
Authors:
Meng Bao,
Fucai Lin
Abstract:
Topological gyrogroups, with a weaker algebraic structure than groups, have been investigated recently. In this paper, we prove that every feathered strongly topological gyrogroup is paracompact, which implies that every feathered strongly topological gyrogroup is a $D$-space and gives partial answers to two questions posed by A.V.Arhangel' ski\vı~(2010) in \cite{AA1}. Moreover, we prove that ever…
▽ More
Topological gyrogroups, with a weaker algebraic structure than groups, have been investigated recently. In this paper, we prove that every feathered strongly topological gyrogroup is paracompact, which implies that every feathered strongly topological gyrogroup is a $D$-space and gives partial answers to two questions posed by A.V.Arhangel' ski\vı~(2010) in \cite{AA1}. Moreover, we prove that every locally compact $NSS$-gyrogroup is first-countable. Finally, we prove that each Lindelöf $P$-gyrogroup is Ra$\check{\imath}$kov complete.
△ Less
Submitted 28 November, 2019;
originally announced November 2019.
-
Optimal intervention strategies of staged progression HIV infections through an age-structured model with probabilities of ART drop out
Authors:
Mboya Ba,
Ramsès Djidjou-Demasse,
Mountaga Lam,
Jean-Jules Tewa
Abstract:
In this paper, we construct a model to describe the transmission of HIV in a homogeneous host population. By considering the specific mechanism of HIV, we derive a model structured in three successive stages: (i) primary infection, (ii) long phase of latency without symptoms and (iii) AIDS. Each HIV stage is stratified by the duration for which individuals have been in the stage, leading to a cont…
▽ More
In this paper, we construct a model to describe the transmission of HIV in a homogeneous host population. By considering the specific mechanism of HIV, we derive a model structured in three successive stages: (i) primary infection, (ii) long phase of latency without symptoms and (iii) AIDS. Each HIV stage is stratified by the duration for which individuals have been in the stage, leading to a continuous age-structure model. In the first part of the paper, we provide a global analysis of the model depending upon the basic reproduction number R 0. When R 0 $\le$ 1, then the disease-free equilibrium is globally asymptotically stable and the infection is cleared in the host population. On the contrary, if R 0 > 1, we prove the epidemic's persistence with the asymptotic stability of the endemic equilibrium. By performing the sensitivity analysis, we then determine the impact 1 of control-related parameters of the outbreak severity. For the second part, the initial model is extended with intervention methods. By taking into account ART interventions and the probability of treatment drop out, we discuss optimal interventions methods which minimize the number of AIDS cases.
△ Less
Submitted 15 November, 2019;
originally announced November 2019.
-
Detached shock past a blunt body
Authors:
Myoungjean Bae,
Wei Xiang
Abstract:
In $\R^2$, a symmetric blunt body $W_b$ is fixed by smoothing out the tip of a symmetric wedge $W_0$ with the half-wedge angle $θ_w\in (0, \fracπ{2})$. We first show that if a horizontal supersonic flow of uniform state moves toward $W_0$ with a Mach number $M_{\infty}>1$ sufficiently large, %depending on $θ_w$, then there exist two shock solutions, {\emph{a weak shock solution and a strong shock…
▽ More
In $\R^2$, a symmetric blunt body $W_b$ is fixed by smoothing out the tip of a symmetric wedge $W_0$ with the half-wedge angle $θ_w\in (0, \fracπ{2})$. We first show that if a horizontal supersonic flow of uniform state moves toward $W_0$ with a Mach number $M_{\infty}>1$ sufficiently large, %depending on $θ_w$, then there exist two shock solutions, {\emph{a weak shock solution and a strong shock solution}}, with the shocks being straight and attached to the tip of the wedge $W_0$. Such shock solutions are given by a shock polar analysis, and they satisfy entropy conditions. The main goal of this work is to construct a detached shock solution of the steady Euler system for inviscid compressible irrotational flow in $\R^2\setminus W_b$. In particular, we seek a shock solution with the far-field state being the strong shock solution obtained from the shock polar analysis. Furthermore, we prove that the detached shock forms a convex curve around the blunt body $W_b$ if the Mach number of the incoming supersonic flow is sufficiently large, and if the boundary of $W_b$ is convex.
△ Less
Submitted 12 June, 2020; v1 submitted 29 September, 2019;
originally announced September 2019.
-
Prandtl-Meyer Reflection Configurations, Transonic Shocks, and Free Boundary Problems
Authors:
Myoungjean Bae,
Gui-Qiang G. Chen,
Mikhail Feldman
Abstract:
We are concerned with the Prandtl-Meyer reflection configurations of unsteady global solutions for supersonic flow impinging upon a symmetric solid wedge. Prandtl (1936) first employed the shock polar analysis to show that there are two possible steady configurations: the steady weak and strong shock solutions, when a steady supersonic flow impinges upon the wedge whose angle is less than the deta…
▽ More
We are concerned with the Prandtl-Meyer reflection configurations of unsteady global solutions for supersonic flow impinging upon a symmetric solid wedge. Prandtl (1936) first employed the shock polar analysis to show that there are two possible steady configurations: the steady weak and strong shock solutions, when a steady supersonic flow impinges upon the wedge whose angle is less than the detachment angle, and then conjectured that the steady weak shock solution is physically admissible. The fundamental issue of whether one or both of the steady weak/strong shocks are physically admissible has been vigorously debated over the past eight decades and has not yet been settled definitively. On the other hand, the Prandtl-Meyer reflection configurations are core configurations in the structure of global entropy solutions of the 2-D Riemann problem, while the Riemann solutions themselves are local building blocks and determine local structures, global attractors, and large-time asymptotic states of general entropy solutions. In this sense, we have to understand the reflection configurations to understand fully the global entropy solutions of 2-D hyperbolic systems of conservation laws, including the admissibility issue for the entropy solutions. In this monograph, we address this longstanding open issue and present our analysis to establish the stability theorem for the steady weak shock solutions as the long-time asymptotics of the Prandtl-Meyer reflection configurations for unsteady potential flow for all the physical parameters up to the detachment angle. To achieve these, we first reformulate the problem as a free boundary problem involving transonic shocks and then obtain appropriate monotonicity properties and uniform a priori estimates for admissible solutions, which allow us to employ the Leray-Schauder degree argument to complete the theory.
△ Less
Submitted 2 February, 2024; v1 submitted 17 January, 2019;
originally announced January 2019.
-
Contact discontinuities for 3-D axisymmetric inviscid compressible flows in infinitely long cylinders
Authors:
Myoungjean Bae,
Hyangdong Park
Abstract:
We prove the existence of a subsonic axisymmetric weak solution $({\bf u},ρ,p)$ with ${\bf u}=u_x{\bf e}_x+u_r{\bf e}_r+u_θ{\bf e}_θ$ to steady Euler system in a three-dimensional infinitely long cylinder $\mathcal{N}$ when prescribing the values of the entropy $(=\frac{p}{ρ^γ})$ and angular momentum density $(=ru_θ)$ at the entrance by piecewise $C^2$ functions with a discontinuity on a curve on…
▽ More
We prove the existence of a subsonic axisymmetric weak solution $({\bf u},ρ,p)$ with ${\bf u}=u_x{\bf e}_x+u_r{\bf e}_r+u_θ{\bf e}_θ$ to steady Euler system in a three-dimensional infinitely long cylinder $\mathcal{N}$ when prescribing the values of the entropy $(=\frac{p}{ρ^γ})$ and angular momentum density $(=ru_θ)$ at the entrance by piecewise $C^2$ functions with a discontinuity on a curve on the entrance of $\mathcal{N}$. Due to the variable entropy and angular momentum density (=swirl) conditions with a discontinuity at the entrance, the corresponding solution has a nonzero vorticity, nonzero swirl, and contains a contact discontinuity $r=g_D(x)$. We construct such a solution via Helmholtz decomposition. The key step is to decompose the Rankine-Hugoniot conditions on the contact discontinuity via Helmholtz decomposition so that the compactness of approximated solutions can be achieved. Then we apply the method of iteration to obtain a piecewise smooth subsonic flow with a contact discontinuity, nonzero vorticity, and nonzero angular momentum density. We also analyze the asymptotic behavior of the solution at far field.
△ Less
Submitted 18 April, 2019; v1 submitted 15 January, 2019;
originally announced January 2019.
-
Contact discontinuities for 2-D inviscid compressible flows in infinitely long nozzles
Authors:
Myoungjean Bae,
Hyangdong Park
Abstract:
We prove the existence of a subsonic weak solution $({\bf u}, ρ, p)$ to steady Euler system in a two-dimensional infinitely long nozzle when prescribing the value of the entropy $(= \frac{p}{ρ^γ})$ at the entrance by a piecewise $C^2$ function with a discontinuity at a point. Due to the variable entropy condition with a discontinuity at the entrance, the corresponding solution has a nonzero vortic…
▽ More
We prove the existence of a subsonic weak solution $({\bf u}, ρ, p)$ to steady Euler system in a two-dimensional infinitely long nozzle when prescribing the value of the entropy $(= \frac{p}{ρ^γ})$ at the entrance by a piecewise $C^2$ function with a discontinuity at a point. Due to the variable entropy condition with a discontinuity at the entrance, the corresponding solution has a nonzero vorticity and contains a contact discontinuity $x_2=g_D(x_1)$. We construct such a solution via Helmholtz decomposition. The key step is to decompose the Rankine-Hugoniot conditions on the contact discontinuity via Helmholtz decomposition so that the compactness of approximated solutions can be achieved. Then we apply the method of iteration to obtain a piecewise smooth subsonic flow with a contact discontinuity and nonzero vorticity. We also analyze the asymptotic behavior of the solution at far field.
△ Less
Submitted 18 April, 2019; v1 submitted 10 October, 2018;
originally announced October 2018.
-
Radial transonic shock solutions of Euler-Poisson system in convergent nozzles
Authors:
Myoungjean Bae,
Yong Park
Abstract:
Given constant data of density $ρ_0$, velocity $-u_0{\bf e}_r$, pressure $p_0$ and electric force $-E_0{\bf e}_r$ for supersonic flow at the entrance, and constant pressure $p_{\rm ex}$ for subsonic flow at the exit, we prove that Euler-Poisson system admits a unique transonic shock solution in a two dimensional convergent nozzle, provided that $u_0>0$, $E_0>0$, and that $E_0$ is sufficiently larg…
▽ More
Given constant data of density $ρ_0$, velocity $-u_0{\bf e}_r$, pressure $p_0$ and electric force $-E_0{\bf e}_r$ for supersonic flow at the entrance, and constant pressure $p_{\rm ex}$ for subsonic flow at the exit, we prove that Euler-Poisson system admits a unique transonic shock solution in a two dimensional convergent nozzle, provided that $u_0>0$, $E_0>0$, and that $E_0$ is sufficiently large depending on $(ρ_0, u_0, p_0)$ and the length of the nozzle.
△ Less
Submitted 22 February, 2017;
originally announced February 2017.
-
3-D axisymmetric subsonic flows with nonzero swirl for the compressible Euler-Poisson system
Authors:
Myoungjean Bae,
Shangkun Weng
Abstract:
We address the structural stability of 3-D axisymmetric subsonic flows with nonzero swirl for the steady compressible Euler-Poisson system in a cylinder supplemented with non small boundary data. A special Helmholtz decomposition of the velocity field is introduced for 3-D axisymmetric flow with a nonzero swirl(=angular momentum density) component.
With the newly introduced decomposition, a quas…
▽ More
We address the structural stability of 3-D axisymmetric subsonic flows with nonzero swirl for the steady compressible Euler-Poisson system in a cylinder supplemented with non small boundary data. A special Helmholtz decomposition of the velocity field is introduced for 3-D axisymmetric flow with a nonzero swirl(=angular momentum density) component.
With the newly introduced decomposition, a quasilinear elliptic system of second order is derived from the elliptic modes in Euler-Poisson system for subsonic flows. Due to the nonzero swirl, the main difficulties lie in the solvability of a singular elliptic equation which concerns the angular component of the vorticity in its cylindrical representation, and in analysis of streamlines near the axis $r=0$.
△ Less
Submitted 5 May, 2016; v1 submitted 18 April, 2016;
originally announced April 2016.
-
Structural stability of Supersonic solutions to the Euler-Poisson system
Authors:
Myoungjean Bae,
Ben Duan,
Jingjing Xiao,
Chunjing Xie
Abstract:
The well-posedness for the supersonic solutions of the Euler-Poisson system for hydrodynamical model in semiconductor devices and plasmas is studied in this paper. We first reformulate the Euler-Poisson system in the supersonic region into a second order hyperbolic-elliptic coupled system together with several transport equations. One of the key ingredients of the analysis is to obtain the well-po…
▽ More
The well-posedness for the supersonic solutions of the Euler-Poisson system for hydrodynamical model in semiconductor devices and plasmas is studied in this paper. We first reformulate the Euler-Poisson system in the supersonic region into a second order hyperbolic-elliptic coupled system together with several transport equations. One of the key ingredients of the analysis is to obtain the well-posedness of the boundary value problem for the associated linearized hyperbolic-elliptic coupled system, which is achieved via a delicate choice of multiplier to gain energy estimate. The nonlinear structural stability of supersonic solution in the general situation is established by combining the iteration method with the estimate for hyperbolic-elliptic system and the transport equations together.
△ Less
Submitted 9 January, 2019; v1 submitted 4 February, 2016;
originally announced February 2016.
-
Two dimensional subsonic flows with self-gravitation in bounded domain
Authors:
Myoungjean Bae,
Ben Duan,
Chunjing Xie
Abstract:
We investigate two dimensional steady Euler-Poisson system which describe the motion of compressible self-gravitating flows. The unique existence and stability of subsonic flows in a duct of finite length are obtained when prescribing the entropy at the entrance and the pressure at the exit. After introducing the stream function, the Euler-Poisson system can be decomposed into several transport eq…
▽ More
We investigate two dimensional steady Euler-Poisson system which describe the motion of compressible self-gravitating flows. The unique existence and stability of subsonic flows in a duct of finite length are obtained when prescribing the entropy at the entrance and the pressure at the exit. After introducing the stream function, the Euler-Poisson system can be decomposed into several transport equations and a second order nonlinear elliptic system. We discover an energy estimate for the associated elliptic system which is a key ingredient to prove the unique existence and stability of subsonic flow.
△ Less
Submitted 17 June, 2014;
originally announced June 2014.
-
A Sobolev inequality and the individual invariance principle for diffusions in a periodic potential
Authors:
Moustapha Ba,
Pierre Mathieu
Abstract:
We consider a diffusion process in $\mathbb{R}^d$ with a generator of the form $ L:=\frac 12 e^{V(x)}div(e^{-V(x)}\nabla ) $ where $V$ is measurable and periodic. We only assume that $e^V$ and $e^{-V}$ are locally integrable. We then show that, after proper rescaling, the law of the diffusion converges to a Brownian motion for Lebesgue almost all starting points.
This pointwise invariance princi…
▽ More
We consider a diffusion process in $\mathbb{R}^d$ with a generator of the form $ L:=\frac 12 e^{V(x)}div(e^{-V(x)}\nabla ) $ where $V$ is measurable and periodic. We only assume that $e^V$ and $e^{-V}$ are locally integrable. We then show that, after proper rescaling, the law of the diffusion converges to a Brownian motion for Lebesgue almost all starting points.
This pointwise invariance principle was previously known under uniform ellipticity conditions (when $V$ is bounded), and was recently proved under more restrictive $L^p$ conditions on $e^V$ and $e^{-V}$.
Our approach uses Dirichlet form theory to define the process, martingales and time changes and the construction of a corrector. Our main technical tool to show the sub-linear growth of the corrector is a new weighted Sobolev type inequality for integrable potentials. We heavily rely on harmonic analysis technics.
△ Less
Submitted 17 December, 2013;
originally announced December 2013.
-
Subsonic solutions for steady Euler-Poisson system in two dimensional nozzles
Authors:
Myoungjean Bae,
Ben Duan,
Chunjing Xie
Abstract:
In this paper, we prove the existence and stability of subsonic flows for steady full Euler-Poisson system in a two dimensional nozzle of finite length when imposing the electric potential difference on non-insulated boundary from a fixed point at the entrance, and prescribing the pressure at the exit of the nozzle. The Euler-Poisson system for subsonic flow is a hyperbolic-elliptic coupled nonlin…
▽ More
In this paper, we prove the existence and stability of subsonic flows for steady full Euler-Poisson system in a two dimensional nozzle of finite length when imposing the electric potential difference on non-insulated boundary from a fixed point at the entrance, and prescribing the pressure at the exit of the nozzle. The Euler-Poisson system for subsonic flow is a hyperbolic-elliptic coupled nonlinear system. One of the crucial ingredient of this work is the combination of Helmholtz decomposition for the velocity field and stream function formulation together. In terms of the Helmholtz decomposition, the Euler-Poisson system is rewritten as a second order nonlinear elliptic system of three equations and transport equations for entropy and pseudo-Bernoulli's invariant. The associated elliptic system in a Lipschitz domain with nonlinear boundary conditions is solved with the help of the estimates developed in [2] based on its nice structure. The transport equations are resolved via the flow map induced by the stream function formulation. Furthermore, the delicate estimates for the flow map give the uniqueness of the solutions.
△ Less
Submitted 12 September, 2013;
originally announced September 2013.
-
Binary trees, exploration processes, and an extented Ray--Knight Theorem
Authors:
Mamadou Ba,
Etienne Pardoux,
Ahmadou Bamba Sow
Abstract:
We study the bijection between binary Galton--Watson trees in continuous time and their exploration process, both in the sub- and in the supercritical cases. We then take the limit over renormalized quantities, as the size of the population tends to infinity. We thus deduce Delmas' generalization of the second Ray--Knight theorem.
We study the bijection between binary Galton--Watson trees in continuous time and their exploration process, both in the sub- and in the supercritical cases. We then take the limit over renormalized quantities, as the size of the population tends to infinity. We thus deduce Delmas' generalization of the second Ray--Knight theorem.
△ Less
Submitted 6 May, 2013;
originally announced May 2013.
-
Branching processes with competition and generalized Ray Knight Theorem
Authors:
Mamadou Ba,
Etienne Pardoux
Abstract:
We consider a discrete model of population with interaction where the birth and death rates are non linear functions of the population size. After proceeding to renormalization of the model parameters, we obtain in the limit of large population that the population size evolves as a diffusion solution of the SDE Z^x_t =x+\int_0^t f(Z^x_s)ds+2\int_0^t\int_0^{Z^x_s}W(ds,du), where W(ds,du) is a time…
▽ More
We consider a discrete model of population with interaction where the birth and death rates are non linear functions of the population size. After proceeding to renormalization of the model parameters, we obtain in the limit of large population that the population size evolves as a diffusion solution of the SDE Z^x_t =x+\int_0^t f(Z^x_s)ds+2\int_0^t\int_0^{Z^x_s}W(ds,du), where W(ds,du) is a time space white noise on ([0,\infty))^2. We give a Ray-Knight representation of this diffusion in terms of the local times of a reflected Brownian motion H with a drift that depends upon the local time accumulated by H at its current level, through the function f'/2.
△ Less
Submitted 2 April, 2013;
originally announced April 2013.
-
Subsonic flow for multidimensional Euler-Poisson system
Authors:
Myoungjean Bae,
Ben Duan,
Chunjing Xie
Abstract:
We establish unique existence and stability of subsonic potential flow for steady Euler-Poisson system in a multidimensional nozzle of a finite length when prescribing the electric potential difference on non-insulated boundary from a fixed point at the exit, and prescribing the pressure at the exit of the nozzle. The Euler-Poisson system for subsonic potential flow can be reduced to a nonlinear e…
▽ More
We establish unique existence and stability of subsonic potential flow for steady Euler-Poisson system in a multidimensional nozzle of a finite length when prescribing the electric potential difference on non-insulated boundary from a fixed point at the exit, and prescribing the pressure at the exit of the nozzle. The Euler-Poisson system for subsonic potential flow can be reduced to a nonlinear elliptic system of second order. In this paper, we develop a technique to achieve a priori $C^{1,\alp}$ estimates of solutions to a quasi-linear second order elliptic system with mixed boundary conditions in a multidimensional domain with Lipschitz continuous boundary. Particularly, we discovered a special structure of the Euler-Poisson system which enables us to obtain $C^{1,\alp}$ estimates of velocity potential and electric potential functions, and this leads us to establish structural stability of subsonic flows for the Euler-Poisson system under perturbations of various data.
△ Less
Submitted 2 June, 2013; v1 submitted 22 November, 2012;
originally announced November 2012.
-
Prandtl-Meyer Reflection for Supersonic Flow past a Solid Ramp
Authors:
Myoungjean Bae,
Gui-Qiang Chen,
Mikhail Feldman
Abstract:
We present our recent results on the Prandtl-Meyer reflection for supersonic potential flow past a solid ramp. When a steady supersonic flow passes a solid ramp, there are two possible configurations: the weak shock solution and the strong shock solution. Elling-Liu's theorem (2008) indicates that the steady supersonic weak shock solution can be regarded as a long-time asymptotics of an unsteady f…
▽ More
We present our recent results on the Prandtl-Meyer reflection for supersonic potential flow past a solid ramp. When a steady supersonic flow passes a solid ramp, there are two possible configurations: the weak shock solution and the strong shock solution. Elling-Liu's theorem (2008) indicates that the steady supersonic weak shock solution can be regarded as a long-time asymptotics of an unsteady flow for a class of physical parameters determined by certain assumptions for potential flow. In this paper we discuss our recent progress in removing these assumptions and establishing the stability theorem for steady supersonic weak shock solutions as the long-time asymptotics of unsteady flows for all the physical parameters for potential flow. We apply new mathematical techniques developed in our recent work to obtain monotonicity properties and uniform apriori estimates for weak solutions, which allow us to employ the Leray-Schauder degree argument to complete the theory for the general case.
△ Less
Submitted 31 December, 2011;
originally announced January 2012.
-
Stability Of contact discontinuity for steady Euler System in infinite duct
Authors:
Myoungjean Bae
Abstract:
In this paper, we prove structural stability of contact discontinuities for full Euler system.
In this paper, we prove structural stability of contact discontinuities for full Euler system.
△ Less
Submitted 11 March, 2012; v1 submitted 23 March, 2011;
originally announced March 2011.
-
Transonic Shocks In Multidimensional Divergent Nozzles
Authors:
Myoungjean Bae,
Mikhail Feldman
Abstract:
We establish existence, uniqueness and stability of transonic shocks for steady compressible non-isentropic potential flow system in a multidimensional divergent nozzle with an arbitrary smooth cross-section, for a prescribed exit pressure. The proof is based on solving a free boundary problem for a system of partial differential equations consisting of an elliptic equation and a transport equatio…
▽ More
We establish existence, uniqueness and stability of transonic shocks for steady compressible non-isentropic potential flow system in a multidimensional divergent nozzle with an arbitrary smooth cross-section, for a prescribed exit pressure. The proof is based on solving a free boundary problem for a system of partial differential equations consisting of an elliptic equation and a transport equation. In the process, we obtain unique solvability for a class of transport equations with velocity fields of weak regularity(non-Lipschitz), an infinite dimensional weak implicit mapping theorem which does not require continuous Frechet differentiability, and regularity theory for a class of elliptic partial differential equations with discontinuous oblique boundary conditions.
△ Less
Submitted 26 October, 2010; v1 submitted 23 March, 2010;
originally announced March 2010.
-
Regularity of Solutions to Regular Shock Reflection for Potential Flow
Authors:
Myoungjean Bae,
Gui-Qiang Chen,
Mikhail Feldman
Abstract:
The shock reflection problem is one of the most important problems in mathematical fluid dynamics, since this problem not only arises in many important physical situations but also is fundamental for the theory of multidimensional conservation laws. However, most of the fundamental issues for shock reflection have not been understood. Therefore, it is important to establish the regularity of sol…
▽ More
The shock reflection problem is one of the most important problems in mathematical fluid dynamics, since this problem not only arises in many important physical situations but also is fundamental for the theory of multidimensional conservation laws. However, most of the fundamental issues for shock reflection have not been understood. Therefore, it is important to establish the regularity of solutions to shock reflection in order to understand fully the phenomena of shock reflection. On the other hand, for a regular reflection configuration, the potential flow governs the exact behavior of the solution in $C^{1,1}$ across the pseudo-sonic circle even starting from the full Euler flow, that is, both of the nonlinear systems are actually the same in an physically significant region near the pseudo-sonic circle; thus, it becomes essential to understand the optimal regularity of solutions for the potential flow across the pseudo-sonic circle and at the point where the pseudo-sonic circle meets the reflected shock. In this paper, we study the regularity of solutions to regular shock reflection for potential flow. In particular, we prove that the $C^{1,1}$-regularity is optimal for the solution across the pseudo-sonic circle and at the point where the pseudo-sonic circle meets the reflected shock. We also obtain the $C^{2,α}$ regularity of the solution up to the pseudo-sonic circle in the pseudo-subsonic region. The problem involves two types of transonic flow: one is a continuous transition through the pseudo-sonic circle from the pseudo-supersonic region to the pseudo-subsonic region; the other a jump transition through the transonic shock as a free boundary from another pseudo-supersonic region to the pseudo-subsonic region.
△ Less
Submitted 15 April, 2008;
originally announced April 2008.
