Showing 1–45 of 45 results for author: Ouyang, C

Global Geometry within an SPDE Well-Posedness Problem

Authors: Hongyi Chen, Cheng Ouyang

Abstract: On a closed Riemannian manifold, we construct a family of intrinsic Gaussian noises indexed by a regularity parameter $α\geq0$ to study the well-posedness of the parabolic Anderson model. We show that with rough initial conditions, the equation is well-posed assuming non-positive curvature with a condition on $α$ similar to that of Riesz kernel-correlated noise in Euclidean space. Non-positive cur… ▽ More On a closed Riemannian manifold, we construct a family of intrinsic Gaussian noises indexed by a regularity parameter $α\geq0$ to study the well-posedness of the parabolic Anderson model. We show that with rough initial conditions, the equation is well-posed assuming non-positive curvature with a condition on $α$ similar to that of Riesz kernel-correlated noise in Euclidean space. Non-positive curvature was used to overcome a new difficulty introduced by non-uniqueness of geodesics in this setting, which required exploration of global geometry. The well-posedness argument also produces exponentially growing in time upper bounds for the moments. Using Feynman-Kac formula for moments, we also obtain exponentially growing in time second moment lower bounds for our solutions with bounded initial condition. △ Less

Submitted 30 March, 2025; v1 submitted 6 February, 2025; originally announced February 2025.

Comments: Updated based on new submission. Introduction rewritten, more explanations added for readability, and some misleading comments in prior version were removed

Weighted Besov spaces on Heisenberg groups and applications to the Parabolic Anderson model

Authors: Fabrice Baudoin, Li Chen, Che-Hung Huang, Cheng Ouyang, Samy Tindel, Jing Wang

Abstract: This article aims at a proper definition and resolution of the parabolic Anderson model on Heisenberg groups $\mathbf{H}_{n}$. This stochastic PDE is understood in a pathwise (Stratonovich) sense. We consider a noise which is smoother than white noise in time, with a spatial covariance function generated by negative powers $(-Δ)^{-α}$ of the sub-Laplacian on $\mathbf{H}_{n}$. We give optimal condi… ▽ More This article aims at a proper definition and resolution of the parabolic Anderson model on Heisenberg groups $\mathbf{H}_{n}$. This stochastic PDE is understood in a pathwise (Stratonovich) sense. We consider a noise which is smoother than white noise in time, with a spatial covariance function generated by negative powers $(-Δ)^{-α}$ of the sub-Laplacian on $\mathbf{H}_{n}$. We give optimal conditions on the covariance function so that the stochastic PDE is solvable. A large portion of the article is dedicated to a detailed definition of weighted Besov spaces on $\mathbf{H}_{n}$. This definition, related paraproducts and heat flow smoothing properties, forms a necessary step in the resolution of our main equation. It also appears to be new and of independent interest. It relies on a recent approach, called projective, to Fourier transforms on $\mathbf{H}_{n}$. △ Less

Submitted 8 January, 2025; originally announced January 2025.

On ergodic properties of stochastic PDEs

Authors: Le Chen, Cheng Ouyang, Samy Tindel, Panqiu Xia

Abstract: In this note we review several situations in which stochastic PDEs exhibit ergodic properties. We begin with the basic dissipative conditions, as stated by Da Prato and Zabczyk in their classical monograph. Then we describe the singular case of SPDEs with reflection. Next we move to some degenerate (and thus more demanding) settings. Namely we recall some results obtained around 2006, concerning s… ▽ More In this note we review several situations in which stochastic PDEs exhibit ergodic properties. We begin with the basic dissipative conditions, as stated by Da Prato and Zabczyk in their classical monograph. Then we describe the singular case of SPDEs with reflection. Next we move to some degenerate (and thus more demanding) settings. Namely we recall some results obtained around 2006, concerning stochastic Navier-Stokes equations with a very degenerate noise. We finish the article by handling some cases with degenerate coefficients. This includes a new result about the parabolic Anderson model in dimension $d\ge 3$, driven by a general class of noises and fairly general initial conditions. In this context, a phase transition is observed, expressed in terms of the noise intensity. △ Less

Submitted 4 December, 2024; originally announced December 2024.

Comments: Dedicated to Giuseppe Da Prato. 40 pages, no figures, 58 references

MSC Class: 60H15; 35R60; 37L40; 35K05

Moment estimates for the stochastic heat equation on Cartan-Hadamard manifolds

Authors: Fabrice Baudoin, Hongyi Chen, Cheng Ouyang

Abstract: We study the effect of curvature on the Parabolic Anderson model by posing it over a Cartan-Hadamard manifold. We first construct a family of noises white in time and colored in space parameterized by a regularity parameter $α$, which we use to explore regularity requirements for well-posedness. Then, we show that conditions on the heat kernel imply an exponential in time upper bound for the momen… ▽ More We study the effect of curvature on the Parabolic Anderson model by posing it over a Cartan-Hadamard manifold. We first construct a family of noises white in time and colored in space parameterized by a regularity parameter $α$, which we use to explore regularity requirements for well-posedness. Then, we show that conditions on the heat kernel imply an exponential in time upper bound for the moments of the solution, and a lower bound for sectional curvature imply a corresponding lower bound. These results hold if the noise is strong enough, where the needed strength of the noise is affected by sectional curvature. △ Less

Submitted 14 November, 2024; originally announced November 2024.

Physics-embedded Fourier Neural Network for Partial Differential Equations

Authors: Qingsong Xu, Nils Thuerey, Yilei Shi, Jonathan Bamber, Chaojun Ouyang, Xiao Xiang Zhu

Abstract: We consider solving complex spatiotemporal dynamical systems governed by partial differential equations (PDEs) using frequency domain-based discrete learning approaches, such as Fourier neural operators. Despite their widespread use for approximating nonlinear PDEs, the majority of these methods neglect fundamental physical laws and lack interpretability. We address these shortcomings by introduci… ▽ More We consider solving complex spatiotemporal dynamical systems governed by partial differential equations (PDEs) using frequency domain-based discrete learning approaches, such as Fourier neural operators. Despite their widespread use for approximating nonlinear PDEs, the majority of these methods neglect fundamental physical laws and lack interpretability. We address these shortcomings by introducing Physics-embedded Fourier Neural Networks (PeFNN) with flexible and explainable error control. PeFNN is designed to enforce momentum conservation and yields interpretable nonlinear expressions by utilizing unique multi-scale momentum-conserving Fourier (MC-Fourier) layers and an element-wise product operation. The MC-Fourier layer is by design translation- and rotation-invariant in the frequency domain, serving as a plug-and-play module that adheres to the laws of momentum conservation. PeFNN establishes a new state-of-the-art in solving widely employed spatiotemporal PDEs and generalizes well across input resolutions. Further, we demonstrate its outstanding performance for challenging real-world applications such as large-scale flood simulations. △ Less

