Showing 1–17 of 17 results for author: Cufí, J

On some relations between the Perimeter, the Area and the Visual Angle of a Convex Set

Authors: Joaquim Bruna, Julià Cufí, Agustí Reventós

Abstract: We establish some relations between the perimeter, the area and the visual angle of a planar compact convex set. Our first result states that Crofton's formula is the unique universal formula relating the visual angle, length and area. After that we give a characterization of convex sets of constant width by means of the behaviour of its isotopic sets at infinity. Also for this class of convex set… ▽ More We establish some relations between the perimeter, the area and the visual angle of a planar compact convex set. Our first result states that Crofton's formula is the unique universal formula relating the visual angle, length and area. After that we give a characterization of convex sets of constant width by means of the behaviour of its isotopic sets at infinity. Also for this class of convex sets we prove that the existence of an isotopic circle is enough to ensure that the considered set is a disc. △ Less

Submitted 12 April, 2024; originally announced April 2024.

MSC Class: 52A15; 53C65

A historical review of the Cauchy-Riemann equations and the Cauchy Theorem

Authors: Julià Cufí, Agustí Reventós

Abstract: In this article we take a historical tour through the Cauchy-Riemann equations and their relationship with Cauchy's theorem on the independence with respect to the path of the integral of a holomorphic function. Because of its importance we do a detailed and updated study of the contributions of d'Alembert and Euler to these topics. We also review the Cauchy works about the passage from the real t… ▽ More In this article we take a historical tour through the Cauchy-Riemann equations and their relationship with Cauchy's theorem on the independence with respect to the path of the integral of a holomorphic function. Because of its importance we do a detailed and updated study of the contributions of d'Alembert and Euler to these topics. We also review the Cauchy works about the passage from the real to imaginary by paying attention to some arguments he uses that are not clear enough. At the end we comment briefly the evolution of Green's formula and its relation with the above problems. △ Less

Submitted 30 November, 2023; v1 submitted 28 November, 2023; originally announced November 2023.

Comments: 41 pages, 4 figures

MSC Class: 01

Existence of principal values of some singular integrals on Cantor sets, and Hausdorff dimension

Authors: J. Cufí, J. J. Donaire, P. Mattila, J. Verdera

Abstract: Consider a standard Cantor set in the plane of Hausdorff dimension 1. If the linear density of the associated measure $μ$ vanishes, then the set of points where the principal value of the Cauchy singular integral of $μ$ exists has Hausdorff dimension 1. The result is extended to Cantor sets in $\mathbb{R}^d$ of Hausdorff dimension $α$ and Riesz singular integrals of homogeneity $-α$, 0 < $α$ < d :… ▽ More Consider a standard Cantor set in the plane of Hausdorff dimension 1. If the linear density of the associated measure $μ$ vanishes, then the set of points where the principal value of the Cauchy singular integral of $μ$ exists has Hausdorff dimension 1. The result is extended to Cantor sets in $\mathbb{R}^d$ of Hausdorff dimension $α$ and Riesz singular integrals of homogeneity $-α$, 0 < $α$ < d : the set of points where the principal value of the Riesz singular integral of $μ$ exists has Hausdorff dimension $α$. A martingale associated with the singular integral is introduced to support the proof. △ Less

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

Comments: 14 pages, minor revision after the referee's report, to appear in Pacific J. of Math

MSC Class: 42B20 (primary); 30E20 (secondary); 60F17 (secondary)

Journal ref: Pacific J. Math. 326 (2023) 285-300

A note on a result of Saks and Zygmund on additive functions of rectangles

Authors: Julià Cufí, Juan J. Donaire

Abstract: We modify the proof of the basic lemma of a paper of Saks and Zygmund on additive functions of rectangles. We modify the proof of the basic lemma of a paper of Saks and Zygmund on additive functions of rectangles. △ Less

Submitted 28 March, 2025; v1 submitted 14 July, 2022; originally announced July 2022.

MSC Class: 28A10

Integral Geometry of pairs of planes

Authors: Julià Cufí, Eduardo Gallego, Agustí Reventós

Abstract: We deal with integrals of invariant measures of pairs of planes in euclidean space $\mathbb{E}^3$ as considered by Hug and Schneider. In this paper we express some of these integrals in terms of functions of the visual angle of a convex set. As a consequence of our results we evaluate the deficit in a Crofton-type inequality due to Blashcke. We deal with integrals of invariant measures of pairs of planes in euclidean space $\mathbb{E}^3$ as considered by Hug and Schneider. In this paper we express some of these integrals in terms of functions of the visual angle of a convex set. As a consequence of our results we evaluate the deficit in a Crofton-type inequality due to Blashcke. △ Less

