Showing 1–17 of 17 results for author: Rios, C

Trilinear characterizations of the Fourier extension conjecture on the paraboloid in three dimensions

Authors: Cristian Rios, Eric Sawyer

Abstract: We prove that a local trilinear extension inequality on the paraboloid in three dimensions is equivalent to the Fourier restriction conjecture, and then we prove a variant involving smooth Alpert wavelets that represents the weakest such inequality the authors could find that characterizes the Fourier extension conjecture. We prove that a local trilinear extension inequality on the paraboloid in three dimensions is equivalent to the Fourier restriction conjecture, and then we prove a variant involving smooth Alpert wavelets that represents the weakest such inequality the authors could find that characterizes the Fourier extension conjecture. △ Less

Submitted 4 June, 2025; originally announced June 2025.

Comments: 20 pages

The Moser method and boundedness of solutions to infinitely degenerate elliptic equations

Authors: Lyudmila Korobenko, Cristian Rios, Eric Sawyer, Ruipeng Shen

Abstract: We show that if $\mathbb{R}^{n}$ is equipped with certain non-doubling metric and an Orlicz-Sobolev inequality holds for a special family of Young functions $Φ$, then weak solutions to quasilinear infinitely degenerate elliptic divergence equations of the form $$\mathrm{div}\mathcal{A}\left( x,u\right) \nabla u=φ_{0}-\mathrm{div}_{A} \vecφ_{1}$$ are locally bounded. Furthermore, we establish a max… ▽ More We show that if $\mathbb{R}^{n}$ is equipped with certain non-doubling metric and an Orlicz-Sobolev inequality holds for a special family of Young functions $Φ$, then weak solutions to quasilinear infinitely degenerate elliptic divergence equations of the form $$\mathrm{div}\mathcal{A}\left( x,u\right) \nabla u=φ_{0}-\mathrm{div}_{A} \vecφ_{1}$$ are locally bounded. Furthermore, we establish a maximum principle for solutions whenever a global Orlicz-Soblev estimate is available. We obtain these results via the implementation of a Moser iteration method, what constitutes the first instance of such technique applied to infinite degenerate equations. These results partially extend previously known estimates for solutions of these equations but for which the right hand side did not have a drift term. We also obtain bounds for small negative powers of nonnegative solutions; these will be applied to obtain continuity of solutions in a subsequent paper. △ Less

Submitted 25 September, 2024; v1 submitted 5 March, 2023; originally announced March 2023.

Comments: This file replaces a previous submission in which there was an error in the proof of continuity of solutions. As in the previous files, the current paper showcases the implementation of a Moser iteration infinite degenerate geometries and also includes a drift term on the right-hand side. The proof of continuity of solutions will be achieved in a subsequent work

Hypoellipticity without loss of derivatives for Fedii's type operators

Authors: Timur Akhunov, Lyudmila Korobenko, Cristian Rios

Abstract: We prove that second order linear operators on $\mathbb{R}^{n+m}$ of the form $L(x,y,D_x,D_y) = L_1(x,D_x) + g(x) L_2(y,D_y)$, where $L_1$ and $L_2$ satisfy Morimoto's super-logarithmic estimates and $g$ is smooth, nonnegative, and vanishes only at the origin in $\mathbb{R}^n$ (but to any arbitrary order) are hypoelliptic without loss of derivarives. We also show examples in which our hypotheses a… ▽ More We prove that second order linear operators on $\mathbb{R}^{n+m}$ of the form $L(x,y,D_x,D_y) = L_1(x,D_x) + g(x) L_2(y,D_y)$, where $L_1$ and $L_2$ satisfy Morimoto's super-logarithmic estimates and $g$ is smooth, nonnegative, and vanishes only at the origin in $\mathbb{R}^n$ (but to any arbitrary order) are hypoelliptic without loss of derivarives. We also show examples in which our hypotheses are necessary for hypoellipticity. △ Less

Submitted 31 October, 2017; originally announced November 2017.

Comments: 35 pages, 1 figure

MSC Class: 35H10; 35H20; 35S05; 35G05; 35B65; 35A18

Continuity of weak solutions to rough infinitely degenerate equations