Submitted 15 July, 2024; originally announced July 2024.

Comments: 29 pages,18 figures

Unit Dual Quaternion Directed Graphs, Formation Control and General Weighted Directed Graphs

Authors: Liqun Qi, Chunfeng Cui, Chen Ouyang

Abstract: We study the multi-agent formation control problem in a directed graph. The relative configurations are expressed by unit dual quaternions (UDQs). We call such a weighted directed graph a unit dual quaternion directed graph (UDQDG). We show that a desired relative configuration scheme is reasonable or balanced in a UDQDG if and only if the dual quaternion Laplacian is similar to the unweighted Lap… ▽ More We study the multi-agent formation control problem in a directed graph. The relative configurations are expressed by unit dual quaternions (UDQs). We call such a weighted directed graph a unit dual quaternion directed graph (UDQDG). We show that a desired relative configuration scheme is reasonable or balanced in a UDQDG if and only if the dual quaternion Laplacian is similar to the unweighted Laplacian of the underlying directed graph. A direct method and a unit gain graph method are proposed to solve the balance problem of general unit weighted directed graphs. We then study the balance problem of general non-unit weighted directed graphs. Numerical experiments for UDQDG are reported. △ Less

Submitted 6 November, 2024; v1 submitted 10 January, 2024; originally announced January 2024.

Parabolic Anderson model in bounded domains of recurrent metric measure spaces

Authors: Fabrice Baudoin, Li Chen, Che-Hung Huang, Cheng Ouyang, Samy Tindel, Jing Wang

Abstract: A metric measure space equipped with a Dirichlet form is called recurrent if its Hausdorff dimension is less than its walk dimension. In bounded domains of such spaces we study the parabolic Anderson models \[ \partial_{t} u(t,x) = Δu(t,x) + βu(t,x) \, \dot{W}_α(t,x) \] where the noise $W_α$ is white in time and colored in space when $α>0$ while for $α=0$ it is also white in space. Both Dirichlet… ▽ More A metric measure space equipped with a Dirichlet form is called recurrent if its Hausdorff dimension is less than its walk dimension. In bounded domains of such spaces we study the parabolic Anderson models \[ \partial_{t} u(t,x) = Δu(t,x) + βu(t,x) \, \dot{W}_α(t,x) \] where the noise $W_α$ is white in time and colored in space when $α>0$ while for $α=0$ it is also white in space. Both Dirichlet and Neumann boundary conditions are considered. Besides proving existence and uniqueness in the Itô sense we also get precise $L^p$ estimates for the moments and intermittency properties of the solution as a consequence. Our study reveals new exponents which are intrinsically associated to the geometry of the underlying space and the results for instance apply in metric graphs or fractals like the Sierpiński gasket for which we prove scaling invariance properties of the models. △ Less

Submitted 3 January, 2024; originally announced January 2024.

Comments: 50 pages, 3 figures

Parabolic Anderson model with colored noise on torus

Authors: Le Chen, Cheng Ouyang, William Vickery

Abstract: We construct an intrinsic family of Gaussian noises on $d$-dimensional flat torus $\mathbb{T}^d$. It is the analogue of the colored noise on $\mathbb{R}^d$, and allows us to study stochastic PDEs on torus in the Itô sense in high dimensions. With this noise, we consider the parabolic Anderson model (PAM) with measure-valued initial conditions and establish some basic properties of the solution, in… ▽ More We construct an intrinsic family of Gaussian noises on $d$-dimensional flat torus $\mathbb{T}^d$. It is the analogue of the colored noise on $\mathbb{R}^d$, and allows us to study stochastic PDEs on torus in the Itô sense in high dimensions. With this noise, we consider the parabolic Anderson model (PAM) with measure-valued initial conditions and establish some basic properties of the solution, including a sharp upper and lower bound for the moments and Hölder continuity in space and time. The study of the toy model of $\mathbb{T}^d$ in the present paper is a first step towards our effort in understanding how geometry and topology play an role in the behavior of stochastic PDEs on general (compact) manifolds. △ Less

Submitted 21 August, 2023; originally announced August 2023.

Uniqueness for a stochastic ideal dyadic MHD model

Authors: Mimi Dai, Qirui Peng, Cheng Ouyang

Abstract: We study a stochastic dyadic model with both forward and backward energy cascade mechanisms for the inviscid and non-resistive magnetohydrodynamics. For a particular class of stochastic forcing, we show weak uniqueness for the stochastic system. However the solution dissipates the energy which is formally an invariant quantity for the system. We study a stochastic dyadic model with both forward and backward energy cascade mechanisms for the inviscid and non-resistive magnetohydrodynamics. For a particular class of stochastic forcing, we show weak uniqueness for the stochastic system. However the solution dissipates the energy which is formally an invariant quantity for the system. △ Less

Submitted 19 June, 2023; originally announced June 2023.

Comments: 26 pages

MSC Class: 35Q35; 76B03; 76W05

Parabolic Anderson model on Heisenberg groups: the Itô setting

Authors: Fabrice Baudoin, Cheng Ouyang, Samy Tindel, Jing Wang

Abstract: In this note we focus our attention on a stochastic heat equation defined on the Heisenberg group $\mathbf{H}^{n}$ of order $n$. This equation is written as $\partial_t u=\frac{1}{2}Δu+u\dot{W}_α$, where $Δ$ is the hypoelliptic Laplacian on $\mathbf{H}^{n}$ and $\{\dot{W}_α; α>0\}$ is a family of Gaussian space-time noises which are white in time and have a covariance structure generated by… ▽ More In this note we focus our attention on a stochastic heat equation defined on the Heisenberg group $\mathbf{H}^{n}$ of order $n$. This equation is written as $\partial_t u=\frac{1}{2}Δu+u\dot{W}_α$, where $Δ$ is the hypoelliptic Laplacian on $\mathbf{H}^{n}$ and $\{\dot{W}_α; α>0\}$ is a family of Gaussian space-time noises which are white in time and have a covariance structure generated by $(-Δ)^{-α}$ in space. Our aim is threefold: (i) Give a proper description of the noise $W_α$; (ii) Prove that one can solve the stochastic heat equation in the Itô sense as soon as $α>\frac{n}{2}$; (iii) Give some basic moment estimates for the solution $u(t,x)$. △ Less

Submitted 28 June, 2022; originally announced June 2022.