Submitted 9 April, 2021; originally announced April 2021.

Comments: 16 pages

MSC Class: 52A15 (Primary); 53C65 (Secondary)

The precise representative for the gradient of the Riesz potential of a finite measure

Authors: Julià Cufí, Augusto C. Ponce, Joan Verdera

Abstract: Given a finite nonnegative Borel measure $m$ in $\mathbb{R}^{d}$, we identify the Lebesgue set $\mathcal{L}(V_{s}) \subset \mathbb{R}^{d}$ of the vector-valued function $$V_{s}(x) = \int_{\mathbb{R}^{d}}\frac{x - y}{|x - y|^{s + 1}} \mathrm{d}m(y), $$ for any order $0 < s < d$. We prove that $a \in \mathcal{L}(V_{s})$ if and only if the integral above has a principal value at $a$ and… ▽ More Given a finite nonnegative Borel measure $m$ in $\mathbb{R}^{d}$, we identify the Lebesgue set $\mathcal{L}(V_{s}) \subset \mathbb{R}^{d}$ of the vector-valued function $$V_{s}(x) = \int_{\mathbb{R}^{d}}\frac{x - y}{|x - y|^{s + 1}} \mathrm{d}m(y), $$ for any order $0 < s < d$. We prove that $a \in \mathcal{L}(V_{s})$ if and only if the integral above has a principal value at $a$ and $$\lim_{r \to 0}{\frac{m(B_{r}(a))}{r^{s}}} = 0.$$ In that case, the precise representative of $V_{s}$ at $a$ coincides with the principal value of the integral. We also study the existence of Lebesgue points for the Cauchy integral of the intrinsic probability measure associated with planar Cantor sets, which leads to challenging new questions. △ Less

Submitted 16 January, 2022; v1 submitted 19 June, 2020; originally announced June 2020.

Comments: Minor corrections and explanation added at referee's request

MSC Class: 31B15; 30E20; 26B05

Journal ref: J. London Math. Soc. (2) 106 (2022), 1603-1627

Integral Geometry about the visual angle of a convex set

Authors: Julià Cufí, Eduardo Gallego, Agustí Reventós

Abstract: In this paper we deal with a general type of integral formulas of the visual angle, among them those of Crofton, Hurwitz and Masotti, from the point of view of Integral Geometry. The purpose is twofold: to provide an interpretation of these formulas in terms of integrals of densities with respect to the canonical measure in the space of pairs of lines and to give new simpler proofs of them. In this paper we deal with a general type of integral formulas of the visual angle, among them those of Crofton, Hurwitz and Masotti, from the point of view of Integral Geometry. The purpose is twofold: to provide an interpretation of these formulas in terms of integrals of densities with respect to the canonical measure in the space of pairs of lines and to give new simpler proofs of them. △ Less

Submitted 25 June, 2019; originally announced June 2019.

MSC Class: 52A10; 53A04

A discrete approach to Wirtinger's inequality

Authors: Julià Cufí, Agustí Reventós, Carlos J. Rodríguez

Abstract: Considering Wirtinger's inequality for piece-wise equipartite functions we find a discrete version of this classical inequality. The main tool we use is the theorem of classification of isometries. Our approach provides a new elementary proof of Wirtinger's inequality that also allows to study the case of equality. Moreover it leads in a natural way to the Fourier series development of $2π$-period… ▽ More Considering Wirtinger's inequality for piece-wise equipartite functions we find a discrete version of this classical inequality. The main tool we use is the theorem of classification of isometries. Our approach provides a new elementary proof of Wirtinger's inequality that also allows to study the case of equality. Moreover it leads in a natural way to the Fourier series development of $2π$-periodic functions. △ Less

Submitted 14 May, 2019; originally announced May 2019.

Comments: 9 pages

Journal ref: Journal of Mathematical Inequalities, Vol. 13, 3 (2019) 737-745

About the Jones-Wolff Theorem on the Hausdorff dimension of harmonic measure

Authors: Julià Cufí, Xavier Tolsa, Joan Verdera

Abstract: These are the lecture notes of a seminar held at the Universitat Autònoma de Barcelona where the Jones-Wolff theorem about the dimension of harmonic measure in the plane is explained in full detail, for non-expert readers. These are the lecture notes of a seminar held at the Universitat Autònoma de Barcelona where the Jones-Wolff theorem about the dimension of harmonic measure in the plane is explained in full detail, for non-expert readers. △ Less

Submitted 25 October, 2023; v1 submitted 21 September, 2018; originally announced September 2018.