Authors: Lyudmila Korobenko, Cristian Rios, Eric Sawyer, Ruipeng Shen

Abstract: We obtain a generalization of the DeGiorgi Lemma to the infinitely degenerate regime and apply it to obtain continuity of weak solutions to certain infinitely degenerate equations. This reproduces the continuity result obtained in arXiv:1506.09203 via Moser iteration, but only for homogeneous equations. However, the proofs are much less technical and more transparent. We obtain a generalization of the DeGiorgi Lemma to the infinitely degenerate regime and apply it to obtain continuity of weak solutions to certain infinitely degenerate equations. This reproduces the continuity result obtained in arXiv:1506.09203 via Moser iteration, but only for homogeneous equations. However, the proofs are much less technical and more transparent. △ Less

Submitted 12 December, 2019; v1 submitted 2 March, 2017; originally announced March 2017.

Comments: A section on Orlicz-Sobolev inequality added. Proof of Theorem 2 (continuity of week solutions) is slightly adjusted. arXiv admin note: text overlap with arXiv:1608.01630

Harnack's Inequality and A Priori Estimates for Fractional Powers of Non-symmetric Differential Operators

Authors: Hugo Aimar, Gastón Beltritti, Ivana Gómez, Cristian Rios

Abstract: We obtain a new general extension theorem in Banach spaces for operators which are not required to be symmetric, and apply it to obtain Harnack estimates and a priori regularity for solutions of fractional powers of several second order differential operators. These include weighted elliptic and subellitptic operators in divergence form (nonnecessarily self-adjoint), and nondivergence form operato… ▽ More We obtain a new general extension theorem in Banach spaces for operators which are not required to be symmetric, and apply it to obtain Harnack estimates and a priori regularity for solutions of fractional powers of several second order differential operators. These include weighted elliptic and subellitptic operators in divergence form (nonnecessarily self-adjoint), and nondivergence form operators with rough coefficients. We utilize the reflection extension technique introduced by Caffarelli and Silvestre. △ Less

Submitted 11 October, 2016; originally announced October 2016.

Sharp local boundedness and maximum principle in the infinitely degenerate regime via DeGiorgi iteration

Authors: Lyudmila Korobenko, Cristian Rios, Eric Sawyer, Ruipeng Shen

Abstract: We obtain local boundedness and maximum principles for weak subsolutions to certain infinitely degenerate elliptic divergence form equations, and the local boundedness turns out to be sharp in more than two dimensions, answering the `Moser gap' problem left open in arXiv:1506.09203v5. Finally we obtain a maximum principle for weak solutions under the same condition on the degeneracy. We obtain local boundedness and maximum principles for weak subsolutions to certain infinitely degenerate elliptic divergence form equations, and the local boundedness turns out to be sharp in more than two dimensions, answering the `Moser gap' problem left open in arXiv:1506.09203v5. Finally we obtain a maximum principle for weak solutions under the same condition on the degeneracy. △ Less

Submitted 12 December, 2019; v1 submitted 4 August, 2016; originally announced August 2016.

Comments: Two errors fixed: one in the proof of the local boundedness result, and one in the proof of the maximum principle

On the Kato problem and extensions for degenerate elliptic operators

Authors: David Cruz-Uribe, José María Martell, Cristian Rios