MSC Class: 60H07; 60H15; 60D05

Higgs bundles and SYZ geometry

Authors: Sebastian Heller, Charles Ouyang, Franz Pedit

Abstract: Using non-Abelian Hodge theory for parabolic Higgs bundles, we construct infinitely many non-congruent hyperbolic affine spheres modeled on a thrice-punctured sphere with monodromy in $\mathrm{SL}_3(\mathbb{Z})$. These give rise to non-isometric semi-flat Calabi-Yau metrics on special Lagrangian torus bundles over an open ball in $\mathbb{R}^{3}$ minus a Y-vertex, thereby answering a question rais… ▽ More Using non-Abelian Hodge theory for parabolic Higgs bundles, we construct infinitely many non-congruent hyperbolic affine spheres modeled on a thrice-punctured sphere with monodromy in $\mathrm{SL}_3(\mathbb{Z})$. These give rise to non-isometric semi-flat Calabi-Yau metrics on special Lagrangian torus bundles over an open ball in $\mathbb{R}^{3}$ minus a Y-vertex, thereby answering a question raised by Loftin, Yau, and Zaslow in [LYZ], [LYZerr]. △ Less

Submitted 23 October, 2023; v1 submitted 8 March, 2022; originally announced March 2022.

Comments: referees' comments incorporated; to appear in J. Differ. Geom

A closed ball compactification of a maximal component via cores of trees

Authors: Giuseppe Martone, Charles Ouyang, Andrea Tamburelli

Abstract: We show that, in the character variety of surface group representations into the Lie group $\mathrm{PSL}(2,\mathbb{R}) \times \mathrm{PSL}(2,\mathbb{R})$, the compactification of the maximal component introduced by the second author is a closed ball upon which the mapping class group acts. We study the dynamics of this action. Finally, we describe the boundary points geometrically as… ▽ More We show that, in the character variety of surface group representations into the Lie group $\mathrm{PSL}(2,\mathbb{R}) \times \mathrm{PSL}(2,\mathbb{R})$, the compactification of the maximal component introduced by the second author is a closed ball upon which the mapping class group acts. We study the dynamics of this action. Finally, we describe the boundary points geometrically as $(\overline{A_{1} \times A_{1}},2)$-valued mixed structures. △ Less

Submitted 21 December, 2021; v1 submitted 12 October, 2021; originally announced October 2021.

Comments: 25 pages

Journal ref: Algebr. Geom. 4 (2024), no. 4, pp. 3693-3717

Boundary of the Gothen components

Authors: Charles Ouyang, Andrea Tamburelli

Abstract: In this short note we describe an interesting new phenomenon about the $\mathrm{Sp}(4,\mathbb{R})$-character variety. Precisely, we show that the Hitchin component and all Gothen components share the same boundary in our length spectrum compactification. In this short note we describe an interesting new phenomenon about the $\mathrm{Sp}(4,\mathbb{R})$-character variety. Precisely, we show that the Hitchin component and all Gothen components share the same boundary in our length spectrum compactification. △ Less

Submitted 4 May, 2021; originally announced May 2021.

Comments: 13 pages, comments welcome. arXiv admin note: text overlap with arXiv:2010.03499

Journal ref: Topol. Appl. 326 (2023), pp 1-11

ST-SVD Factorization and s-Diagonal Tensors

Authors: Chen Ling, Jinjie Liu, Chen Ouyang, Liqun Qi

Abstract: A third order real tensor is mapped to a special f-diagonal tensor by going through Discrete Fourier Transform (DFT), standard matrix SVD and inverse DFT. We call such an f-diagonal tensor an s-diagonal tensor. An f-diagonal tensor is an s-diagonal tensor if and only if it is mapped to itself in the above process. The third order tensor space is partitioned to orthogonal equivalence classes. Each… ▽ More A third order real tensor is mapped to a special f-diagonal tensor by going through Discrete Fourier Transform (DFT), standard matrix SVD and inverse DFT. We call such an f-diagonal tensor an s-diagonal tensor. An f-diagonal tensor is an s-diagonal tensor if and only if it is mapped to itself in the above process. The third order tensor space is partitioned to orthogonal equivalence classes. Each orthogonal equivalence class has a unique s-diagonal tensor. Two s-diagonal tensors are equal if they are orthogonally equivalent. Third order tensors in an orthogonal equivalence class have the same tensor tubal rank and T-singular values. Four meaningful necessary conditions for s-diagonal tensors are presented. Then we present a set of sufficient and necessary conditions for s-diagonal tensors. Such conditions involve a special complex number. In the cases that the dimension of the third mode of the considered tensor is $2, 3$ and $4$, we present direct sufficient and necessary conditions which do not involve such a complex number. △ Less

Submitted 9 August, 2021; v1 submitted 12 April, 2021; originally announced April 2021.

An Orthogonal Equivalence Theorem for Third Order Tensors

Authors: Liqun Qi, Chen Ling, Jinejie Liu, Chen Ouyang

Abstract: In 2011, Kilmer and Martin proposed tensor singular value decomposition (T-SVD) for third order tensors. Since then, T-SVD has applications in low rank tensor approximation, tensor recovery, multi-view clustering, multi-view feature extraction, tensor sketching, etc. By going through the Discrete Fourier Transform (DFT), matrix SVD and inverse DFT, a third order tensor is mapped to an f-diagonal t… ▽ More In 2011, Kilmer and Martin proposed tensor singular value decomposition (T-SVD) for third order tensors. Since then, T-SVD has applications in low rank tensor approximation, tensor recovery, multi-view clustering, multi-view feature extraction, tensor sketching, etc. By going through the Discrete Fourier Transform (DFT), matrix SVD and inverse DFT, a third order tensor is mapped to an f-diagonal third order tensor. We call this a Kilmer-Martin mapping. We show that the Kilmer-Martin mapping of a third order tensor is invariant if that third order tensor is taking T-product with some orthogonal tensors. We define singular values and T-rank of that third order tensor based upon its Kilmer-Martin mapping. Thus, tensor tubal rank, T-rank, singular values and T-singular values of a third order tensor are invariant when it is taking T-product with some orthogonal tensors. Some properties of singular values, T-rank and best T-rank one approximation are discussed. △ Less

Submitted 10 August, 2021; v1 submitted 29 March, 2021; originally announced March 2021.

Length spectrum compactification of the $\mathrm{SO}_{0}(2,3)$-Hitchin component

Authors: Charles Ouyang, Andrea Tamburelli

