-
Global well-posedness of 3D inhomogenous incompressible Navier-Stokes equations with density-dependent viscosity
Authors:
Dongjuan Niu,
Lu Wang
Abstract:
The issue of global well-posedness for the 3D inhomogenous incompressible Navier-Stokes equations was first addressed by Kazhikov in 1974. In this manuscript, we obtain its global well-posedness for the system with density-dependent viscosity under the smallness assumption of initial velocity in the critical space $\dot{B}_{p,1}^{-1+\frac 3p}$ with $p\in ]1, 9/2]$. To the best of our knowledge, th…
▽ More
The issue of global well-posedness for the 3D inhomogenous incompressible Navier-Stokes equations was first addressed by Kazhikov in 1974. In this manuscript, we obtain its global well-posedness for the system with density-dependent viscosity under the smallness assumption of initial velocity in the critical space $\dot{B}_{p,1}^{-1+\frac 3p}$ with $p\in ]1, 9/2]$. To the best of our knowledge, this is the first result about the global well-posedness for which one does not assume any smallness condition on the density when the initial density is far away from vacuum.
△ Less
Submitted 24 January, 2024;
originally announced January 2024.
-
On the global well-posedness of 3D inhomogeneous incompressible Navier-Stokes system with density-dependent viscosity
Authors:
Dongjuan Niu,
Lu Wang
Abstract:
In this paper, we are concerned with the global well-posedness of 3D inhomogeneous incompressible Navier-Stokes equations with density-dependent viscosity when the initial velocity is sufficiently small in the critical Besov space $\dot{B}^{\frac 12}$. Compared with the previous result of Abidi and Zhang (Science China Mathematics 58 (6) (2015) 1129-1150), we remove the smallness assumption of the…
▽ More
In this paper, we are concerned with the global well-posedness of 3D inhomogeneous incompressible Navier-Stokes equations with density-dependent viscosity when the initial velocity is sufficiently small in the critical Besov space $\dot{B}^{\frac 12}$. Compared with the previous result of Abidi and Zhang (Science China Mathematics 58 (6) (2015) 1129-1150), we remove the smallness assumption of the viscosity $μ(ρ_0)-1$ in $L^{\infty}$-norm.
△ Less
Submitted 18 January, 2024;
originally announced January 2024.
-
Predicting the Output Structure of Sparse Matrix Multiplication with Sampled Compression Ratio
Authors:
Zhaoyang Du,
Yijin Guan,
Tianchan Guan,
Dimin Niu,
Nianxiong Tan,
Xiaopeng Yu,
Hongzhong Zheng,
Jianyi Meng,
Xiaolang Yan,
Yuan Xie
Abstract:
Sparse general matrix multiplication (SpGEMM) is a fundamental building block in numerous scientific applications. One critical task of SpGEMM is to compute or predict the structure of the output matrix (i.e., the number of nonzero elements per output row) for efficient memory allocation and load balance, which impact the overall performance of SpGEMM. Existing work either precisely calculates the…
▽ More
Sparse general matrix multiplication (SpGEMM) is a fundamental building block in numerous scientific applications. One critical task of SpGEMM is to compute or predict the structure of the output matrix (i.e., the number of nonzero elements per output row) for efficient memory allocation and load balance, which impact the overall performance of SpGEMM. Existing work either precisely calculates the output structure or adopts upper-bound or sampling-based methods to predict the output structure. However, these methods either take much execution time or are not accurate enough. In this paper, we propose a novel sampling-based method with better accuracy and low costs compared to the existing sampling-based method. The proposed method first predicts the compression ratio of SpGEMM by leveraging the number of intermediate products (denoted as FLOP) and the number of nonzero elements (denoted as NNZ) of the same sampled result matrix. And then, the predicted output structure is obtained by dividing the FLOP per output row by the predicted compression ratio. We also propose a reference design of the existing sampling-based method with optimized computing overheads to demonstrate the better accuracy of the proposed method. We construct 625 test cases with various matrix dimensions and sparse structures to evaluate the prediction accuracy. Experimental results show that the absolute relative errors of the proposed method and the reference design are 1.56\% and 8.12\%, respectively, on average, and 25\% and 156\%, respectively, in the worst case.
△ Less
Submitted 27 July, 2022;
originally announced July 2022.
-
Monotonicity properties related to the ratio of two gamma functions
Authors:
Nian Hong Zhou,
Da-Wei Niu
Abstract:
In this paper we investigate the monotonicity properties related to the ratio of gamma functions, from which some related asymptotics and inequalities are established. Some special cases also confirm the conjectures of C.-P. Chen [Monotonicity properties, inequalities, and asymptotic expansions associated with the gamma function. Appl. Math. Comput. 283 (2016), 385--396.].
In this paper we investigate the monotonicity properties related to the ratio of gamma functions, from which some related asymptotics and inequalities are established. Some special cases also confirm the conjectures of C.-P. Chen [Monotonicity properties, inequalities, and asymptotic expansions associated with the gamma function. Appl. Math. Comput. 283 (2016), 385--396.].
△ Less
Submitted 5 April, 2021;
originally announced April 2021.
-
Stability of the boundary layer expansion for the 3D plane parallel MHD flow
Authors:
Shijin Ding,
Zhilin Lin,
Dongjuan Niu
Abstract:
In this paper, we establish the mathematical validity of the Prandtl boundary layer theory for a class of nonlinear plane parallel flows of viscous incompressible magnetohydrodynamic (MHD) flow with no-slip boundary condition of velocity and perfectly conducting wall for magnetic fields. The convergence is shown under various Sobolev norms, including the physically important space-time uniform nor…
▽ More
In this paper, we establish the mathematical validity of the Prandtl boundary layer theory for a class of nonlinear plane parallel flows of viscous incompressible magnetohydrodynamic (MHD) flow with no-slip boundary condition of velocity and perfectly conducting wall for magnetic fields. The convergence is shown under various Sobolev norms, including the physically important space-time uniform norm $L^\infty(H^1)$. In addition, the similar convergence results are also obtained under the case with uniform magnetic fields. This implies the stabilizing effects of magnetic fields. Besides, the higher-order expansion is also considered.
△ Less
Submitted 26 September, 2020; v1 submitted 10 September, 2020;
originally announced September 2020.
-
An analytic generalization of the Catalan numbers and its integral representation
Authors:
Wen-Hui Li,
Jian Cao,
Da-Wei Niu,
Jiao-Lian Zhao,
Feng Qi
Abstract:
In the paper, the authors analytically generalize the Catalan numbers in combinatorial number theory, establish an integral representation of the analytic generalization of the Catalan numbers by virtue of Cauchy's integral formula in the theory of complex functions, and point out potential directions to further study.
In the paper, the authors analytically generalize the Catalan numbers in combinatorial number theory, establish an integral representation of the analytic generalization of the Catalan numbers by virtue of Cauchy's integral formula in the theory of complex functions, and point out potential directions to further study.
△ Less
Submitted 30 November, 2021; v1 submitted 26 May, 2020;
originally announced May 2020.
-
A sparse semismooth Newton based augmented Lagrangian method for large-scale support vector machines
Authors:
Dunbiao Niu,
Chengjing Wang,
Peipei Tang,
Qingsong Wang,
Enbin Song
Abstract:
Support vector machines (SVMs) are successful modeling and prediction tools with a variety of applications. Previous work has demonstrated the superiority of the SVMs in dealing with the high dimensional, low sample size problems. However, the numerical difficulties of the SVMs will become severe with the increase of the sample size. Although there exist many solvers for the SVMs, only few of them…
▽ More
Support vector machines (SVMs) are successful modeling and prediction tools with a variety of applications. Previous work has demonstrated the superiority of the SVMs in dealing with the high dimensional, low sample size problems. However, the numerical difficulties of the SVMs will become severe with the increase of the sample size. Although there exist many solvers for the SVMs, only few of them are designed by exploiting the special structures of the SVMs. In this paper, we propose a highly efficient sparse semismooth Newton based augmented Lagrangian method for solving a large-scale convex quadratic programming problem with a linear equality constraint and a simple box constraint, which is generated from the dual problems of the SVMs. By leveraging the primal-dual error bound result, the fast local convergence rate of the augmented Lagrangian method can be guaranteed. Furthermore, by exploiting the second-order sparsity of the problem when using the semismooth Newton method,the algorithm can efficiently solve the aforementioned difficult problems. Finally, numerical comparisons demonstrate that the proposed algorithm outperforms the current state-of-the-art solvers for the large-scale SVMs.
△ Less
Submitted 3 February, 2021; v1 submitted 3 October, 2019;
originally announced October 2019.
-
A Dual Alternating Direction Method of Multipliers for Image Decomposition and Restoration
Authors:
Qingsong Wang,
Chengjing Wang,
Peipei Tang,
Dunbiao Niu
Abstract:
In this paper, we develop a dual alternating direction method of multipliers (ADMM) for an image decomposition model. In this model, an image is divided into two meaningful components, i.e., a cartoon part and a texture part. The optimization algorithm that we develop not only gives the cartoon part and the texture part of an image but also gives the restored image (cartoon part + texture part). W…
▽ More
In this paper, we develop a dual alternating direction method of multipliers (ADMM) for an image decomposition model. In this model, an image is divided into two meaningful components, i.e., a cartoon part and a texture part. The optimization algorithm that we develop not only gives the cartoon part and the texture part of an image but also gives the restored image (cartoon part + texture part). We also present the global convergence and the local linear convergence rate for the algorithm under some mild conditions. Numerical experiments demonstrate the efficiency and robustness of the dual ADMM (dADMM). Furthermore, we can obtain relatively higher signalto-noise ratio (SNR) comparing to other algorithms. It shows that the choice of the algorithm is also important even for the same model.
△ Less
Submitted 24 January, 2019; v1 submitted 15 January, 2019;
originally announced January 2019.
-
Boundary layer for 3D plane parallel channel flows of nonhomogeneous incompressible Navier-Stokes equations
Authors:
Shijin Ding,
Zhilin Lin,
Dongjuan Niu
Abstract:
In this paper, we establish the mathematical validity of the Prandtl boundary layer theory for a class of nonlinear plane parallel flow of nonhomogeneous incompressible Navier-Stokes equations. The convergence for the density and velocity are shown under various Sobolev norms, including the physically important space-time uniform norm, as well as the $L^\infty(H^1)$ norm. It is mentioned that the…
▽ More
In this paper, we establish the mathematical validity of the Prandtl boundary layer theory for a class of nonlinear plane parallel flow of nonhomogeneous incompressible Navier-Stokes equations. The convergence for the density and velocity are shown under various Sobolev norms, including the physically important space-time uniform norm, as well as the $L^\infty(H^1)$ norm. It is mentioned that the mathematical validity of the Prandtl boundary layer theory for nonlinear plane parallel flow is generalized to the nonhomogeneous case.
△ Less
Submitted 16 December, 2019; v1 submitted 10 August, 2018;
originally announced August 2018.
-
Recover Fine-Grained Spatial Data from Coarse Aggregation
Authors:
Bang Liu,
Borislav Mavrin,
Linglong Kong,
Di Niu
Abstract:
In this paper, we study a new type of spatial sparse recovery problem, that is to infer the fine-grained spatial distribution of certain density data in a region only based on the aggregate observations recorded for each of its subregions. One typical example of this spatial sparse recovery problem is to infer spatial distribution of cellphone activities based on aggregate mobile traffic volumes o…
▽ More
In this paper, we study a new type of spatial sparse recovery problem, that is to infer the fine-grained spatial distribution of certain density data in a region only based on the aggregate observations recorded for each of its subregions. One typical example of this spatial sparse recovery problem is to infer spatial distribution of cellphone activities based on aggregate mobile traffic volumes observed at sparsely scattered base stations. We propose a novel Constrained Spatial Smoothing (CSS) approach, which exploits the local continuity that exists in many types of spatial data to perform sparse recovery via finite-element methods, while enforcing the aggregated observation constraints through an innovative use of the ADMM algorithm. We also improve the approach to further utilize additional geographical attributes. Extensive evaluations based on a large dataset of phone call records and a demographical dataset from the city of Milan show that our approach significantly outperforms various state-of-the-art approaches, including Spatial Spline Regression (SSR).
△ Less
Submitted 28 February, 2018;
originally announced March 2018.
-
The limit of vanishing viscosity for the incompressible 3D Navier-Stokes equations with helical symmetry
Authors:
Quansen Jiu,
Milton C. Lopes Filho,
Dongjuan Niu,
Helena J. Nussenzveig Lopes
Abstract:
In this paper, we are concerned with the vanishing viscosity problem for the three-dimensional Navier-Stokes equations with helical symmetry, in the whole space. We choose viscosity-dependent initial $\bu_0^ν$ with helical swirl, an analogue of the swirl component of axisymmetric flow, of magnitude $\mathcal{O}(ν)$ in the $L^2$ norm; we assume $\bu_0^ν\to \bu_0$ in $H^1$. The new ingredient in our…
▽ More
In this paper, we are concerned with the vanishing viscosity problem for the three-dimensional Navier-Stokes equations with helical symmetry, in the whole space. We choose viscosity-dependent initial $\bu_0^ν$ with helical swirl, an analogue of the swirl component of axisymmetric flow, of magnitude $\mathcal{O}(ν)$ in the $L^2$ norm; we assume $\bu_0^ν\to \bu_0$ in $H^1$. The new ingredient in our analysis is a decomposition of helical vector fields, through which we obtain the required estimates.
△ Less
Submitted 30 June, 2017;
originally announced June 2017.
-
Global well-posedness of three-dimensional Navier-Stokes equations with partial viscosity under helical symmetry
Authors:
Jitao Liu,
Dongjuan Niu
Abstract:
In this paper, we investigate the global well-posedness of three-dimensional Navier-Stokes equations with horizontal viscosity under a special symmetric structure: helical symmetry. More precisely, by a revised Ladyzhenskaya-type inequality and utilizing the behavior of helical flow, we prove the global existence and uniqueness of weak and strong solution to the three-dimensional helical flows. Ou…
▽ More
In this paper, we investigate the global well-posedness of three-dimensional Navier-Stokes equations with horizontal viscosity under a special symmetric structure: helical symmetry. More precisely, by a revised Ladyzhenskaya-type inequality and utilizing the behavior of helical flow, we prove the global existence and uniqueness of weak and strong solution to the three-dimensional helical flows. Our result reveals that for the issue of global well-posedness of the viscous helical fluids, the horizontal viscosity plays the important role. To some extent, our work can be seen as a generalization of the result by Mahalov-Titi-Leibovich [Arch. Ration. Mech. Anal. 112 (1990), no. 3, 193-222].
△ Less
Submitted 25 November, 2016;
originally announced November 2016.
-
Global existence of weak solutions to the 3D incompressible axisymmetric Euler equations without swirl
Authors:
Quansen Jiu,
Jitao Liu,
Dongjuan Niu
Abstract:
In this paper, we mainly investigate the tridimensional incompressible axisymmetric Euler equations without swirl in the whole space. Specifically, we prove the global existence of weak solutions if the swirl component of initial vorticity $w_0^θ$ satisfies that $\frac{w_0^θ}r\in L^1\cap L^p({\Bbb R}^3)$ for some $p>1$. To achieve this goal, we establish the $L_{\rm loc}^{2+α}({\Bbb R}^3)$ estimat…
▽ More
In this paper, we mainly investigate the tridimensional incompressible axisymmetric Euler equations without swirl in the whole space. Specifically, we prove the global existence of weak solutions if the swirl component of initial vorticity $w_0^θ$ satisfies that $\frac{w_0^θ}r\in L^1\cap L^p({\Bbb R}^3)$ for some $p>1$. To achieve this goal, we establish the $L_{\rm loc}^{2+α}({\Bbb R}^3)$ estimate of velocity fields for some $α>0$, which is innovative to the best of our knowledge. Our result extends previous work in the literature.
△ Less
Submitted 15 August, 2017; v1 submitted 22 May, 2016;
originally announced May 2016.
-
Planar limits of three-dimensional incompressible flows with helical symmetry
Authors:
Milton C. Lopes Filho,
Anna L. Mazzucato,
Dongjuan Niu,
Helena J. Nussenzveig Lopes,
Edriss S. Titi
Abstract:
Helical symmetry is invariance under a one-dimensional group of rigid motions generated by a simultaneous rotation around a fixed axis and translation along the same axis. The key parameter in helical symmetry is the step or pitch, the magnitude of the translation after rotating one full turn around the symmetry axis. In this article we study the limits of three-dimensional helical viscous and inv…
▽ More
Helical symmetry is invariance under a one-dimensional group of rigid motions generated by a simultaneous rotation around a fixed axis and translation along the same axis. The key parameter in helical symmetry is the step or pitch, the magnitude of the translation after rotating one full turn around the symmetry axis. In this article we study the limits of three-dimensional helical viscous and inviscid incompressible flows in an infinite circular pipe, with respectively no-slip and no-penetration boundary conditions, as the step approaches infinity. We show that, as the step becomes large, the three-dimensional helical flow approaches a planar flow, which is governed by the so-called two-and-half Navier-Stokes and Euler equations, respectively.
△ Less
Submitted 7 April, 2013;
originally announced April 2013.
-
Stability of Two-dimensional Viscous Incompressible Flows Under Three-dimensional Perturbations and Inviscid Symmetry Breaking
Authors:
Claude Bardos,
Milton C. Lopes Filho,
Helena J. Nussenzveig Lopes,
Dongjuan Niu,
Edriss S. Titi
Abstract:
In this article we consider weak solutions of the three-dimensional incompressible fluid flow equations with initial data admitting a one-dimensional symmetry group. We examine both the viscous and inviscid cases. For the case of viscous flows, we prove that Leray-Hopf weak solutions of the three-dimensional Navier-Stokes equations preserve initially imposed symmetry and that such symmetric flows…
▽ More
In this article we consider weak solutions of the three-dimensional incompressible fluid flow equations with initial data admitting a one-dimensional symmetry group. We examine both the viscous and inviscid cases. For the case of viscous flows, we prove that Leray-Hopf weak solutions of the three-dimensional Navier-Stokes equations preserve initially imposed symmetry and that such symmetric flows are stable under general three-dimensional perturbations, globally in time. We work in three different contexts: two-and-a-half-dimensional, helical and axi-symmetric flows. In the inviscid case, we observe that, as a consequence of recent work by De Lellis and Székelyhidi, there are genuinely three-dimensional weak solutions of the Euler equations with two-dimensional initial data. We also present two partial results where restrictions on the set of initial data, and on the set of admissible solutions rule out spontaneous symmetry breaking; one is due to P.-L. Lions and the other is a consequence of our viscous stability result.
△ Less
Submitted 18 January, 2012; v1 submitted 12 January, 2012;
originally announced January 2012.
-
Vanishing viscosity limits for the degenerate lake equations with Navier boundary conditions
Authors:
Quansen Jiu,
Dongjuan Niu,
Jiahong Wu
Abstract:
The paper is concerned with the vanishing viscosity limit of the two-dimensional degenerate viscous lake equations when the Navier slip conditions are prescribed on the impermeable boundary of a simply connected bounded regular domain. When the initial vorticity is in the Lebesgue space $L^q$ with $2<q\le\infty$, we show the degenerate viscous lake equations possess a unique global solution and th…
▽ More
The paper is concerned with the vanishing viscosity limit of the two-dimensional degenerate viscous lake equations when the Navier slip conditions are prescribed on the impermeable boundary of a simply connected bounded regular domain. When the initial vorticity is in the Lebesgue space $L^q$ with $2<q\le\infty$, we show the degenerate viscous lake equations possess a unique global solution and the solution converges to a corresponding weak solution of the inviscid lake equations. In the special case when the vorticity is in $L^\infty$, an explicit convergence rate is obtained.
△ Less
Submitted 19 June, 2011;
originally announced June 2011.
-
A harmonic Lanczos bidiagonalization method for computing interior singular triplets of large matrices
Authors:
Datian Niu,
Xuegang Yuan
Abstract:
This paper proposes a harmonic Lanczos bidiagonalization method for computing some interior singular triplets of large matrices. It is shown that the approximate singular triplets are convergent if a certain Rayleigh quotient matrix is uniformly bounded and the approximate singular values are well separated. Combining with the implicit restarting technique, we develop an implicitly restarted har…
▽ More
This paper proposes a harmonic Lanczos bidiagonalization method for computing some interior singular triplets of large matrices. It is shown that the approximate singular triplets are convergent if a certain Rayleigh quotient matrix is uniformly bounded and the approximate singular values are well separated. Combining with the implicit restarting technique, we develop an implicitly restarted harmonic Lanczos bidiagonalization algorithm and suggest a selection strategy of shifts. Numerical experiments show that one can use this algorithm to compute interior singular triplets efficiently.
△ Less
Submitted 19 January, 2010;
originally announced January 2010.
-
Axisymmetric Euler-$α$ Equations without Swirl: Existence, Uniqueness, and Radon Measure Valued Solutions
Authors:
Quansen Jiu,
Dongjuan Niu,
Edriss S. Titi,
Zhouping Xin
Abstract:
The global existence of weak solutions for the three-dimensional axisymmetric Euler-$α$ (also known as Lagrangian-averaged Euler-$α$) equations, without swirl, is established, whenever the initial unfiltered velocity $v_0$ satisfies $\frac{\nabla \times v_0}{r}$ is a finite Randon measure with compact support. Furthermore, the global existence and uniqueness, is also established in this case pro…
▽ More
The global existence of weak solutions for the three-dimensional axisymmetric Euler-$α$ (also known as Lagrangian-averaged Euler-$α$) equations, without swirl, is established, whenever the initial unfiltered velocity $v_0$ satisfies $\frac{\nabla \times v_0}{r}$ is a finite Randon measure with compact support. Furthermore, the global existence and uniqueness, is also established in this case provided $\frac{\nabla \times v_0}{r} \in L^p_c(\mathbb{R}^3)$ with $p>{3/2}$. It is worth mention that no such results are known to be available, so far, for the three-dimensional Euler equations of ideal incompressible flows.
△ Less
Submitted 14 July, 2009;
originally announced July 2009.
-
A Refined Harmonic Lanczos Bidiagonalization Method and an Implicitly Restarted Algorithm for Computing the Smallest Singular Triplets of Large Matrices
Authors:
Zhongxiao Jia,
Datian Niu
Abstract:
The harmonic Lanczos bidiagonalization method can be used to compute the smallest singular triplets of a large matrix $A$. We prove that for good enough projection subspaces harmonic Ritz values converge if the columns of $A$ are strongly linearly independent. On the other hand, harmonic Ritz values may miss some desired singular values when the columns of $A$ almost linearly dependent. Furtherm…
▽ More
The harmonic Lanczos bidiagonalization method can be used to compute the smallest singular triplets of a large matrix $A$. We prove that for good enough projection subspaces harmonic Ritz values converge if the columns of $A$ are strongly linearly independent. On the other hand, harmonic Ritz values may miss some desired singular values when the columns of $A$ almost linearly dependent. Furthermore, harmonic Ritz vectors may converge irregularly and even may fail to converge. Based on the refined projection principle for large matrix eigenproblems due to the first author, we propose a refined harmonic Lanczos bidiagonalization method that takes the Rayleigh quotients of the harmonic Ritz vectors as approximate singular values and extracts the best approximate singular vectors, called the refined harmonic Ritz approximations, from the given subspaces in the sense of residual minimizations. The refined approximations are shown to converge to the desired singular vectors once the subspaces are sufficiently good and the Rayleigh quotients converge. An implicitly restarted refined harmonic Lanczos bidiagonalization algorithm (IRRHLB) is developed. We study how to select the best possible shifts, and suggest refined harmonic shifts that are theoretically better than the harmonic shifts used within the implicitly restarted Lanczos bidiagonalization algorithm (IRHLB). We propose a novel procedure that can numerically compute the refined harmonic shifts efficiently and accurately. Numerical experiments are reported that compare IRRHLB with five other algorithms based on the Lanczos bidiagonalization process. It appears that IRRHLB is at least competitive with them and can be considerably more efficient when computing the smallest singular triplets.
△ Less
Submitted 11 June, 2009;
originally announced June 2009.