Abstract: We study the Kato problem for degenerate divergence form operators. This was begun by Cruz-Uribe and Rios who proved that given an operator $L_w=-w^{-1}{\rm div}(A\nabla)$, where $w\in A_2$ and $A$ is a $w$-degenerate elliptic measure (i.e, $A=w\,B$ with $B$ an $n\times n$ bounded, complex-valued, uniformly elliptic matrix), then $L_w$ satisfies the weighted estimate… ▽ More We study the Kato problem for degenerate divergence form operators. This was begun by Cruz-Uribe and Rios who proved that given an operator $L_w=-w^{-1}{\rm div}(A\nabla)$, where $w\in A_2$ and $A$ is a $w$-degenerate elliptic measure (i.e, $A=w\,B$ with $B$ an $n\times n$ bounded, complex-valued, uniformly elliptic matrix), then $L_w$ satisfies the weighted estimate $\|\sqrt{L_w}f\|_{L^2(w)}\approx\|\nabla f\|_{L^2(w)}$. Here we solve the $L^2$-Kato problem: under some additional conditions on the weight $w$, the following unweighted $L^2$-Kato estimates hold $$ \|L_w^{1/2}f\|_{L^2(\mathbb{R}^n)}\approx\|\nabla f\|_{L^2(\mathbb{R}^n)}. $$ This extends the celebrated solution to the Kato conjecture by Auscher, Hofmann, Lacey, McIntosh, and Tchamitchian, allowing the differential operator to have some degeneracy in its ellipticity. For example, we consider the family of operators $L_γ=-|x|^γ{\rm div}(|x|^{-γ}B(x)\nabla)$, where $B$ is any bounded, complex-valued, uniformly elliptic matrix. We prove that there exists $ε>0$, depending only on dimension and the ellipticity constants, such that $$ \|L_γ^{1/2}f\|_{L^2(\mathbb{R}^n)}\approx\|\nabla f\|_{L^2(\mathbb{R}^n)}, \qquad -ε<γ<\frac{2\,n}{n+2}. $$ This gives a range of $γ$'s for which the classical Kato square root $γ=0$ is an interior point. Our main results are obtained as a consequence of a rich Calderón-Zygmund theory developed for some operators associated with $L_w$. These results, which are of independent interest, establish estimates on $L^p(w)$, and also on $L^p(v\,dw)$ with $v\in A_\infty(w)$, for the associated semigroup, its gradient, the functional calculus, the Riesz transform, and square functions. As an application, we solve some unweighted $L^2$-Dirichlet, Regularity and Neumann boundary value problems for degenerate elliptic operators. △ Less

Submitted 31 October, 2017; v1 submitted 22 October, 2015; originally announced October 2015.

MSC Class: 35B45; 35J15; 35J25; 35J70; 42B20; 42B37; 47A07; 47B44; 47D06

Journal ref: Analysis & PDE 11 (2018) 609-660

Local boundedness, maximum principles, and continuity of solutions to infinitely degenerate elliptic equations

Authors: Lyudmila Korobenko, Cristian Rios, Eric Sawyer, Ruipeng Shen

Abstract: We develop subrepresentation inequalities for infinitely degenerate metrics, and obtain corresponding Poincare and Sobolev inequalities. We then derive conditions on the degenerate metric under which weak solutions to associated infinitely degenerate equations with rough coefficients are locally bounded, satisfy a maximum principle, or are continuous. As an application we obtain W-hypoellipticity… ▽ More We develop subrepresentation inequalities for infinitely degenerate metrics, and obtain corresponding Poincare and Sobolev inequalities. We then derive conditions on the degenerate metric under which weak solutions to associated infinitely degenerate equations with rough coefficients are locally bounded, satisfy a maximum principle, or are continuous. As an application we obtain W-hypoellipticity of certain infinitely degenerate quasilinear equations with smooth coefficients having mild nonlinearities and degeneracies. △ Less

Submitted 22 February, 2016; v1 submitted 30 June, 2015; originally announced June 2015.

Comments: 185 pages. Proof of Sobolev inequality fixed, changed back to the correct proof in earlier versions. The radius r on the right hand side of Sobolev inequality is replaced by a different quantity called superradius. This version is submitted for publication

Regularity of Solutions to Degenerate Non-Doubling Second Order Equations

Authors: Lyudmila Korobenko, Cristian Rios

Abstract: We prove that every weak solution to a certain class of infinitely degenerate quasilinear equations is continuous. An essential feature of the operators we consider is that their Fefferman-Phong associated metric may be non doubling with respect to Lebesgue measure. We prove that every weak solution to a certain class of infinitely degenerate quasilinear equations is continuous. An essential feature of the operators we consider is that their Fefferman-Phong associated metric may be non doubling with respect to Lebesgue measure. △ Less

Submitted 30 January, 2014; originally announced January 2014.

Comments: 31 pages. arXiv admin note: text overlap with arXiv:1304.5234