Abstract: We find a compactification of the $\mathrm{SO}_{0}(2,3)$-Hitchin component by studying the degeneration of the induced metric on the unique equivariant maximal surface in the 4-dimensional pseudo-hyperbolic space $\mathbb{H}^{2,2}$. In the process, we establish the closure in the space of projectivized geodesic currents of the space of flat metrics induced by holomorphic quartic differentials on a… ▽ More We find a compactification of the $\mathrm{SO}_{0}(2,3)$-Hitchin component by studying the degeneration of the induced metric on the unique equivariant maximal surface in the 4-dimensional pseudo-hyperbolic space $\mathbb{H}^{2,2}$. In the process, we establish the closure in the space of projectivized geodesic currents of the space of flat metrics induced by holomorphic quartic differentials on a Riemann surface. As an application, we describe the behavior of the entropy of Hitchin representations along rays of quartic differentials. △ Less

Submitted 7 October, 2020; originally announced October 2020.

Comments: 34 pages, comments welcome

Journal ref: Adv. Math. 420 (2023), pp 1-37

A $K$-rough path above the space-time fractional Brownian motion

Authors: Xia Chen, Aurélien Deya, Cheng Ouyang, Samy Tindel

Abstract: We construct a $K$-rough path above either a space-time or a spatial fractional Brownian motion, in any space dimension $d$. This allows us to provide an interpretation and a unique solution for the corresponding parabolic Anderson model, understood in the renormalized sense. We also consider the case of a spatial fractional noise. We construct a $K$-rough path above either a space-time or a spatial fractional Brownian motion, in any space dimension $d$. This allows us to provide an interpretation and a unique solution for the corresponding parabolic Anderson model, understood in the renormalized sense. We also consider the case of a spatial fractional noise. △ Less

Submitted 7 September, 2020; originally announced September 2020.

Comments: This preprint is the result of splitting our original submission arXiv:2003.14367, which was slightly too long. The present preprint contains the construction of the Stratonovich solution

MSC Class: 60L30; 60L50; 60F10; 60K37

Precise Local Estimates for Differential Equations driven by Fractional Brownian Motion: Hypoelliptic Case

Authors: Xi Geng, Cheng Ouyang, Samy Tindel

Abstract: This article is concerned with stochastic differential equations driven by a $d$ dimensional fractional Brownian motion with Hurst parameter $H>1/4$, understood in the rough paths sense. Whenever the coefficients of the equation satisfy a uniform hypoellipticity condition, we establish a sharp local estimate on the associated control distance function and a sharp local lower estimate on the densit… ▽ More This article is concerned with stochastic differential equations driven by a $d$ dimensional fractional Brownian motion with Hurst parameter $H>1/4$, understood in the rough paths sense. Whenever the coefficients of the equation satisfy a uniform hypoellipticity condition, we establish a sharp local estimate on the associated control distance function and a sharp local lower estimate on the density of the solution. Our methodology relies heavily on the rough paths structure of the equation. △ Less

Submitted 3 August, 2020; originally announced August 2020.

Comments: This preprint is the result of splitting our original submission arXiv:1907.00171, which was slightly too long. The current preprint contains the hypoelliptic part of our analysis. Part of the presentation (and arguments) in the current preprint is different from the original submission

MSC Class: 60H10; 60H07; 60G15

Precise Local Estimates for Differential Equations driven by Fractional Brownian Motion: Elliptic Case

Authors: Xi Geng, Cheng Ouyang, Samy Tindel

Abstract: This article is concerned with stochastic differential equations driven by a $d$ dimensional fractional Brownian motion with Hurst parameter $H>1/4$, understood in the rough paths sense. Whenever the coefficients of the equation satisfy a uniform ellipticity condition, we establish a sharp local estimate on the associated control distance function and a sharp local lower estimate on the density of… ▽ More This article is concerned with stochastic differential equations driven by a $d$ dimensional fractional Brownian motion with Hurst parameter $H>1/4$, understood in the rough paths sense. Whenever the coefficients of the equation satisfy a uniform ellipticity condition, we establish a sharp local estimate on the associated control distance function and a sharp local lower estimate on the density of the solution. △ Less

Submitted 31 July, 2020; originally announced July 2020.

Comments: This preprint is the result of splitting our original submission arXiv:1907.00171, which was slightly too long. The current preprint contains the elliptic part of our analysis

MSC Class: 60H10; 60H07; 60G15

Geometric Deviation From Lévy's Occupation Time Arcsine Law

Authors: Elton P. Hsu, Cheng Ouyang

Abstract: We prove a geometric extension of Lévy's occupation time arcsine law near a hypersurface on a Riemannian manifold. The deviation from the classic arcsine law is of the order of the square-root of the time horizon and is expressed explicitly in terms of the mean curvature of the hypersurface and the local time of the underlying standard Brownian motion. We prove a geometric extension of Lévy's occupation time arcsine law near a hypersurface on a Riemannian manifold. The deviation from the classic arcsine law is of the order of the square-root of the time horizon and is expressed explicitly in terms of the mean curvature of the hypersurface and the local time of the underlying standard Brownian motion. △ Less

Submitted 21 April, 2020; originally announced April 2020.

MSC Class: 60D58; 28D05

Moment estimates for some renormalized parabolic Anderson models

Authors: Xia Chen, Aurélien Deya, Cheng Ouyang, Samy Tindel

Abstract: The theory of regularity structures enables the definition of the following parabolic Anderson model in a very rough environment: $\partial_{t} u_{t}(x) = \frac12 Δu_{t}(x) + u_{t}(x) \, \dot W_{t}(x)$, for $t\in\mathbb{R}_{+}$ and $x\in \mathbb{R}^{d}$, where $\dot W_{t}(x)$ is a Gaussian noise whose space time covariance function is singular. In this rough context, we shall give some information… ▽ More The theory of regularity structures enables the definition of the following parabolic Anderson model in a very rough environment: $\partial_{t} u_{t}(x) = \frac12 Δu_{t}(x) + u_{t}(x) \, \dot W_{t}(x)$, for $t\in\mathbb{R}_{+}$ and $x\in \mathbb{R}^{d}$, where $\dot W_{t}(x)$ is a Gaussian noise whose space time covariance function is singular. In this rough context, we shall give some information about the moments of $u_{t}(x)$ when the stochastic heat equation is interpreted in the Skorohod as well as the Stratonovich sense. Of special interest is the critical case, for which one observes a blowup of moments for large times. △ Less

Submitted 7 September, 2020; v1 submitted 31 March, 2020; originally announced March 2020.

Comments: The paper has been split. The construction of Stratonovich solution has been removed from this version

MSC Class: 60L30; 60L50; 60F10; 60K37

Limits of Blaschke metrics