Comments: The definition of Green's function used in the proof of Lemma 1 in the previous version of the preprint was only valid for bounded domains. This is corrected in this new version

MSC Class: 30C85; 31A15

On the integral formulas of Crofton and Hurwitz relative to the visual angle of a convex set

Authors: J. Cufí, E. Gallego, A. Reventós

Abstract: We provide a unified approach that encompasses some integral formulas for functions of the visual angle of a compact convex set due to Crofton, Hurwitz and Masotti. The basic tool is an integral formula that also allows us to integrate new functions of the visual angle. As well we establish some upper and lower bounds for the considered integrals, generalizing in particular those obtained by Santa… ▽ More We provide a unified approach that encompasses some integral formulas for functions of the visual angle of a compact convex set due to Crofton, Hurwitz and Masotti. The basic tool is an integral formula that also allows us to integrate new functions of the visual angle. As well we establish some upper and lower bounds for the considered integrals, generalizing in particular those obtained by Santaló for Masotti's integral. △ Less

Submitted 25 July, 2018; originally announced July 2018.

MSC Class: 52A10; 53A04

Journal ref: Mathematika 65 (2019) 874-896

A note on Hurwitz's inequality

Authors: Julià Cufí, Eduardo Gallego, Agustí Reventós

Abstract: Given a simple closed plane curve $Γ$ of length $L$ enclosing a compact convex set $K$ of area $F$, Hurwitz found an upper bound for the isoperimetric deficit, namely $L^2-4πF\leq π|F_{e}|$, where $F_{e}$ is the algebraic area enclosed by the evolute of $Γ$. In this note we improve this inequality finding strictly positive lower bounds for the deficit $π|F_{e}|-Δ$, where $Δ=L^{2}-4πF$. These bou… ▽ More Given a simple closed plane curve $Γ$ of length $L$ enclosing a compact convex set $K$ of area $F$, Hurwitz found an upper bound for the isoperimetric deficit, namely $L^2-4πF\leq π|F_{e}|$, where $F_{e}$ is the algebraic area enclosed by the evolute of $Γ$. In this note we improve this inequality finding strictly positive lower bounds for the deficit $π|F_{e}|-Δ$, where $Δ=L^{2}-4πF$. These bounds involve wether the visual angle of $Γ$ or the pedal curve associated to $K$ with respect to the Steiner point of $K$ or the $\mathcal{L}^{2}$ distance between $K$ and the Steiner disk of $K$. For each established inequality we study when equality holds. This occurs for those compact convex sets being bounded by a curve parallel to an hypocycloid of $3, 4$ or $5$ cusps or the Minkowski sum of this kind of sets. △ Less

Submitted 3 July, 2017; v1 submitted 4 April, 2017; originally announced April 2017.

Comments: 15 pages, 3 figures

MSC Class: 52A10; 53A04

Journal ref: Journal of Mathematical Analysis and Applications, vol. 458, 1, pp. 436-451, 2018

On square functions with independent increments and Sobolev spaces on the line

Authors: Julià Cufí, Artur Nicolau, Andreas Seeger, Joan Verdera

Abstract: We prove a characterization of some $L^p$-Sobolev spaces involving the quadratic symmetrization of the Calderón commutator kernel, which is related to a square function with differences of difference quotients. An endpoint weak type estimate is established for functions in homogeneous Hardy-Sobolev spaces $\dot H^1_α$. We also use a local version of this square function to characterize pointwise d… ▽ More We prove a characterization of some $L^p$-Sobolev spaces involving the quadratic symmetrization of the Calderón commutator kernel, which is related to a square function with differences of difference quotients. An endpoint weak type estimate is established for functions in homogeneous Hardy-Sobolev spaces $\dot H^1_α$. We also use a local version of this square function to characterize pointwise differentiability for functions in the Zygmund class. △ Less

Submitted 18 October, 2017; v1 submitted 20 February, 2017; originally announced February 2017.

Comments: To appear in Annali di Matematica Pura ed Applicata

Journal ref: Annali di Matematica Pura ed Applicata (4) 197 (2018), no. 3, 905--940

A lower bound for the isoperimetric deficit

Authors: Julià Cufí, Agustí Reventós

Abstract: In this paper we provide a Bonnesen-style inequality which gives a lower bound for the isoperimetric deficit corresponding to a closed convex curve in terms of some geometrical invariants of this curve. Moreover we give a geometrical interpretation for the case when equality holds. In this paper we provide a Bonnesen-style inequality which gives a lower bound for the isoperimetric deficit corresponding to a closed convex curve in terms of some geometrical invariants of this curve. Moreover we give a geometrical interpretation for the case when equality holds. △ Less