MSC Class: 35H10; 35H20; 35S05; 35G05; 35B65; 35A18

From Sobolev Inequality to Doubling

Authors: Lyudmila Korobenko, Diego Maldonado, Cristian Rios

Abstract: In various analytical contexts, it is proved that a weak Sobolev inequality implies a doubling property for the underlying measure. In various analytical contexts, it is proved that a weak Sobolev inequality implies a doubling property for the underlying measure. △ Less

Submitted 8 June, 2014; v1 submitted 1 December, 2013; originally announced December 2013.

MSC Class: 35J70; 35J60; 35B65; 46E35; 31E05; 30L99

Regularity of solutions to quasilinear infinitely degenerate second order equations

Authors: Lyudmila Korobenko, Cristian Rios

Abstract: The main result of the paper is on the continuity of weak solutions of infinitely degenerate quasilinear second order equations. Namely, we show that every weak solution to a certain class of degenerate quasilinear equations is continuous. More precisely, we show that it is Hölder continuous with respect to a certain metric associated to the operator. One of the essential features of this metric i… ▽ More The main result of the paper is on the continuity of weak solutions of infinitely degenerate quasilinear second order equations. Namely, we show that every weak solution to a certain class of degenerate quasilinear equations is continuous. More precisely, we show that it is Hölder continuous with respect to a certain metric associated to the operator. One of the essential features of this metric is that the metric balls are non doubling with respect to Lebesgue measure. The proof of the continuity together with a recent result by Rios et al. completes the result on hypoellipticity of a class of second order quasilinear infinitely degenerate elliptic operators. △ Less

Submitted 3 February, 2014; v1 submitted 18 April, 2013; originally announced April 2013.

Comments: The paper has undergone a significant revision. The revised version is submitted at arXiv:1401.8047

Hypoellipticity of a Class of Infinitely Degenerate Second Order Operators and Systems

Authors: Lyudmila Korobenko, Cristian Rios

Abstract: In this paper we establish a hypoellipticity result for second order linear operators comprised by a linear combination, with infinite vanishing coefficients, of subelliptic operators in separate spaces. This generalizes previous known results. In this paper we establish a hypoellipticity result for second order linear operators comprised by a linear combination, with infinite vanishing coefficients, of subelliptic operators in separate spaces. This generalizes previous known results. △ Less

Submitted 19 March, 2013; v1 submitted 10 January, 2013; originally announced January 2013.

Hypoellipticity for infinitely degenerate quasilinear equations and the Dirichlet problem

Authors: Cristian Rios, Eric Sawyer, Richard Wheeden

Abstract: In a previous paper we considered a class of infinitely degenerate quasilinear equations and derived a priori bounds for high order derivatives of solutions in terms of the Lipschitz norm. We now show that it is possible to obtain bounds just in terms of the supremum norm for a further subclass of such equations, and we apply the resulting estimates to prove that continuous weak solutions are nece… ▽ More In a previous paper we considered a class of infinitely degenerate quasilinear equations and derived a priori bounds for high order derivatives of solutions in terms of the Lipschitz norm. We now show that it is possible to obtain bounds just in terms of the supremum norm for a further subclass of such equations, and we apply the resulting estimates to prove that continuous weak solutions are necessarily smooth. We also obtain existence, uniqueness and interior regularity of solutions for the Dirichlet problem with continuous boundary data. △ Less

Submitted 15 March, 2011; originally announced March 2011.

Comments: 45 pages, 4 figures

MSC Class: 35J70; 35A05; 35H10; 35J60; 35B45; 35B30; 35B65; 35B50; 35D05; 35D10

The solution of the Kato problem for degenerate elliptic operators with Gaussian bounds

Authors: D. Cruz-Uribe, C. Rios

Abstract: We prove the Kato conjecture for degenerate elliptic operators in R^n. More precisely, we consider the divergence form operator L_w = -1/w div (wA) grad, where w is a Muckenhoupt A_2 weight and A is a complex valued n x n matrix which is bounded and uniformly elliptic. We show that if the associated semigroup satisfies Gaussian upper bounds, then the Kato square root estimate holds. We prove the Kato conjecture for degenerate elliptic operators in R^n. More precisely, we consider the divergence form operator L_w = -1/w div (wA) grad, where w is a Muckenhoupt A_2 weight and A is a complex valued n x n matrix which is bounded and uniformly elliptic. We show that if the associated semigroup satisfies Gaussian upper bounds, then the Kato square root estimate holds. △ Less