Authors: Charles Ouyang, Andrea Tamburelli

Abstract: We find a compactification of the $\mathrm{SL}(3,\mathbb{R})$-Hitchin component by studying the degeneration of the Blaschke metrics on the associated equivariant affine spheres. In the process, we establish the closure in the space of projectivized geodesic currents of the space of flat metrics induced by holomorphic cubic differentials on a Riemann surface. We find a compactification of the $\mathrm{SL}(3,\mathbb{R})$-Hitchin component by studying the degeneration of the Blaschke metrics on the associated equivariant affine spheres. In the process, we establish the closure in the space of projectivized geodesic currents of the space of flat metrics induced by holomorphic cubic differentials on a Riemann surface. △ Less

Submitted 30 September, 2020; v1 submitted 5 November, 2019; originally announced November 2019.

Comments: 35 pages, 3 figures, referee's suggestions added. To appear in Duke Math. J

Journal ref: Duke Math. J. 170 no. 8 (2021), pp. 1683-1722

High energy harmonic maps and degeneration of minimal surfaces

Authors: Charles Ouyang

Abstract: Let $S$ be a closed surface of genus $g \geq 2$ and let $ρ$ be a maximal $\mathrm{PSL}(2, \mathbb{R}) \times \mathrm{PSL}(2, \mathbb{R})$ surface group representation. By a result of Schoen, there is a unique $ρ$-equivariant minimal surface $\widetildeΣ$ in $\mathbb{H}^{2} \times \mathbb{H}^{2}$. We study the induced metrics on these minimal surfaces and prove the limits are precisely mixed struct… ▽ More Let $S$ be a closed surface of genus $g \geq 2$ and let $ρ$ be a maximal $\mathrm{PSL}(2, \mathbb{R}) \times \mathrm{PSL}(2, \mathbb{R})$ surface group representation. By a result of Schoen, there is a unique $ρ$-equivariant minimal surface $\widetildeΣ$ in $\mathbb{H}^{2} \times \mathbb{H}^{2}$. We study the induced metrics on these minimal surfaces and prove the limits are precisely mixed structures. In the second half of the paper, we provide a geometric interpretation: the minimal surfaces $\widetildeΣ$ degenerate to the core of a product of two $\mathbb{R}$-trees. As a consequence, we obtain a compactification of the space of maximal representations of $π_{1}(S)$ into $\mathrm{PSL}(2, \mathbb{R}) \times \mathrm{PSL}(2, \mathbb{R})$. △ Less

Submitted 15 October, 2019; originally announced October 2019.

Comments: 38 pages

Precise Local Estimates for Hypoelliptic Differential Equations driven by Fractional Brownian Motions

Authors: Xi Geng, Cheng Ouyang, Samy Tindel

Abstract: This article is concerned with stochastic differential equations driven by a $d$ dimensional fractional Brownian motion with Hurst parameter $H>1/4$, understood in the rough paths sense. Whenever the coefficients of the equation satisfy a uniform hypoellipticity condition, we establish a sharp local estimate on the associated control distance function and a sharp local lower estimate on the densit… ▽ More This article is concerned with stochastic differential equations driven by a $d$ dimensional fractional Brownian motion with Hurst parameter $H>1/4$, understood in the rough paths sense. Whenever the coefficients of the equation satisfy a uniform hypoellipticity condition, we establish a sharp local estimate on the associated control distance function and a sharp local lower estimate on the density of the solution. Our methodology relies heavily on the rough paths structure of the equation. △ Less

Submitted 29 June, 2019; originally announced July 2019.

Density of the signature process of fBm

Authors: Fabrice Baudoin, Qi Feng, Cheng Ouyang

Abstract: We study the density of the signature of fractional Brownian motions with parameter $H>1/4$. In particular, we prove existence, smoothness, global Gaussian upper bounds and Varadhan's type asymptotics for this density. A key result is that the estimates on the density we obtain are controlled by the Carnot-Carathéodory distance of the group. We study the density of the signature of fractional Brownian motions with parameter $H>1/4$. In particular, we prove existence, smoothness, global Gaussian upper bounds and Varadhan's type asymptotics for this density. A key result is that the estimates on the density we obtain are controlled by the Carnot-Carathéodory distance of the group. △ Less

Submitted 19 April, 2019; originally announced April 2019.

Comments: 28 pages

Density bounds for solutions to differential equations driven by Gaussian rough paths

Authors: Benjamin Gess, Cheng Ouyang, Samy Tindel

Abstract: We consider finite dimensional rough differential equations driven by centered Gaussian processes. Combining Malliavin calculus, rough paths techniques and interpolation inequalities, we establish upper bounds on the density of the corresponding solution for any fixed time $t>0$. In addition, we provide Varadhan estimates for the asymptotic behavior of the density for small noise. The emphasis is… ▽ More We consider finite dimensional rough differential equations driven by centered Gaussian processes. Combining Malliavin calculus, rough paths techniques and interpolation inequalities, we establish upper bounds on the density of the corresponding solution for any fixed time $t>0$. In addition, we provide Varadhan estimates for the asymptotic behavior of the density for small noise. The emphasis is on working with general Gaussian processes with covariance function satisfying suitable abstract, checkable conditions. △ Less

Submitted 16 June, 2020; v1 submitted 7 December, 2017; originally announced December 2017.

Journal ref: J Theor Probab 33 (2020) 611-648

On the law of the iterated logarithm for Brownian motion on compact manifolds

Authors: Cheng Ouyang, Jennifer Pajda-De La O

Abstract: By taking a functional analytic point of view, we consider a family of distributions (continuous linear functionals on smooth functions), denoted by $\{μ_t,t>0\}$, associated to the law of iterated logarithm for Brownian motion on a compact manifold. We give a complete characterization of the collection of limiting distributions of $\{μ_t, t>0\}$. By taking a functional analytic point of view, we consider a family of distributions (continuous linear functionals on smooth functions), denoted by $\{μ_t,t>0\}$, associated to the law of iterated logarithm for Brownian motion on a compact manifold. We give a complete characterization of the collection of limiting distributions of $\{μ_t, t>0\}$. △ Less

Submitted 30 August, 2016; originally announced August 2016.

Efficient posterior inference on the volatility of a jump diffusion process

Authors: Ryan Martin, Cheng Ouyang, Francois Domagni