Submitted 20 May, 2016; originally announced May 2016.

Comments: 12 pages

Journal ref: Elem. Math. 71 (2016) 156-167

Differentiability properties of Riesz potentials of finite measures and non-doubling Calderón-Zygmund theory

Authors: Julià Cufí, Joan Verdera

Abstract: We study differentiability properties of Riesz potentials of finite Borel measures in dimension d larger than 2. The Riesz kernel has homogeneity 2-d. In dimension 2 we consider logarithmic potentials. We introduce a notion of differentiability in the capacity sense, capacity being Newtonian capacity in dimension larger than 2 and Wiener capacity in the plane. It turns out that differentiability i… ▽ More We study differentiability properties of Riesz potentials of finite Borel measures in dimension d larger than 2. The Riesz kernel has homogeneity 2-d. In dimension 2 we consider logarithmic potentials. We introduce a notion of differentiability in the capacity sense, capacity being Newtonian capacity in dimension larger than 2 and Wiener capacity in the plane. It turns out that differentiability in the capacity sense at a point is related to the existence of principal values of the measure with respect to the vector valued Riesz potential x/|x|^d of homogeneity 1-d. This leads to Calderón-Zygmund theory for non-doubling measures. We prove that the Riesz potential of a finite Borel measure is differentiable in the capacity sense except for a set of zero C^1-harmonic capacity. This result is sharp. Surprisingly in the plane there are two distinct notions of differentiability in the capacity sense. For each of them we obtain the best possible result on the size of the exceptional set in terms of Hausdorff measures. We obtain for dimension larger than 2 results on Peano second order differentiability in the capacity sense with exceptional sets of zero Lebesgue measure. Finally, we apply our results to find a new proof of the fact that equilibrium measure is singular with respect to Lebesgue measure. △ Less

Submitted 14 June, 2017; v1 submitted 11 May, 2016; originally announced May 2016.

Comments: 43 pages. We added a new section with an application to the equilibrium measure. To appear in Annali Scuola Normale Superiore di Pisa

MSC Class: 42B20; 31B15; 26B05

Journal ref: Annali Scuola Normale Superiore di Pisa 18(3) (2018), 1081-1123

Evolutes and isoperimetric deficit in two-dimensional spaces of constant curvature

Authors: Julià Cufí, Agustí Reventós

Abstract: We relate the total curvature and the isoperimetric deficit of a curve $γ$ in a two-dimensional space of constant curvature with the area enclosed by the evolute of $γ$. We provide also a Gauss-Bonnet theorem for a special class of evolutes. We relate the total curvature and the isoperimetric deficit of a curve $γ$ in a two-dimensional space of constant curvature with the area enclosed by the evolute of $γ$. We provide also a Gauss-Bonnet theorem for a special class of evolutes. △ Less

Submitted 13 March, 2014; originally announced March 2014.

Comments: 16 pages, 3 figures

MSC Class: 53A04

A general form of Green Formula and Cauchy Integral Theorem

Authors: Julia Cufi, Joan Verdera

Abstract: We prove a general form of Green Formula and Cauchy Integral Theorem for arbitrary closed rectifiable curves in the plane. We prove a general form of Green Formula and Cauchy Integral Theorem for arbitrary closed rectifiable curves in the plane. △ Less

Submitted 28 June, 2013; originally announced June 2013.

MSC Class: 26B20

Characterizing abelian admissible groups

Authors: Joaquim Bruna, Julià Cufí, Hartmut Führ, Margarida Miró

Abstract: By definition, admissible matrix groups are those that give rise to a wavelet-type inversion formula. This paper investigates necessary and sufficient admissibility conditions for abelian matrix groups. We start out by deriving a block diagonalization result for commuting real valued matrices. We then reduce the question of deciding admissibility to the subclass of connected and simply connected g… ▽ More By definition, admissible matrix groups are those that give rise to a wavelet-type inversion formula. This paper investigates necessary and sufficient admissibility conditions for abelian matrix groups. We start out by deriving a block diagonalization result for commuting real valued matrices. We then reduce the question of deciding admissibility to the subclass of connected and simply connected groups, and derive a general admissibility criterion for exponential solvable matrix groups. For abelian matrix groups with real spectra, this yields an easily checked necessary and sufficient characterization of admissibility. As an application, we sketch a procedure how to check admissibility of a matrix group generated by finitely many commuting matrices with positive spectra. △ Less

Submitted 11 April, 2011; v1 submitted 5 April, 2011; originally announced April 2011.

Comments: Slightly revised; 27 pages

MSC Class: 42C40; 22E25; 65F60; 22D40