-
New construction methods for uninorms via functions with q and uninorms on bounded lattices
Authors:
Zhen-Yu Xiu,
Zheng-Yuan Si,
Xu Zheng
Abstract:
In this paper, we study the construction methods for uninorms on bounded lattices via functions with the given uninorms and $q\in \mathbb{L_{B}}$ (or $p\in \mathbb{L_{B}}$). Specifically, we investigate the conditions under which these functions can be uninorms on bounded lattices when $q\in (0,\mathfrak{e})\cup I_{\mathfrak{e}}^{\varrho}$ and $q\in I_{\varrho}^{\mathfrak{e}}$ (or…
▽ More
In this paper, we study the construction methods for uninorms on bounded lattices via functions with the given uninorms and $q\in \mathbb{L_{B}}$ (or $p\in \mathbb{L_{B}}$). Specifically, we investigate the conditions under which these functions can be uninorms on bounded lattices when $q\in (0,\mathfrak{e})\cup I_{\mathfrak{e}}^{\varrho}$ and $q\in I_{\varrho}^{\mathfrak{e}}$ (or $p\in (\mathfrak{e},1)\cup I_{\mathfrak{e}}^σ$ and $p\in I_σ^{\mathfrak{e}}$), respectively. Moreover, some illustrative examples and figures are provided.
△ Less
Submitted 2 July, 2024;
originally announced July 2024.
-
Boundary layer expansions of the steady MHD equations in a bounded domain
Authors:
Dongfen Bian,
Zhenjie Si
Abstract:
In this paper, we investigate the validity of boundary layer expansions for the MHD system in a rectangle. We describe the solution up to any order when the tangential magnetic field is much smaller or much larger than the tangential velocity field, thereby extending a previous work of S.J. Ding, Z.L. Lin and F. Xie.
In this paper, we investigate the validity of boundary layer expansions for the MHD system in a rectangle. We describe the solution up to any order when the tangential magnetic field is much smaller or much larger than the tangential velocity field, thereby extending a previous work of S.J. Ding, Z.L. Lin and F. Xie.
△ Less
Submitted 3 July, 2024; v1 submitted 15 May, 2024;
originally announced May 2024.
-
A characterization of compactness via bilinear $T1$ theorem
Authors:
Mingming Cao,
Honghai Liu,
Zengyan Si,
Kôzô Yabuta
Abstract:
We establish a bilinear $T1$ theorem to characterize the weighted compactness of bilinear Calderón--Zygmund operators. Let $T$ be a bilinear operator associated with a standard bilinear Calderón--Zygmund kernel. We demonstrate that $T$ can be extended to a compact bilinear operator from $L^{p_1}(w_1^{p_1}) \times L^{p_2}(w_2^{p_2})$ to $L^p(w^p)$ for all exponents…
▽ More
We establish a bilinear $T1$ theorem to characterize the weighted compactness of bilinear Calderón--Zygmund operators. Let $T$ be a bilinear operator associated with a standard bilinear Calderón--Zygmund kernel. We demonstrate that $T$ can be extended to a compact bilinear operator from $L^{p_1}(w_1^{p_1}) \times L^{p_2}(w_2^{p_2})$ to $L^p(w^p)$ for all exponents $\frac{1}{p} = \frac{1}{p_1} + \frac{1}{p_2}$ with $1<p_1, p_2< \infty$ and for all weights $(w_1, w_2) \in A_{(p_1, p_2)}$ if and only if the following conditions hold: (i) $T$ is associated with a compact bilinear Calderón--Zygmund kernel, (ii) $T$ satisfies the weak compactness property, and (iii) $T(1,1), T^{*1}(1,1), T^{*2}(1,1) \in \mathrm{CMO}(\mathbb{R}^n)$.
△ Less
Submitted 22 April, 2024;
originally announced April 2024.
-
A Crank-Nicolson leap-frog scheme for the unsteady incompressible magnetohydrodynamics equations
Authors:
Zhiyong Si,
Mingyi Wang,
Yunxia Wang
Abstract:
This paper presents a Crank-Nicolson leap-frog (CNLF) scheme for the unsteady incompressible magnetohydrodynamics (MHD) equations. The spatial discretization adopts the Galerkin finite element method (FEM), and the temporal discretization employs the CNLF method for linear terms and the semi-implicit method for nonlinear terms. The first step uses Stokes style's scheme, the second step employs the…
▽ More
This paper presents a Crank-Nicolson leap-frog (CNLF) scheme for the unsteady incompressible magnetohydrodynamics (MHD) equations. The spatial discretization adopts the Galerkin finite element method (FEM), and the temporal discretization employs the CNLF method for linear terms and the semi-implicit method for nonlinear terms. The first step uses Stokes style's scheme, the second step employs the Crank-Nicolson extrapolation scheme, and others apply the CNLF scheme. We testify that the fully discrete scheme is stable and convergent when the time step is less than or equal to a positive constant. The second order $L^{2}$ error estimates can be derived by a novel negative norm technique. The numerical results are consistent with our theoretical analysis, which indicates that the method has an optimal convergence order. Therefore, the scheme is effective for different parameters.
△ Less
Submitted 25 October, 2022;
originally announced October 2022.
-
Unconditional stability and error estimates of FEMs for the electro-osmotic flow in micro-channels
Authors:
Zhiyong Si,
Dongdong He
Abstract:
In this paper, we will provide the the finite element method for the electro-osmotic flow in micro-channels, in which a convection-diffusion type equation is given for the charge density $ρ^e$. A time-discrete method based on the backward Euler method is designed. The theoretical analysis shows that the numerical algorithm is unconditionally stable and has optimal convergence rates. To show the ef…
▽ More
In this paper, we will provide the the finite element method for the electro-osmotic flow in micro-channels, in which a convection-diffusion type equation is given for the charge density $ρ^e$. A time-discrete method based on the backward Euler method is designed. The theoretical analysis shows that the numerical algorithm is unconditionally stable and has optimal convergence rates. To show the effectiveness of the proposed model, some numerical results for the electro-osmotic flow in the T-junction micro-channels and in rough micro-channels are provided. Numerical results indicate that the proposed numerical method is suitable for simulating electro-osmotic flows.
△ Less
Submitted 19 October, 2022;
originally announced October 2022.
-
A generalized scalar auxiliary variable method for the time-dependent Ginzburg-Landau equations
Authors:
Zhiyong Si
Abstract:
This paper develops a generalized scalar auxiliary variable (SAV) method for the time-dependent Ginzburg-Landau equations. The backward Euler is used for discretizing the temporal derivative of the time-dependent Ginzburg-Landau equations. In this method, the system is decoupled and linearized to avoid solving the non-linear equation at each step. The theoretical analysis proves that the generaliz…
▽ More
This paper develops a generalized scalar auxiliary variable (SAV) method for the time-dependent Ginzburg-Landau equations. The backward Euler is used for discretizing the temporal derivative of the time-dependent Ginzburg-Landau equations. In this method, the system is decoupled and linearized to avoid solving the non-linear equation at each step. The theoretical analysis proves that the generalized SAV method can preserve the maximum bound principle and energy stability, which is confirmed by the numerical results. It shows that the numerical algorithm is stable.
△ Less
Submitted 15 October, 2022;
originally announced October 2022.
-
Limited range extrapolation with quantitative bounds and applications
Authors:
Mingming Cao,
Honghai Liu,
Zengyan Si,
Kôzô Yabuta
Abstract:
In recent years, sharp or quantitative weighted inequalities have attracted considerable attention on account of $A_2$ conjecture solved by Hytönen. Advances have greatly improved conceptual understanding of classical objects such as Calderón-Zygmund operators. However, plenty of operators do not fit into the class of Calderón-Zygmund operators and fail to be bounded on all $L^p(w)$ spaces for…
▽ More
In recent years, sharp or quantitative weighted inequalities have attracted considerable attention on account of $A_2$ conjecture solved by Hytönen. Advances have greatly improved conceptual understanding of classical objects such as Calderón-Zygmund operators. However, plenty of operators do not fit into the class of Calderón-Zygmund operators and fail to be bounded on all $L^p(w)$ spaces for $p \in (1, \infty)$ and $w \in A_p$. In this paper we develop Rubio de Francia extrapolation with quantitative bounds to investigate quantitative weighted inequalities for operators beyond the (multilinear) Calderón-Zygmund theory. We mainly establish a quantitative multilinear limited range extrapolation in terms of exponents $p_i \in (\mathfrak{p}_i^-, \mathfrak{p}_i^+)$ and weights $w_i^{p_i} \in A_{p_i/\mathfrak{p}_i^-} \cap RH_{(\mathfrak{p}_i^+/p_i)'}$, $i=1, \ldots, m$, which refines a result of Cruz-Uribe and Martell. We also present an extrapolation from multilinear operators to the corresponding commutators. Additionally, our result is quantitative and allows us to extend special quantitative estimates in the Banach space setting to the quasi-Banach space setting. Our proof is based on an off-diagonal extrapolation result with quantitative bounds. Finally, we present various applications to illustrate the utility of extrapolation by concentrating on quantitative weighted estimates for some typical multilinear operators such as bilinear Bochner-Riesz means, bilinear rough singular integrals, and multilinear Fourier multipliers. In the linear case, based on the Littlewood-Paley theory, we include weighted jump and variational inequalities for rough singular integrals.
△ Less
Submitted 28 June, 2022; v1 submitted 25 June, 2022;
originally announced June 2022.
-
Weak and strong types estimates for square functions associated with operators
Authors:
Mingming Cao,
Zengyan Si,
Juan Zhang
Abstract:
Let $L$ be a linear operator in $L^2(\mathbb{R}^n)$ which generates a semigroup $e^{-tL}$ whose kernels $p_t(x,y)$ satisfy the Gaussian upper bound. In this paper, we investigate several kinds of weighted norm inequalities for the conical square function $S_{α,L}$ associated with an abstract operator $L$. We first establish two-weight inequalities including bump estimates, and Fefferman-Stein ineq…
▽ More
Let $L$ be a linear operator in $L^2(\mathbb{R}^n)$ which generates a semigroup $e^{-tL}$ whose kernels $p_t(x,y)$ satisfy the Gaussian upper bound. In this paper, we investigate several kinds of weighted norm inequalities for the conical square function $S_{α,L}$ associated with an abstract operator $L$. We first establish two-weight inequalities including bump estimates, and Fefferman-Stein inequalities with arbitrary weights. We also present the local decay estimates using the extrapolation techniques, and the mixed weak type estimates corresponding Sawyer's conjecture by means of a Coifman-Fefferman inequality. Beyond that, we consider other weak type estimates including the restricted weak-type $(p, p)$ for $S_{α, L}$ and the endpoint estimate for commutators of $S_{α, L}$. Finally, all the conclusions aforementioned can be applied to a number of square functions associated to $L$.
△ Less
Submitted 19 November, 2020;
originally announced November 2020.
-
Weak and strong type estimates for the multilinear Littlewood-Paley operators
Authors:
Mingming Cao,
Mahdi Hormozi,
Gonzalo Ibañez-Firnkorn,
Israel P. Rivera-Ríos,
Zengyan Si,
Kôzô Yabuta
Abstract:
Let $S_α$ be the multilinear square function defined on the cone with aperture $α\geq 1$. In this paper, we investigate several kinds of weighted norm inequalities for $S_α$. We first obtain a sharp weighted estimate in terms of aperture $α$ and $\vec{w} \in A_{\vec{p}}$. By means of some pointwise estimates, we also establish two-weight inequalities including bump and entropy bump estimates, and…
▽ More
Let $S_α$ be the multilinear square function defined on the cone with aperture $α\geq 1$. In this paper, we investigate several kinds of weighted norm inequalities for $S_α$. We first obtain a sharp weighted estimate in terms of aperture $α$ and $\vec{w} \in A_{\vec{p}}$. By means of some pointwise estimates, we also establish two-weight inequalities including bump and entropy bump estimates, and Fefferman-Stein inequalities with arbitrary weights. Beyond that, we consider the mixed weak type estimates corresponding Sawyer's conjecture, for which a Coifman-Fefferman inequality with the precise $A_{\infty}$ norm is proved. Finally, we present the local decay estimates using the extrapolation techniques and dyadic analysis respectively. All the conclusions aforementioned hold for the Littlewood-Paley $g^*_λ$ function. Some results are new even in the linear case.
△ Less
Submitted 23 October, 2020; v1 submitted 29 September, 2020;
originally announced September 2020.
-
Some notes on commutators of the fractional maximal function on variable Lebesgue spaces
Authors:
Pu Zhang,
Zengyan Si,
Jianglong Wu
Abstract:
Let $0<α<n$ and $M_α$ be the fractional maximal function. The nonlinear commutator of $M_α$ and a locally integrable function $b$ is given by $[b,M_α](f)=bM_α(f)-M_α(bf)$. In this paper, we mainly give some necessary and sufficient conditions for the boundedness of $[b,M_α]$ on variable Lebesgue spaces when $b$ belongs to Lipschitz or $BMO(\rn)$ spaces, by which some new characterizations for cert…
▽ More
Let $0<α<n$ and $M_α$ be the fractional maximal function. The nonlinear commutator of $M_α$ and a locally integrable function $b$ is given by $[b,M_α](f)=bM_α(f)-M_α(bf)$. In this paper, we mainly give some necessary and sufficient conditions for the boundedness of $[b,M_α]$ on variable Lebesgue spaces when $b$ belongs to Lipschitz or $BMO(\rn)$ spaces, by which some new characterizations for certain subclasses of Lipschitz and $BMO(\rn)$ spaces are obtained.
△ Less
Submitted 21 January, 2019;
originally announced January 2019.
-
On the bilinear square Fourier multiplier operators and related multilinear square functions
Authors:
Zengyan Si,
Qingying Xue,
Kozo Yabuta
Abstract:
Let $n\ge 1$ and $\mathfrak{T}_{m}$ be the bilinear square Fourier multiplier operator associated with a symbol $m$, which is defined by $$ \mathfrak{T}_{m}(f_1,f_2)(x) = \biggl( \int_{0}^\infty\Big|\int_{(\mathbb{R}^n)^2} e^{2πix\cdot (ξ_1 +ξ_2) }m(tξ_1,tξ_2) \hat{f}_{1}(ξ_1)\hat{f}_{2}(ξ_2)dξ_1 dξ_2\Big|^2\frac{dt}{t } \biggr)^{\frac 12}. $$ Let $s$ be an integer with $s\in[n+1,2n]$ and $p_0$ be…
▽ More
Let $n\ge 1$ and $\mathfrak{T}_{m}$ be the bilinear square Fourier multiplier operator associated with a symbol $m$, which is defined by $$ \mathfrak{T}_{m}(f_1,f_2)(x) = \biggl( \int_{0}^\infty\Big|\int_{(\mathbb{R}^n)^2} e^{2πix\cdot (ξ_1 +ξ_2) }m(tξ_1,tξ_2) \hat{f}_{1}(ξ_1)\hat{f}_{2}(ξ_2)dξ_1 dξ_2\Big|^2\frac{dt}{t } \biggr)^{\frac 12}. $$ Let $s$ be an integer with $s\in[n+1,2n]$ and $p_0$ be a number satisfying $2n/s\le p_0\le 2$. Suppose that $ν_{\vecω}=\prod_{i=1}^2ω_i^{p/ p_i}$ and each $ω_i$ is a nonnegative function on $\mathbb{R}^n$. In this paper, we show that $\mathfrak{T}_{m}$ is bounded from $L^{p_1}(ω_1)\times L^{p_2}(ω_2)$ to $L^p(ν_{\vecω})$ if $p_0< p_1, p_2<\infty$ with $1/p=1/p_1+ 1/p_2$. Moreover, if $p_0>2n/s$ and $p_1=p_0$ or $p_2=p_0$, then $\mathfrak{T}_{m}$ is bounded from $L^{p_1}(ω_1)\times L^{p_2}(ω_2)$ to $L^{p,\infty}(ν_{\vecω})$. The weighted end-point $L\log L$ type estimate and strong estimate for the commutators of $\mathfrak{T}_{m}$ are also given. These were done by considering the boundedness of some related multilinear square functions associated with mild regularity kernels and essentially improving some basic lemmas which have been used before.
△ Less
Submitted 19 April, 2016;
originally announced April 2016.
-
On General multilinear square function with non-smooth kernels
Authors:
Mahdi Hormozi,
Zengyan Si,
Qingying Xue
Abstract:
In this paper, we obtain some boundedness of the following general multilinear square functions $T$ with non-smooth kernels, which extend some known results significantly. $$ T(\vec{f})(x)=\big( \int_{0}^\infty \big|\int_{(\mathbb{R}^n)^m}K_v(x,y_1,\dots,y_m) \prod_{j=1}^mf_{j}(y_j)dy_1,\dots,dy_m\big|^2\frac{dv}{v}\big)^{\frac 12}. $$ The corresponding multilinear maximal square function $T^*$ wa…
▽ More
In this paper, we obtain some boundedness of the following general multilinear square functions $T$ with non-smooth kernels, which extend some known results significantly. $$ T(\vec{f})(x)=\big( \int_{0}^\infty \big|\int_{(\mathbb{R}^n)^m}K_v(x,y_1,\dots,y_m) \prod_{j=1}^mf_{j}(y_j)dy_1,\dots,dy_m\big|^2\frac{dv}{v}\big)^{\frac 12}. $$ The corresponding multilinear maximal square function $T^*$ was also introduced and weighted strong and weak type estimates for $T^*$ were given.
△ Less
Submitted 29 June, 2015;
originally announced June 2015.
-
Commutator Theorems for Fractional Integral Operators on Weighted Morrey Spaces
Authors:
Zengyan Si
Abstract:
Let $L$ be the infinitesimal generator of an analytic semigroup on $L^2(R^n)$ with Gaussican kernel bounds, and let $L^{-α/2}$ be the fractional integrals of $L$ for $0<α<n.$ For any locally integrable function $b$, The commutators associated with $L^{-α/2}$ are defined by $[b,L^{-α/2}](f)(x)=b(x)L^{-α/2}(f)(x)-L^{-α/2}(bf)(x)$. When $b\in BMO(ω)$(weighted $BMO$ space) or $b\in BMO$, the author ob…
▽ More
Let $L$ be the infinitesimal generator of an analytic semigroup on $L^2(R^n)$ with Gaussican kernel bounds, and let $L^{-α/2}$ be the fractional integrals of $L$ for $0<α<n.$ For any locally integrable function $b$, The commutators associated with $L^{-α/2}$ are defined by $[b,L^{-α/2}](f)(x)=b(x)L^{-α/2}(f)(x)-L^{-α/2}(bf)(x)$. When $b\in BMO(ω)$(weighted $BMO$ space) or $b\in BMO$, the author obtain the necessary and sufficient conditions for the boundedness of $[b,L^{-α/2}]$ on weighted Morrey spaces respectively.
△ Less
Submitted 21 March, 2012; v1 submitted 20 March, 2012;
originally announced March 2012.
-
Necessary and sufficient conditions for boundedness of commutators of the general fractional integral operators on weighted Morrey spaces
Authors:
Zengyan Si,
Fayou Zhao
Abstract:
We prove that $b$ is in $Lip_{\bz}(\bz)$ if and only if the commutator $[b,L^{-α/2}]$ of the multiplication operator by $b$ and the general fractional integral operator $L^{-α/2}$ is bounded from the weighed Morrey space $L^{p,k}(ω)$ to $L^{q,kq/p}(ω^{1-(1-α/n)q},ω)$, where $0<β<1$, $0<α+β<n, 1<p<{n}/({α+β})$, ${1}/{q}={1}/{p}-{(α+β)}/{n},$ $0\leq k<{p}/{q},$ $ω^{{q}/{p}}\in A_1$ and…
▽ More
We prove that $b$ is in $Lip_{\bz}(\bz)$ if and only if the commutator $[b,L^{-α/2}]$ of the multiplication operator by $b$ and the general fractional integral operator $L^{-α/2}$ is bounded from the weighed Morrey space $L^{p,k}(ω)$ to $L^{q,kq/p}(ω^{1-(1-α/n)q},ω)$, where $0<β<1$, $0<α+β<n, 1<p<{n}/({α+β})$, ${1}/{q}={1}/{p}-{(α+β)}/{n},$ $0\leq k<{p}/{q},$ $ω^{{q}/{p}}\in A_1$ and $ r_ω> \frac{1-k}{p/q-k},$ and here $r_ω$ denotes the critical index of $ω$ for the reverse Hölder condition.
△ Less
Submitted 20 March, 2012;
originally announced March 2012.