Abstract: Jump diffusion processes are widely used to model asset prices over time, mainly for their ability to capture complex discontinuous behavior, but inference on the model parameters remains a challenge. Here our goal is posterior inference on the volatility coefficient of the diffusion part of the process based on discrete samples. A Bayesian approach requires specification of a model for the jump p… ▽ More Jump diffusion processes are widely used to model asset prices over time, mainly for their ability to capture complex discontinuous behavior, but inference on the model parameters remains a challenge. Here our goal is posterior inference on the volatility coefficient of the diffusion part of the process based on discrete samples. A Bayesian approach requires specification of a model for the jump part of the process, prior distributions for the corresponding parameters, and computation of the joint posterior. Since the volatility coefficient is our only interest, it would be desirable to avoid the modeling and computational costs associated with the jump part of the process. Towards this, we consider a {\em purposely misspecified model} that ignores the jump part entirely. We work out precisely the asymptotic behavior of the Bayesian posterior under the misspecified model, propose some simple modifications to correct for the effects of misspecification, and demonstrate that our modified posterior inference on the volatility is efficient in the sense that its asymptotic variance equals the no-jumps model Cramér--Rao bound. △ Less

Submitted 21 February, 2017; v1 submitted 23 August, 2016; originally announced August 2016.

The first few unicyclic and bicyclic hypergraphs with larger spectral radii

Authors: Chen Ouyang, Liqun Qi, Xiying Yuan

Abstract: A connected $k$-uniform hypergraph with $n$ vertices and $m$ edges is called $r$-cyclic if $n=m(k-1)-r+1$. For $r=1$ or $2$, the hypergraph is simply called unicyclic or bicyclic. In this paper we investigate hypergraphs that attain larger spectral radii among all simple connected $k$-uniform unicyclic and bicyclic hypergraphs. Specifically, by using some edge operations, the formula on power hype… ▽ More A connected $k$-uniform hypergraph with $n$ vertices and $m$ edges is called $r$-cyclic if $n=m(k-1)-r+1$. For $r=1$ or $2$, the hypergraph is simply called unicyclic or bicyclic. In this paper we investigate hypergraphs that attain larger spectral radii among all simple connected $k$-uniform unicyclic and bicyclic hypergraphs. Specifically, by using some edge operations, the formula on power hypergraph eigenvalues, the weighted incidence matrix and a result on linear unicyclic hypergraphs, we determined the first five hypergraphs with larger spectral radius among all unicyclic hypergraphs and the first three over all bicyclic hypergraphs. △ Less

Submitted 27 July, 2016; originally announced July 2016.

Some properties and applications of odd-colorable $r$-hypergraphs

Authors: Xiying Yuan, Liqun Qi, Jiayu Shao, Chen Ouyang

Abstract: Let $r\geq2$ and $r$ be even. An $r$-hypergraph $G$ on $n$ vertices is called odd-colorable if there exists a map $\varphi:[n]\rightarrow\lbrack r]$ such that for any edge $\{j_{1},j_{2},\cdots,j_{r}\}$ of $G$, we have $\varphi(j_{1})+\varphi(j_{2})+\cdot\cdot\cdot+\varphi(j_{r})\equiv r/2(\operatorname{mod}r).$ In this paper, we first determine that, if $r=2^{q}(2t+1)$ and $n\ge 2^{q}(2^{q}-1)r$,… ▽ More Let $r\geq2$ and $r$ be even. An $r$-hypergraph $G$ on $n$ vertices is called odd-colorable if there exists a map $\varphi:[n]\rightarrow\lbrack r]$ such that for any edge $\{j_{1},j_{2},\cdots,j_{r}\}$ of $G$, we have $\varphi(j_{1})+\varphi(j_{2})+\cdot\cdot\cdot+\varphi(j_{r})\equiv r/2(\operatorname{mod}r).$ In this paper, we first determine that, if $r=2^{q}(2t+1)$ and $n\ge 2^{q}(2^{q}-1)r$, then the maximum chromatic number in the class of the odd-colorable $r$-hypergraphs on $n$ vertices is $2^q$, which answers a question raised by V. Nikiforov recently in [V. Nikiforov, Hypergraphs and hypermatrices with symmetric spectrum. Prinprint available in arXiv:1605.00709v2, 10 May, 2016]. We also study some applications of the symmetric spectral property of the odd-colorable $r$-graphs given in that same paper by V. Nikiforov. We show that the Laplacian spectrum and the signless Laplacian spectrum of an $r$-hypergraph $G$ are equal if and only if $G$ is odd-colorable, and then study some further applications of these spectral properties. △ Less

Submitted 1 September, 2016; v1 submitted 15 June, 2016; originally announced June 2016.

Comments: 9pages; Some results are added, and some typos are corrected

Local times of stochastic differential equations driven by fractional Brownian motions

Authors: Shuwen Lou, Cheng Ouyang

Abstract: In this paper, we study the existence and (Hölder) regularity of local times of stochastic differential equations driven by fractional Brownian motions. In particular, we show that in one dimension and in the rough case H<1/2, the Hölder exponent (in t) of the local time is 1-H, where H is the Hurst parameter of the driving fractional Brownian motion. In this paper, we study the existence and (Hölder) regularity of local times of stochastic differential equations driven by fractional Brownian motions. In particular, we show that in one dimension and in the rough case H<1/2, the Hölder exponent (in t) of the local time is 1-H, where H is the Hurst parameter of the driving fractional Brownian motion. △ Less

Submitted 23 February, 2016; originally announced February 2016.

Fractal Dimensions of Rough Differential Equations Driven by Fractional Brownian Motions

Authors: Shuwen Lou, Cheng Ouyang

Abstract: In this work we study fractal properties of rough differential equations driven by a fractional Brownian motions with Hurst parameter $H>\frac{1}{4}$. In particular, we show that the Hausdorff dimension of the sample paths of the solution is $\min\{d,\frac{1}{H}\}$ and that the Hausdorff dimension of the level set $L_x=\{ t\in[ε,1]: X_t=x\}$ is $1-dH$ with positive probability when… ▽ More In this work we study fractal properties of rough differential equations driven by a fractional Brownian motions with Hurst parameter $H>\frac{1}{4}$. In particular, we show that the Hausdorff dimension of the sample paths of the solution is $\min\{d,\frac{1}{H}\}$ and that the Hausdorff dimension of the level set $L_x=\{ t\in[ε,1]: X_t=x\}$ is $1-dH$ with positive probability when $d<\frac{1}{H}$ △ Less

Submitted 28 January, 2015; v1 submitted 27 January, 2015; originally announced January 2015.

Comments: arXiv admin note: text overlap with arXiv:1403.0872

Essential Normality of automorphic composition operators

Authors: Liangying Jiang, Caiheng Ouyang, Ruhan Zhao