Submitted 16 July, 2009; originally announced July 2009.

MSC Class: 35J70; 35C15; 47D06 (Primary) 47N20; 35K65 (Secondary)

Smoothness of radial solutions to Monge-Ampere equations

Authors: Cristian Rios, Eric Sawyer

Abstract: We characterize when radial weak solutions to Monge-Ampere equations are smooth. This paper extends previous partial results and also covers Generalized Monge-Ampere equations and infinitely vanishing right hand side. We characterize when radial weak solutions to Monge-Ampere equations are smooth. This paper extends previous partial results and also covers Generalized Monge-Ampere equations and infinitely vanishing right hand side. △ Less

Submitted 15 April, 2008; originally announced April 2008.

Comments: 7 pages

MSC Class: 35B65; 35J70 (Primary) 35D05; 35D010; 35C15 (Secondary)

The Dirichlet problem for elliptic equations in divergence and nondivergence form with singular drift term

Authors: Cristian Rios

Abstract: Given two elliptic operators L and M in nondivergence form, with coefficients A_L(x), A_M(x) and drift terms b_L(x), b_M(x), respectively, satisfying a Carleson measure disagreement condition in a Lipschitz domain Omega in R^{n+1}, then their harmonic measures are mutually absolutely continuous. As an application of this, a new approximation argument and known results we obtain necessary and suf… ▽ More Given two elliptic operators L and M in nondivergence form, with coefficients A_L(x), A_M(x) and drift terms b_L(x), b_M(x), respectively, satisfying a Carleson measure disagreement condition in a Lipschitz domain Omega in R^{n+1}, then their harmonic measures are mutually absolutely continuous. As an application of this, a new approximation argument and known results we obtain necessary and sufficient conditions for a single operator L (in divergence or nondivergence form) to have regular harmonic measure with respect to Lebesgue measure. The results are sharp in all cases. △ Less

Submitted 18 October, 2005; originally announced October 2005.

Comments: 29 pages, 0 figures

MSC Class: 35J15; 35J25 ; 35A05; 35B20; 35R05

The L^p Dirichlet Problem and Nondivergence Harmonic Measure

Authors: Cristian Rios

Abstract: We consider the Dirichlet problem Lu = 0 in D u = g on E = boundary of D for two second order elliptic operators L_k(u) = \sum_{i,j=1}^n a_k^{ij}(x) \partial_{ij} u(x), k=0,1, in a bounded Lipschitz domain D in R^n. The coefficients a_k^{ij} belong to the space of bounded mean oscillation BMO with a suitable small BMO modulus. We assume that L_0 is regular in L^p(E,ds) for some p, 1<p<\infty, th… ▽ More We consider the Dirichlet problem Lu = 0 in D u = g on E = boundary of D for two second order elliptic operators L_k(u) = \sum_{i,j=1}^n a_k^{ij}(x) \partial_{ij} u(x), k=0,1, in a bounded Lipschitz domain D in R^n. The coefficients a_k^{ij} belong to the space of bounded mean oscillation BMO with a suitable small BMO modulus. We assume that L_0 is regular in L^p(E,ds) for some p, 1<p<\infty, that is, |Nu|_{L^p}< C |g|_{L^p} for all continuous boundary data g. Here ds is the surface measure on E and Nu is the nontangential maximal operator. The aim of this paper is to establish sufficient conditions on the difference of the coefficients a_1^{ij}(x)-a_0^{ij}(x) that will assure the perturbed operator L_1 to be regular in L^q(E,ds) for some q, 1<q<\infty. △ Less

Submitted 17 May, 2002; v1 submitted 3 April, 2002; originally announced April 2002.

Comments: 23 pages, LaTeX, Transactions AMS format

MSC Class: 35J25 (Primary); 35B20; 31B35 (Secondary)