-
Global regularity of Leray-Hopf weak solutions to 3D Navier-Stokes equations
Authors:
Myong-Hwan Ri
Abstract:
We show that any Leray-Hopf weak solution to 3D Navier-Stokes equations with initial values u0 2 H1=2(R3) belong to L1(0; 1; H1=2(R3)) and thus it is regular. For the proof, flrst, we construct a supercritical space, the norm of which is compared to the homogeneous Sobolev H_ 1=2-norm in that it has inverse logarithmic weight very sparsely in the frequency domain. Then we obtain the energy estimat…
▽ More
We show that any Leray-Hopf weak solution to 3D Navier-Stokes equations with initial values u0 2 H1=2(R3) belong to L1(0; 1; H1=2(R3)) and thus it is regular. For the proof, flrst, we construct a supercritical space, the norm of which is compared to the homogeneous Sobolev H_ 1=2-norm in that it has inverse logarithmic weight very sparsely in the frequency domain. Then we obtain the energy estimates of high frequency parts of the solution which involve the supercritical norm on the right-hand side. Finally, we superpose the energy norm of high frequency parts of the solution to get estimates of the critical norms of the weak solution via the re-scaling argument.
△ Less
Submitted 27 August, 2025;
originally announced August 2025.
-
Construction and properties of fuzzy-valued fractal interpolation function by using iterated function system
Authors:
CholHui Yun,
Hyang Choe,
MiGyong Ri
Abstract:
In nature, there are many phenomena with both irregularity and uncertainty. Therefore, a fuzzy-valued fractal interpolation is more useful for modeling them than fuzzy interpolation or fractal interpolation. We construct fractal interpolation functions that interpolate a given data set of fuzzy numbers using an iterated function system and study the Holder continuity of the constructed function. F…
▽ More
In nature, there are many phenomena with both irregularity and uncertainty. Therefore, a fuzzy-valued fractal interpolation is more useful for modeling them than fuzzy interpolation or fractal interpolation. We construct fractal interpolation functions that interpolate a given data set of fuzzy numbers using an iterated function system and study the Holder continuity of the constructed function. Firstly, we construct an iterated function system (IFS) using the given data set and construct a fuzzy-valued fractal interpolation function whose graph is the attractor of the constructed IFS. Next, we find the relationship between the fuzzy-valued fractal interpolation function and the fractal interpolation function of the level set of the data set. Finally, we prove the Holder continuity of the fuzzy-valued fractal interpolation function.
△ Less
Submitted 17 July, 2025;
originally announced August 2025.
-
Construction of fuzzy valued recurrent fractal interpolation functions and their properties
Authors:
Hyang Choe,
MiGyong Ri,
CholHui Yun
Abstract:
In the process of measuring objects with local self-similarity, such as satellite images or coastlines, we obtain a data set with both local self-similarity and uncertainty. To better interpolate such data sets, an interpolation function with both local self-similarity and uncertainty is necessary. In this paper, we propose a construction of fuzzy valued recurrent fractal interpolation function us…
▽ More
In the process of measuring objects with local self-similarity, such as satellite images or coastlines, we obtain a data set with both local self-similarity and uncertainty. To better interpolate such data sets, an interpolation function with both local self-similarity and uncertainty is necessary. In this paper, we propose a construction of fuzzy valued recurrent fractal interpolation function using recurrent iterated function system that interpolates the given data set of fuzzy numbers. And we show some properties of the constructed fuzzy valued RFIFs: Holder continuity and stability of the interpolation function due to perturbations in the data set or the vertical scaling factors.
△ Less
Submitted 17 July, 2025;
originally announced August 2025.
-
Energy Superposition and Regularity for 3D Navier-Stokes Equations in the Largest Critical Space
Authors:
Myong-Hwan Ri
Abstract:
We show that a Leray-Hopf weak solution to the 3D Navier-Stokes Cauchy problem belonging to the space $L^\infty(0,T; B^{-1}_{\infty,\infty}(\mathbb R^3))$ is regular in $(0,T]$. As a consequence, it follows that any Leray-Hopf weak solution to the 3D Navier-Stokes equations is regular while it is temporally bounded in the largest critical space $\dot{B}^{-1}_{\infty,\infty}(\mathbb R^3)$ as well a…
▽ More
We show that a Leray-Hopf weak solution to the 3D Navier-Stokes Cauchy problem belonging to the space $L^\infty(0,T; B^{-1}_{\infty,\infty}(\mathbb R^3))$ is regular in $(0,T]$. As a consequence, it follows that any Leray-Hopf weak solution to the 3D Navier-Stokes equations is regular while it is temporally bounded in the largest critical space $\dot{B}^{-1}_{\infty,\infty}(\mathbb R^3)$ as well as in any critical spaces.
For the proof we present a new elementary method which is to superpose the energy norm of high frequency parts in an appropriate way to generate higher order norms. Thus, starting from the energy estimates of high frequency parts of a weak solution, one can obtain its estimates of higher order norms.
By a linear energy superposition we get very simple and short proofs for known regularity criteria for Leray-Hopf weak solutions in endpoint Besov spaces $B^σ_{\infty,\infty}$ for $σ\in [-1,0)$, the extension of Prodi-Serrin conditions. The main result of the paper is proved by applying technique of a nonlinear energy superposition and linear energy superpositions, repeatedly. The energy superposition method developed in the paper can also be applied to other supercritical nonlinear PDEs.
△ Less
Submitted 20 July, 2023;
originally announced July 2023.
-
Maximal $L^1$-regularity of generators for bounded analytic semigroups in Banach spaces
Authors:
Myong-Hwan Ri,
Reinhard Farwig
Abstract:
In this paper, we prove that the generator of any bounded analytic semigroup in $(θ,1)$-type real interpolation of its domain and underlying Banach space has maximal $L^1$-regularity, using a duality argument combined with the result of maximal continuous regularity.
As an application, we consider maximal $L^1$-regularity of the Dirichlet-Laplacian and the Stokes operator in inhomogeneous…
▽ More
In this paper, we prove that the generator of any bounded analytic semigroup in $(θ,1)$-type real interpolation of its domain and underlying Banach space has maximal $L^1$-regularity, using a duality argument combined with the result of maximal continuous regularity.
As an application, we consider maximal $L^1$-regularity of the Dirichlet-Laplacian and the Stokes operator in inhomogeneous $B^s_{q,1}$-type Besov spaces on domains of $\mathbb R^n$, $n\geq 2$.
△ Less
Submitted 27 April, 2020;
originally announced April 2020.
-
Estimation of errors on perturbation of function contractivity factors and box-counting dimension of hidden variable recurrent fractal interpolation function
Authors:
Mi-Kyong Ri,
Chol-Hui Yun
Abstract:
In this paper, we study errors on perturbation of function contractivity factors and box-counting dimension of hidden variable recurrent fractal interpolation function (HVRFIF). The HVRFIF is a hidden variable fractal interpolation function (HVFIF) constructed by recurrent iterated function system (RIFS) with function contractivity factors. The contractivity factors of RIFS determine fractal chara…
▽ More
In this paper, we study errors on perturbation of function contractivity factors and box-counting dimension of hidden variable recurrent fractal interpolation function (HVRFIF). The HVRFIF is a hidden variable fractal interpolation function (HVFIF) constructed by recurrent iterated function system (RIFS) with function contractivity factors. The contractivity factors of RIFS determine fractal characteristics and shape of its attractor, so that the HVRFIF with function contractivity factors has more flexibility and diversity than the HVFIF with constant contractivity factors. Stability of interpolation function according to perturbation of the contractivity factors and the box-counting dimension of interpolation function plays very important roles in determining whether these functions can be applied to practical problems or not. We first estimate errors on perturbation of function contractivity factors and then obtain the upper and lower bounds of the box-counting dimension of one variable HVRFIF. Finally, in the similar way, we get the lower and upper bounds of box-counting dimension of hidden variable bivariable recurrent fractal interpolation function (HVBRFIF).
△ Less
Submitted 4 June, 2019;
originally announced June 2019.
-
Analytic properties of hidden variable recurrent fractal interpolation function with function contractivity factors
Authors:
Mi-Kyong Ri,
Chol-Hui Yun
Abstract:
In this paper, we analyze the smoothness and stability of hidden variable recurrent fractal interpolation functions (HVRFIF) with function contractivity factors introduced in Ref. 1. The HVRFIF is a hidden variable fractal interpolation function (HVFIF) constructed by recurrent iterated function system (RIFS) with function contractivity factors. An attractor of RIFS has a local self-similar or sel…
▽ More
In this paper, we analyze the smoothness and stability of hidden variable recurrent fractal interpolation functions (HVRFIF) with function contractivity factors introduced in Ref. 1. The HVRFIF is a hidden variable fractal interpolation function (HVFIF) constructed by recurrent iterated function system (RIFS) with function contractivity factors. An attractor of RIFS has a local self-similar or self-affine structure and looks more naturally than one of IFS. The contractivity factors of IFS(RIFS) determine fractal characteristic and shape of its attractor. Therefore, the HVRFIF with function contractivity factors has more flexibility and diversity than the HVFIF constructed by iterated function system (IFS) with constant contractivity factors. The analytic properties of the interpolation functions play very important roles in determining whether these functons can be applied to the practical problems or not. We analyze the smoothness of the one variable HVRFIFs in Ref. 1 and prove their stability according to perturbation of the interpolation dataset.
△ Less
Submitted 23 April, 2019;
originally announced April 2019.
-
Box-counting dimension and analytic properties of hidden variable fractal interpolation functions with function contractivity factors
Authors:
Chol-Hui Yun,
Mi-Kyong Ri
Abstract:
We estimate the bounds of box-counting dimension of hidden variable fractal interpolation functions (HVFIFs) and hidden variable bivariate fractal interpolation functions (HVBFIFs) with four function contractivity factors and present analytic properties of HVFIFs which are constructed to ensure more flexibility and diversity in modeling natural phenomena. Firstly, we construct the HVFIFs and analy…
▽ More
We estimate the bounds of box-counting dimension of hidden variable fractal interpolation functions (HVFIFs) and hidden variable bivariate fractal interpolation functions (HVBFIFs) with four function contractivity factors and present analytic properties of HVFIFs which are constructed to ensure more flexibility and diversity in modeling natural phenomena. Firstly, we construct the HVFIFs and analyze their smoothness and stability. Secondly, we obtain the lower and upper bounds of box-counting dimension of the HVFIFs. Finally, in the similar way, we get the lower and upper bounds of box-counting dimension of HVBFIFs constructed in [21].
△ Less
Submitted 23 April, 2019;
originally announced April 2019.
-
Existence of incompressible and immiscible flows in critical function spaces on bounded domains
Authors:
Myong-Hwan Ri,
Ping Zhang
Abstract:
We study global existence and uniqueness of solutions to instationary inhomogeneous Navier-Stokes equations on bounded domains of $\R^n, n\geq 3$, with initial velocity in $B^0_{q,\infty}(\Om)$, $q\geq n$, and piecewise constant initial density. \par To this end, first, existence for momentum equations with prescribed density is obtained based on maximal $L^\infty_\ga$-regularity of the Stokes ope…
▽ More
We study global existence and uniqueness of solutions to instationary inhomogeneous Navier-Stokes equations on bounded domains of $\R^n, n\geq 3$, with initial velocity in $B^0_{q,\infty}(\Om)$, $q\geq n$, and piecewise constant initial density. \par To this end, first, existence for momentum equations with prescribed density is obtained based on maximal $L^\infty_\ga$-regularity of the Stokes operator in little Nicolskii space $b^{s}_{q,\infty}(\Om)$, $s\in\R$, exploited in \cite{RiZh14} and existence for divergence problem in $b^{-s}_{q,\infty}(\Om)$, $s>0$. Then, we obtain an existence result for transport equations in the space of pointwise multipliers for $b^{-s}_{q,\infty}(\Om)$, $s>0$. Finally, the existence of the inhomogeneous Navier-Stokes equations is proved via an iterate scheme while the proof of uniqueness is done via a Lagrangian approach based on the prior results on momentum equations and transport equation.
△ Less
Submitted 29 October, 2018;
originally announced October 2018.
-
A Remark on the Leray's Problem on Stationary Navier-Stokes Flows with Large Fluxes in Infinite Cylindrical Domains
Authors:
Myong-Hwan Ri
Abstract:
We consider Leray's problem on stationary Navier-Stokes flows with arbitrary large fluxes in an unbounded cylinder with several exits to infinity. For a stationary Navier-Stokes flow with large fluxes in the unbounded cylinder we prove that, if the difference between the pressure of the main flow and the pressure of the Poiseuille flow with the same flux in a branch of the cylinder satisfies some…
▽ More
We consider Leray's problem on stationary Navier-Stokes flows with arbitrary large fluxes in an unbounded cylinder with several exits to infinity. For a stationary Navier-Stokes flow with large fluxes in the unbounded cylinder we prove that, if the difference between the pressure of the main flow and the pressure of the Poiseuille flow with the same flux in a branch of the cylinder satisfies some asymptotic boundedness condition at $|x|\rightarrow \infty$ then the flow behaves at infinity of the branch like the Poiseuille flow.
△ Less
Submitted 6 March, 2014;
originally announced March 2014.
-
Resolvent Estimates and Maximal Regularity in Weighted Lebesgue Spaces of the Stokes Operator in Unbounded Cylinders
Authors:
Myong-Hwan Ri,
Reinhard Frawig
Abstract:
We study resolvent estimate and maximal regularity of the Stokes operator in $L^q$-spaces with exponential weights in the axial directions of unbounded cylinders of ${\mathbb R}^n,n\geq 3$. For straights cylinders we obtain these results in Lebesgue spaces with exponential weights in the axial direction and Muckenhoupt weights in the cross-section. Next, for general cylinders with several exits to…
▽ More
We study resolvent estimate and maximal regularity of the Stokes operator in $L^q$-spaces with exponential weights in the axial directions of unbounded cylinders of ${\mathbb R}^n,n\geq 3$. For straights cylinders we obtain these results in Lebesgue spaces with exponential weights in the axial direction and Muckenhoupt weights in the cross-section. Next, for general cylinders with several exits to infinity we prove that the Stokes operator in $L^q$-spaces with exponential weight along the axial directions generates an exponentially decaying analytic semigroup and has maximal regularity.
The proofs for straight cylinders use an operator-valued Fourier multiplier theorem and techniques of unconditional Schauder decompositions based on the ${\mathcal R}$-boundedness of the family of solution operators for a system in the cross-section of the cylinder parametrized by the phase variable of the one-dimensional partial Fourier transform. For general cylinders we use cut-off techniques based on the result for straight cylinders and the result for the case without exponential weight.
△ Less
Submitted 11 March, 2014; v1 submitted 6 March, 2014;
originally announced March 2014.
-
On the Divisibility of Trinomials by Maximum Weight Polynomials over F2
Authors:
Ryul Kim,
Ok-Hyon Song,
Myong-Hui Ri
Abstract:
Divisibility of trinomials by given polynomials over finite fields has been studied and used to construct orthogonal arrays in recent literature. Dewar et al.\ (Des.\ Codes Cryptogr.\ 45:1-17, 2007) studied the division of trinomials by a given pentanomial over $\F_2$ to obtain the orthogonal arrays of strength at least 3, and finalized their paper with some open questions. One of these questions…
▽ More
Divisibility of trinomials by given polynomials over finite fields has been studied and used to construct orthogonal arrays in recent literature. Dewar et al.\ (Des.\ Codes Cryptogr.\ 45:1-17, 2007) studied the division of trinomials by a given pentanomial over $\F_2$ to obtain the orthogonal arrays of strength at least 3, and finalized their paper with some open questions. One of these questions is concerned with generalizations to the polynomials with more than five terms. In this paper, we consider the divisibility of trinomials by a given maximum weight polynomial over $\F_2$ and apply the result to the construction of the orthogonal arrays of strength at least 3.
△ Less
Submitted 26 December, 2013;
originally announced December 2013.
-
Effective wall-laws for the Stokes equations over curved rough boundaries
Authors:
Myong-Hwan Ri
Abstract:
We derive effective wall-laws for Stokes systems with inhomogeneous boundary conditions in three dimensional bounded domains with curved rough boundaries. No-slip boundary condition is given on the locally periodic rough boundary parts with characteristic roughness size $ε$ and boundary data is assumed to be supported in the nonoscillatory smooth boundary.
Based on the analysis of a boundary lay…
▽ More
We derive effective wall-laws for Stokes systems with inhomogeneous boundary conditions in three dimensional bounded domains with curved rough boundaries. No-slip boundary condition is given on the locally periodic rough boundary parts with characteristic roughness size $ε$ and boundary data is assumed to be supported in the nonoscillatory smooth boundary.
Based on the analysis of a boundary layer cell problem depending on geometry of the fictitious boundary and roughness shape, boundary layer approximations are constructed using orthogonal tangential vectors and normal vector on the fictitious boundary, which have $O(ε^{3/2})$-order in $L^2$-norm and $O(ε)$-order in energy-norm. Then, a Navier wall-law with error estimates of $O(ε^{3/2})$-order in $L^2$-norm and $O(ε)$-order in $W^{1,1}$-norm is obtained, which is proved to be irrespective of the choice of the orthogonal tangent vectors.
△ Less
Submitted 5 November, 2013;
originally announced November 2013.