Abstract: We first characterize those composition operators that are essentially normal on the weighted Bergman space $A^2_s(D)$ for any real $s>-1$, where induced symbols are automorphisms of the unit disk $D$. Using the same technique, we investigate the automorphic composition operators on the Hardy space $H^2(B_N)$ and the weighted Bergman spaces $A^2_s(B_N)$ ($s>-1$). Furthermore, we give some composit… ▽ More We first characterize those composition operators that are essentially normal on the weighted Bergman space $A^2_s(D)$ for any real $s>-1$, where induced symbols are automorphisms of the unit disk $D$. Using the same technique, we investigate the automorphic composition operators on the Hardy space $H^2(B_N)$ and the weighted Bergman spaces $A^2_s(B_N)$ ($s>-1$). Furthermore, we give some composition operators induced by linear fractional self-maps of the unit ball $B_N$ that are not essentially normal. △ Less

Submitted 19 August, 2014; originally announced August 2014.

Comments: 31 pages

MSC Class: Primary 47B33; Secondary 32A35; 32A36

On small time asymptotics for rough differential equations driven by fractional Brownian motions

Authors: Fabrice Baudoin, Cheng Ouyang

Abstract: We survey existing results concerning the study in small times of the density of the solution of a rough differential equation driven by fractional Brownian motions. We also slightly improve existing results and discuss some possible applications to mathematical finance. We survey existing results concerning the study in small times of the density of the solution of a rough differential equation driven by fractional Brownian motions. We also slightly improve existing results and discuss some possible applications to mathematical finance. △ Less

Submitted 4 March, 2014; originally announced March 2014.

Comments: This is a survey paper, submitted to proceedings in the memory of Peter Laurence

On probability laws of solutions to differential systems driven by a fractional Brownian motion

Authors: Fabrice Baudoin, Eulalia Nualart, Cheng Ouyang, Samy Tindel

Abstract: This article investigates several properties related to densities of solutions X to differential equations driven by a fractional Brownian motion with Hurst parameter H>1/4. We first determine conditions for strict positivity of the density of X_t. Then we obtain some exponential bounds for this density when the diffusion coefficient satisfies an elliptic type condition. Finally, still in the elli… ▽ More This article investigates several properties related to densities of solutions X to differential equations driven by a fractional Brownian motion with Hurst parameter H>1/4. We first determine conditions for strict positivity of the density of X_t. Then we obtain some exponential bounds for this density when the diffusion coefficient satisfies an elliptic type condition. Finally, still in the elliptic case, we derive some bounds on the hitting probabilities of sets by fractional differential systems in terms of Newtonian capacities. △ Less

Submitted 15 January, 2014; originally announced January 2014.

Varadhan Estimates for rough differential equations driven by fractional Brownian motions

Authors: Fabrice Baudoin, Cheng Ouyang, Xuejing Zhang

Abstract: In this work we study rough differential equations driven by a fractional Brownian motion with Hurst parameter H>1/4 and establish Varadhan's small time estimates for the density of solutions of such equations under Hormander's type conditions. In this work we study rough differential equations driven by a fractional Brownian motion with Hurst parameter H>1/4 and establish Varadhan's small time estimates for the density of solutions of such equations under Hormander's type conditions. △ Less

Submitted 27 April, 2013; originally announced April 2013.

Smoothing effect of rough differential equations driven by fractional Brownian motions

Authors: Fabrice Baudoin, Cheng Ouyang, Xuejing Zhang

Abstract: In this work we study the smoothing effect of rough differential equations driven by a fractional Brownian motion with parameter $H>1/4$. The regularization estimates we obtain generalize to the fractional Brownian motion previous results by Kusuoka and Stroock and can be seen as a quantitative version of the existence of smooth densities under Hörmander's type conditions. In this work we study the smoothing effect of rough differential equations driven by a fractional Brownian motion with parameter $H>1/4$. The regularization estimates we obtain generalize to the fractional Brownian motion previous results by Kusuoka and Stroock and can be seen as a quantitative version of the existence of smooth densities under Hörmander's type conditions. △ Less

Submitted 17 April, 2013; originally announced April 2013.

Carleson measures for Besov-Sobolev spaces with applications in the unit ball of $C^n$

Authors: Ru Peng, Caiheng Ouyang

Abstract: This paper is devoted to give the connections between Carleson measures for Besov-Sobolev spaces $B_p^σ(B)$ and $p$-Carleson measure in the unit ball of ${\bf C}^n$. As applications, we characterize the Riemann-Stieltjes operators and multipliers acting on $B_p^σ(B)$ spaces by means of Carleson measures for $B_p^σ(B)$. This paper is devoted to give the connections between Carleson measures for Besov-Sobolev spaces $B_p^σ(B)$ and $p$-Carleson measure in the unit ball of ${\bf C}^n$. As applications, we characterize the Riemann-Stieltjes operators and multipliers acting on $B_p^σ(B)$ spaces by means of Carleson measures for $B_p^σ(B)$. △ Less

Submitted 21 August, 2012; v1 submitted 5 September, 2011; originally announced September 2011.

MSC Class: Primary 32A37; Secondary 47B38

Journal ref: Acta Mathematica Scientia, 33B (2013), 1219-1230

Small-time expansions for local jump-diffusion models with infinite jump activity

Authors: José E. Figueroa-López, Yankeng Luo, Cheng Ouyang

Abstract: We consider a Markov process $X$, which is the solution of a stochastic differential equation driven by a Lévy process $Z$ and an independent Wiener process $W$. Under some regularity conditions, including non-degeneracy of the diffusive and jump components of the process as well as smoothness of the Lévy density of $Z$ outside any neighborhood of the origin, we obtain a small-time second-order po… ▽ More We consider a Markov process $X$, which is the solution of a stochastic differential equation driven by a Lévy process $Z$ and an independent Wiener process $W$. Under some regularity conditions, including non-degeneracy of the diffusive and jump components of the process as well as smoothness of the Lévy density of $Z$ outside any neighborhood of the origin, we obtain a small-time second-order polynomial expansion for the tail distribution and the transition density of the process $X$. Our method of proof combines a recent regularizing technique for deriving the analog small-time expansions for a Lévy process with some new tail and density estimates for jump-diffusion processes with small jumps based on the theory of Malliavin calculus, flow of diffeomorphisms for SDEs, and time-reversibility. As an application, the leading term for out-of-the-money option prices in short maturity under a local jump-diffusion model is also derived. △ Less

Submitted 2 July, 2014; v1 submitted 16 August, 2011; originally announced August 2011.

Comments: Published in at http://dx.doi.org/10.3150/13-BEJ518 the Bernoulli (http://isi.cbs.nl/bernoulli/) by the International Statistical Institute/Bernoulli Society (http://isi.cbs.nl/BS/bshome.htm)

Report number: IMS-BEJ-BEJ518

Journal ref: Bernoulli 2014, Vol. 20, No. 3, 1165-1209

Upper bounds for the density of solutions of stochastic differential equations driven by fractional Brownian motions

Authors: Fabrice Baudoin, Cheng Ouyang, Samy Tindel

Abstract: In this paper we study upper bounds for the density of solution of stochastic differential equations driven by a fractional Brownian motion with Hurst parameter H > 1/3. We show that under some geometric conditions, in the regular case H > 1/2, the density of the solution satisfy the log-Sobolev inequality, the Gaussian concentration inequality and admits an upper Gaussian bound. In the rough case… ▽ More In this paper we study upper bounds for the density of solution of stochastic differential equations driven by a fractional Brownian motion with Hurst parameter H > 1/3. We show that under some geometric conditions, in the regular case H > 1/2, the density of the solution satisfy the log-Sobolev inequality, the Gaussian concentration inequality and admits an upper Gaussian bound. In the rough case H > 1/3 and under the same geometric conditions, we show that the density of the solution is smooth and admits an upper sub-Gaussian bound. △ Less

Submitted 19 April, 2011; originally announced April 2011.

Gradient Bounds for Solutions of Stochastic Differential Equations Driven by Fractional Brownian Motions

Authors: Fabrice Baudoin, Cheng Ouyang

Abstract: We study some functional inequalities satisfied by the distribution of the solution of a stochastic differential equation driven by fractional Brownian motions. Such functional inequalities are obtained through new integration by parts formulas on the path space of a fractional Brownian motion. We study some functional inequalities satisfied by the distribution of the solution of a stochastic differential equation driven by fractional Brownian motions. Such functional inequalities are obtained through new integration by parts formulas on the path space of a fractional Brownian motion. △ Less

Submitted 22 February, 2011; originally announced February 2011.

Comments: The paper is dedicated to Pr. David Nualart 60th's birthday

Compact Differences of Composition Operators on Holomorphic Function Spaces in the Unit Ball

Authors: Liangying Jiang, Caiheng Ouyang

Abstract: We find a lower bound for the essential norm of the difference of two composition operators acting on $H^2(B_N)$ or $A^2_s(B_N)$ ($s>-1$). This result plays an important role in proving a necessary and sufficient condition for the difference of linear fractional composition operators to be compact, which answers a question posed by MacCluer and Weir in 2005. We find a lower bound for the essential norm of the difference of two composition operators acting on $H^2(B_N)$ or $A^2_s(B_N)$ ($s>-1$). This result plays an important role in proving a necessary and sufficient condition for the difference of linear fractional composition operators to be compact, which answers a question posed by MacCluer and Weir in 2005. △ Less

Submitted 10 August, 2010; originally announced August 2010.

Comments: 18 pages

MSC Class: 47B38 (Primary); 32A35 (Secondary); 32A36

Small-time kernel expansion for solutions of stochastic differential equations driven by fractional Brownian motions

Authors: Fabrice Baudoin, Cheng Ouyang

Abstract: In this paper we show that under some assumptions, for a $d$-dimensional fractional Brownian motion with Hurst parameter $H>1/2$, the density of solution of stochastic differential equation driven by it has a short-time expansion similar to that in the Brownian motion case. In this paper we show that under some assumptions, for a $d$-dimensional fractional Brownian motion with Hurst parameter $H>1/2$, the density of solution of stochastic differential equation driven by it has a short-time expansion similar to that in the Brownian motion case. △ Less

Submitted 19 May, 2010; originally announced May 2010.

Riemann-Stieltjes operators and multipliers on $Q_p$ spaces in the unit ball of $C^n$

Authors: Ru Peng, Caiheng Ouyang

Abstract: This paper is devoted to characterizing the Riemann-Stieltjes operators and pointwise multipliers acting on M${\rm \ddot{o}}$bius invariant spaces $Q_p$, which unify BMOA and Bloch space in the scale of $p$. The boundedness and compactness of these operators on $Q_p$ spaces are determined by means of an embedding theorem, i.e. $Q_p$ spaces boundedly embedded in the non-isotropic tent type spaces… ▽ More This paper is devoted to characterizing the Riemann-Stieltjes operators and pointwise multipliers acting on M${\rm \ddot{o}}$bius invariant spaces $Q_p$, which unify BMOA and Bloch space in the scale of $p$. The boundedness and compactness of these operators on $Q_p$ spaces are determined by means of an embedding theorem, i.e. $Q_p$ spaces boundedly embedded in the non-isotropic tent type spaces $T_q^\infty$. △ Less

Submitted 8 September, 2011; v1 submitted 4 January, 2009; originally announced January 2009.

Comments: 16 pages

MSC Class: 32A37 (Primary) 47B38 (Secondary)

Journal ref: Journal of Mathematical Analysis and Applications, 377 (2011), 180-193

BMO functions and Carleson measures with values in uniformly convex spaces

Authors: Caiheng Ouyang, Quanhua Xu

Abstract: This paper studies the relationship between vector-valued BMO functions and the Carleson measures defined by their gradients. Let $dA$ and $dm$ denote Lebesgue measures on the unit disc $D$ and the unit circle $\mathbb T$, respectively. For $1< q<\infty$ and a Banach space $B$ we prove that there exists a positive constant $c$ such that… ▽ More This paper studies the relationship between vector-valued BMO functions and the Carleson measures defined by their gradients. Let $dA$ and $dm$ denote Lebesgue measures on the unit disc $D$ and the unit circle $\mathbb T$, respectively. For $1< q<\infty$ and a Banach space $B$ we prove that there exists a positive constant $c$ such that $$\sup_{z_0\in D}\int_{D}(1-|z|)^{q-1}\|\nabla f(z)\|^q P_{z_0}(z) dA(z) \le c^q\sup_{z_0\in D}\int_{\T}\|f(z)-f(z_0)\|^qP_{z_0}(z) dm(z)$$ holds for all trigonometric polynomials $f$ with coefficients in $B$ iff $B$ admits an equivalent norm which is $q$-uniformly convex, where $$P_{z_0}(z)=\frac{1-|z_0|^2}{|1-\bar{z_0}z|^2} .$$ The validity of the converse inequality is equivalent to the existence of an equivalent $q$-uniformly smooth norm. △ Less

Submitted 5 June, 2008; v1 submitted 14 May, 2007; originally announced May 2007.

Comments: To appear in Canadian J. Math

MSC Class: 46E40; 42B25; 46B20