Showing 1–31 of 31 results for author: Haddad, J

On the polar of Schneider's difference body

Authors: Julián Haddad, Dylan Langharst, Galyna V. Livshyts, Eli Putterman

Abstract: In 1970, Schneider introduced the $m$th-order extension of the difference body $DK$ of a convex body $K\subset\mathbb R^n$, the convex body $D^m(K)$ in $\mathbb R^{nm}$. He conjectured that its volume is minimized for ellipsoids when the volume of $K$ is fixed. In this work, we solve a dual version of this problem: we show that the volume of the polar body of $D^m(K)$ is maximized precisely by e… ▽ More In 1970, Schneider introduced the $m$th-order extension of the difference body $DK$ of a convex body $K\subset\mathbb R^n$, the convex body $D^m(K)$ in $\mathbb R^{nm}$. He conjectured that its volume is minimized for ellipsoids when the volume of $K$ is fixed. In this work, we solve a dual version of this problem: we show that the volume of the polar body of $D^m(K)$ is maximized precisely by ellipsoids. For $m=1$ this recovers the symmetric case of the celebrated Blaschke-Santaló inequality. We also show that Schneider's conjecture cannot be tackled using standard symmetrization techniques, contrary to this new inequality. As an application for our results, we prove Schneider's conjecture asymptotically á la Bourgain-Milman. We also consider a functional version. △ Less

Submitted 26 April, 2025; v1 submitted 8 March, 2025; originally announced March 2025.

Comments: 29 pages, comments welcome. Updated presentation of some facts. Keywords: Schneider's conjecture, Blaschke-Santaló inequality, polarity

MSC Class: 52A40; Secondary: 28A75

Towards Hybrid Traffic Laws for Mixed Flow of Human-Driven Vehicles and Connected Autonomous Vehicles

Authors: Tal Kraicer, Jack Haddad, Erez Karaps, Moshe Tennenholtz

Abstract: Hybrid traffic laws represent an innovative approach to managing mixed environments of connected autonomous vehicles (CAVs) and human-driven vehicles (HDVs) by introducing separate sets of regulations for each vehicle type. These laws are designed to leverage the unique capabilities of CAVs while ensuring both types of cars coexist effectively, ultimately aiming to enhance overall social welfare.… ▽ More Hybrid traffic laws represent an innovative approach to managing mixed environments of connected autonomous vehicles (CAVs) and human-driven vehicles (HDVs) by introducing separate sets of regulations for each vehicle type. These laws are designed to leverage the unique capabilities of CAVs while ensuring both types of cars coexist effectively, ultimately aiming to enhance overall social welfare. This study uses the SUMO simulation platform to explore hybrid traffic laws in a restricted lane scenario. It evaluates static and dynamic lane access policies under varying traffic demands and CAV proportions. The policies aim to minimize average passenger delay and encourage the incorporation of autonomous vehicles with higher occupancy rates. Results demonstrate that dynamic policies significantly improve traffic flow, especially at low CAV proportions, compared to traditional dedicated bus lane strategies. These findings highlight the potential of hybrid traffic laws to enhance traffic efficiency and accelerate the transition to autonomous technology. △ Less

Submitted 18 February, 2025; originally announced February 2025.

Comments: 12 pages, 7 figures, 3 tables

Sharp estimates for fundamental frequencies of elliptic operators generated by asymmetric seminorms in low dimensions

Authors: Julian Haddad, Raul Fernandes Horta, Marcos Montenegro

Abstract: We establish new sharp asymmetric Poincare inequalities in one-dimension with the computation of optimal constants and characterization of extremizers. Using the one-dimensional theory we develop a comprehensive study on fundamental frequencies in the plane and related spectral optimization in the very general setting of positively homogeneous anisotropies. We establish new sharp asymmetric Poincare inequalities in one-dimension with the computation of optimal constants and characterization of extremizers. Using the one-dimensional theory we develop a comprehensive study on fundamental frequencies in the plane and related spectral optimization in the very general setting of positively homogeneous anisotropies. △ Less

Submitted 31 January, 2025; v1 submitted 22 January, 2025; originally announced January 2025.

Comments: 38 pages, comments are welcome

Planar radial mean bodies are convex

Authors: J. Haddad

Abstract: The radial mean bodies of parameter $p>-1$ of a convex body $K \subseteq \mathbb R^n$ are radial sets introduced in [4] by Gardner and Zhang. They are known to be convex for $p\geq 0$. We prove that if $K \subseteq \mathbb R^2$ is a convex body, then its radial mean body of parameter $p$ is convex for every $p \in (-1,0)$. The radial mean bodies of parameter $p>-1$ of a convex body $K \subseteq \mathbb R^n$ are radial sets introduced in [4] by Gardner and Zhang. They are known to be convex for $p\geq 0$. We prove that if $K \subseteq \mathbb R^2$ is a convex body, then its radial mean body of parameter $p$ is convex for every $p \in (-1,0)$. △ Less

Submitted 9 December, 2024; v1 submitted 2 December, 2024; originally announced December 2024.

Comments: comments are welcome

MSC Class: 52A10

An Explainable AI Model for Predicting the Recurrence of Differentiated Thyroid Cancer

Authors: Mohammad Al-Sayed Ahmad, Jude Haddad

Abstract: Thyroid carcinoma, a significant yet often controllable cancer, has seen a rise in cases, largely due to advancements in diagnostic methods. Differentiated thyroid cancer (DTC), which includes papillary and follicular varieties, is typically associated with a positive prognosis in academic circles. Nevertheless, there are still some individuals who may experience a recurrence. This study employs m… ▽ More Thyroid carcinoma, a significant yet often controllable cancer, has seen a rise in cases, largely due to advancements in diagnostic methods. Differentiated thyroid cancer (DTC), which includes papillary and follicular varieties, is typically associated with a positive prognosis in academic circles. Nevertheless, there are still some individuals who may experience a recurrence. This study employs machine learning, particularly deep learning models, to predict the recurrence of DTC, with the goal of improving patient care through personalized treatment approaches. By analysing a dataset containing clinicopathological features of patients, the model achieved remarkable accuracy rates of 98% during training and 96% during testing. To improve the model's interpretability, we used techniques like LIME and Morris Sensitivity Analysis. These methods gave us valuable insights into how the model makes decisions. The results suggest that combining deep learning models with interpretability techniques can be extremely useful in quickly identifying the recurrence of thyroid cancer in patients. This can help in making informed therapeutic choices and customizing treatment approaches for individual patients. △ Less

Submitted 13 October, 2024; originally announced October 2024.

The lower dimensional slicing inequality for functions and related distance inequalities

Authors: J. Haddad

Abstract: It was shown in [11] that for every origin-symmetric star body $K \subseteq \mathbb R^n$ of volume $1$, every even continuous probability density $f$ on $K$ and $1 \leq k \leq n-1$, there exists a subspace $F \subseteq \mathbb R^n$ of codimension $k$ such that \[ \int_{K \cap F} f \geq c^k (d_{\rm ovr}(K, \mathcal{BP}_k^n))^{-k} \] where $d_{\rm ovr}(K, \mathcal{BP}_k^n)$ is the outer volu… ▽ More It was shown in [11] that for every origin-symmetric star body $K \subseteq \mathbb R^n$ of volume $1$, every even continuous probability density $f$ on $K$ and $1 \leq k \leq n-1$, there exists a subspace $F \subseteq \mathbb R^n$ of codimension $k$ such that \[ \int_{K \cap F} f \geq c^k (d_{\rm ovr}(K, \mathcal{BP}_k^n))^{-k} \] where $d_{\rm ovr}(K, \mathcal{BP}_k^n)$ is the outer volume ratio distance from $K$ to the class of generalized $k$-intersection bodies, and $c>0$ is a universal constant. The upper bound $d_{\rm ovr}(K, \mathcal{BP}_k^n) \leq c' \sqrt{n/k} \left(\log\left(\frac{en}k\right)\right)^{3/2}$ was established in [13] for every origin-symmetric convex body $K$. In this note we show that there exist an origin-symmetric convex body $K$ of volume $1$ and an even continuous probability density $f$ supported on $K$ such that for every subspace $F$ of codimension $k$, \[ \int_{K \cap F} f \leq \left( c \sqrt{\frac n{k \log(n)} } \right)^{-k}. \] As a consequence we obtain a lower bound for $d_{\rm ovr}(K, \mathcal{BP}_k^n)$ with $K$ a convex body, complementing the upper bound in \cite{koldobsky2011isomorphic}. This is \[c \sqrt{n/k} (\log(n))^{-1/2} \leq \sup_K d_{\rm ovr}(K, \mathcal{BP}_k^n) \leq c' \sqrt{n/k} \left(\log\left(\frac{en}k\right)\right)^{3/2}.\] The case $k=1$ was obtained previously in [5,6]. △ Less

Submitted 6 November, 2024; v1 submitted 16 May, 2024; originally announced May 2024.

MSC Class: 52A20; 44A12

On the volume of convolution bodies in the plane

Authors: J. Haddad

Abstract: For every convex body $K \subset \mathbb R^n$ and $δ\in (0,1)$, the $δ$-convolution body of $K$ is the set of $x \in \mathbb R^n$ for which $\left|K \cap (K+x)\right|_n \geq δ\left|K\right|_n$. We show that for $n=2$ and any $δ\in (0,1)$, ellipsoids do not maximize the volume of the $δ$-convolution body of $K$, when $K$ runs over all convex bodies of a fixed volume. This behavior is somehow un… ▽ More For every convex body $K \subset \mathbb R^n$ and $δ\in (0,1)$, the $δ$-convolution body of $K$ is the set of $x \in \mathbb R^n$ for which $\left|K \cap (K+x)\right|_n \geq δ\left|K\right|_n$. We show that for $n=2$ and any $δ\in (0,1)$, ellipsoids do not maximize the volume of the $δ$-convolution body of $K$, when $K$ runs over all convex bodies of a fixed volume. This behavior is somehow unexpected and contradicts the limit case $δ\to 1^-$, which is governed by the Petty projection inequality. △ Less

Submitted 21 October, 2024; v1 submitted 30 April, 2024; originally announced May 2024.

MSC Class: 52A10; 52A30

Radon transforms with small derivatives and distance inequalities for convex bodies

Authors: Julián Haddad, Alexander Koldobsky

Abstract: Generalizing the slicing inequality for functions on convex bodies from [11], it was proved in [4] that there exists an absolute constant $c$ so that for any $n\in \mathbb N$, any $q\in [0,n-1)$ which is not an odd integer, any origin-symmetric convex body $K$ of volume one in $\mathbb R^n$ and any infinitely smooth probability density $f$ on $K$ we have… ▽ More Generalizing the slicing inequality for functions on convex bodies from [11], it was proved in [4] that there exists an absolute constant $c$ so that for any $n\in \mathbb N$, any $q\in [0,n-1)$ which is not an odd integer, any origin-symmetric convex body $K$ of volume one in $\mathbb R^n$ and any infinitely smooth probability density $f$ on $K$ we have $$\max_{ξ\in S^{n-1}} {\frac 1{\cos(πq/2)}\mathcal R f(ξ, \cdot)_t^{(q)}(0)} \ge \left( \frac {c(q+1)}{n}\right)^{\frac{q+1}2}.$$ Here $\mathcal R f(ξ,t)$ is the Radon transform of $f$, and the fractional derivative of the order $q$ is taken with respect to the variable $t\in \mathbb R$ with fixed $ξ\in S^{n-1}.$ In this note we show that there exist an origin-symmetric convex body $K$ of volume 1 in $\mathbb R^n$ and a continuous probability density $g$ on $K$ so that $$\max_{ξ\in S^{n-1}} {\frac 1{\cos(πq/2)}\mathcal R g(ξ, \cdot)_t^{(q)}(0)} \leq \frac 1{\sqrt n} (c(q+1))^{\frac{q+1}2}.$$ In the case $q=0$ this was proved in [5,6], and it was used there to obtain a lower estimate for the maximal outer volume ratio distance from an arbitrary origin-symmetric convex body $K$ to the class of intersection bodies. We extend the latter result to the class $L_{-1-q}^n$ of bodies in $\mathbb R^n$ that embed in $L_{-1-q}.$ Namely, for every $q\in [0,n)$ there exists an origin-symmetric convex body $K$ in $\mathbb R^n$ so that ${d_{\operatorname{ovr}}}(K, L_{-1-q}^n) \ge c n^{\frac 1{2(q+1)}}.$ △ Less

Submitted 28 December, 2023; originally announced December 2023.

MSC Class: 52A20; 44A12

A Rogers--Brascamp--Lieb--Luttinger inequality in the space of matrices

Authors: Julián Haddad

Abstract: We consider convex bodies in $M_{n,m}(\mathbb R)$, the space of matrices of $n$-rows and $m$-columns. A special case of fiber-symmetrization in $M_{n,m}(\mathbb R)$ was recently introduced in [5,6]. We prove a Rogers--Brascamp--Lieb--Luttinger type inequality with respect to this symmetrization, for quasi-concave functions and provide some applications. We consider convex bodies in $M_{n,m}(\mathbb R)$, the space of matrices of $n$-rows and $m$-columns. A special case of fiber-symmetrization in $M_{n,m}(\mathbb R)$ was recently introduced in [5,6]. We prove a Rogers--Brascamp--Lieb--Luttinger type inequality with respect to this symmetrization, for quasi-concave functions and provide some applications. △ Less

Submitted 5 November, 2024; v1 submitted 23 September, 2023; originally announced September 2023.

MSC Class: 52A20

Higher-Order Lp Isoperimetric and Sobolev Inequalities

Authors: Julián Haddad, Dylan Langharst, Eli Putterman, Michael Roysdon, Deping Ye

Abstract: Schneider introduced an inter-dimensional difference body operator on convex bodies and proved an associated inequality. In the prequel to this work, we showed that this concept can be extended to a rich class of operators from convex geometry and proved the associated isoperimetric inequalities. The role of cosine-like operators, which generate convex bodies in $\mathbb R^n$ from those in… ▽ More Schneider introduced an inter-dimensional difference body operator on convex bodies and proved an associated inequality. In the prequel to this work, we showed that this concept can be extended to a rich class of operators from convex geometry and proved the associated isoperimetric inequalities. The role of cosine-like operators, which generate convex bodies in $\mathbb R^n$ from those in $\mathbb R^n$, were replaced by inter-dimensional simplicial operators, which generate convex bodies in $\mathbb R^{nm}$ from those in $\mathbb R^{n}$ (or vice versa). In this work, we treat the $L^p$ extensions of these operators, and, furthermore, extend the role of the simplex to arbitrary $m$-dimensional convex bodies containing the origin. We establish $m$th-order $L^p$ isoperimetric inequalities, including the $m$th-order versions of the $L^p$ Petty projection inequality, $L^p$ Busemann-Petty centroid inequality, $L^p$ Santaló inequalities, and $L^p$ affine Sobolev inequalities. As an application, we obtain isoperimetric inequalities for the volume of the operator norm of linear functionals $(\mathbb R^n, \|\cdot\|_E) \to (\mathbb R^m, \|\cdot\|_F)$. △ Less

Submitted 2 November, 2024; v1 submitted 27 May, 2023; originally announced May 2023.

Comments: 39 pgs, results in Santalo section expanded; expanded literature review, expanded section on LYZ body, and changed intro and abstract

MSC Class: 52A39; 52A40; 28A75

Journal ref: Journal of Functional Analysis, 2024, ISSN 0022-1236

Affine Isoperimetric Inequalities for Higher-Order Projection and Centroid Bodies

Authors: Julián Haddad, Dylan Langharst, Eli Putterman, Michael Roysdon, Deping Ye

Abstract: In 1970, Schneider introduced the $m$th order difference body of a convex body, and also established the $m$th-order Rogers-Shephard inequality. In this paper, we extend this idea to the projection body, centroid body, and radial mean bodies, as well as prove the associated inequalities (analogues of Zhang's projection inequality, Petty's projection inequality, the Busemann-Petty centroid inequali… ▽ More In 1970, Schneider introduced the $m$th order difference body of a convex body, and also established the $m$th-order Rogers-Shephard inequality. In this paper, we extend this idea to the projection body, centroid body, and radial mean bodies, as well as prove the associated inequalities (analogues of Zhang's projection inequality, Petty's projection inequality, the Busemann-Petty centroid inequality and Busemann's random simplex inequality). We also establish a new proof of Schneider's $m$th-order Rogers-Shephard inequality. As an application, a $m$th-order affine Sobolev inequality for functions of bounded variation is provided. △ Less

Submitted 3 June, 2025; v1 submitted 16 April, 2023; originally announced April 2023.

Comments: 42-46 pages Keywords: Projection bodies, Centroid bodies, Radial mean bodies, Busemann-Petty centroid inequality, Steiner symmetrization, Petty projection inequality, affine Sobolev inequality

MSC Class: 2020 Classification: 52A39; 52A40; Secondary: 28A75; 46E35

Affine Hardy--Littlewood--Sobolev inequalities

Authors: Julián Haddad, Monika Ludwig

Abstract: Sharp affine Hardy--Littlewood--Sobolev inequalities for functions on $\mathbb R^n$ are established, which are significantly stronger than (and directly imply) the sharp Hardy--Littlewood--Sobolev inequalities by Lieb and by Beckner, Dou, and Zhu. In addition, sharp reverse inequalities for the new inequalities and the affine fractional $L^2$ Sobolev inequalities are obtained for log-concave funct… ▽ More Sharp affine Hardy--Littlewood--Sobolev inequalities for functions on $\mathbb R^n$ are established, which are significantly stronger than (and directly imply) the sharp Hardy--Littlewood--Sobolev inequalities by Lieb and by Beckner, Dou, and Zhu. In addition, sharp reverse inequalities for the new inequalities and the affine fractional $L^2$ Sobolev inequalities are obtained for log-concave functions on $\mathbb R^n$. △ Less

Submitted 6 January, 2023; v1 submitted 23 December, 2022; originally announced December 2022.

MSC Class: 26D15; 26B25; 26D10; 46E35; 52A40

Affine fractional $L^p$ Sobolev inequalities

Authors: Julián Haddad, Monika Ludwig

Abstract: Sharp affine fractional $L^p$ Sobolev inequalities for functions on $\mathbb R^n$ are established. The new inequalities are stronger than (and directly imply) the sharp fractional $L^p$ Sobolev inequalities. They are fractional versions of the affine $L^p$ Sobolev inequalities of Lutwak, Yang, and Zhang. In addition, affine fractional asymmetric $L^p$ Sobolev inequalities are established. Sharp affine fractional $L^p$ Sobolev inequalities for functions on $\mathbb R^n$ are established. The new inequalities are stronger than (and directly imply) the sharp fractional $L^p$ Sobolev inequalities. They are fractional versions of the affine $L^p$ Sobolev inequalities of Lutwak, Yang, and Zhang. In addition, affine fractional asymmetric $L^p$ Sobolev inequalities are established. △ Less

Submitted 21 September, 2022; originally announced September 2022.

MSC Class: 46E35; (35R11; 52A40)

Journal ref: Math. Ann. 388 (2024), 1091-1115

Affine Fractional Sobolev and Isoperimetric Inequalities

Authors: Julián Haddad, Monika Ludwig

Abstract: Sharp affine fractional Sobolev inequalities for functions on $\mathbb R^n$ are established. For each $0<s<1$, the new inequalities are significantly stronger than (and directly imply) the sharp fractional Sobolev inequalities of Almgren and Lieb. In the limit as $s\to 1^-$, the new inequalities imply the sharp affine Sobolev inequality of Gaoyong Zhang. As a consequence, fractional Petty projecti… ▽ More Sharp affine fractional Sobolev inequalities for functions on $\mathbb R^n$ are established. For each $0<s<1$, the new inequalities are significantly stronger than (and directly imply) the sharp fractional Sobolev inequalities of Almgren and Lieb. In the limit as $s\to 1^-$, the new inequalities imply the sharp affine Sobolev inequality of Gaoyong Zhang. As a consequence, fractional Petty projection inequalities are obtained that are stronger than the fractional Euclidean isoperimetric inequalities and a natural conjecture for radial mean bodies is proved. △ Less

Submitted 17 March, 2025; v1 submitted 13 July, 2022; originally announced July 2022.

MSC Class: 2020: 46E35 (Primary) 35R11; 52A40 (Secondary)

OMLT: Optimization & Machine Learning Toolkit

Authors: Francesco Ceccon, Jordan Jalving, Joshua Haddad, Alexander Thebelt, Calvin Tsay, Carl D. Laird, Ruth Misener

Abstract: The optimization and machine learning toolkit (OMLT) is an open-source software package incorporating neural network and gradient-boosted tree surrogate models, which have been trained using machine learning, into larger optimization problems. We discuss the advances in optimization technology that made OMLT possible and show how OMLT seamlessly integrates with the algebraic modeling language Pyom… ▽ More The optimization and machine learning toolkit (OMLT) is an open-source software package incorporating neural network and gradient-boosted tree surrogate models, which have been trained using machine learning, into larger optimization problems. We discuss the advances in optimization technology that made OMLT possible and show how OMLT seamlessly integrates with the algebraic modeling language Pyomo. We demonstrate how to use OMLT for solving decision-making problems in both computer science and engineering. △ Less

Submitted 15 November, 2022; v1 submitted 4 February, 2022; originally announced February 2022.

Comments: 8 pages, 1 figure

On explicit representations of isotropic measures in John and Löwner positions

Authors: F. M. Baêta, J. Haddad

Abstract: Given a convex body $K \subseteq \mathbb R^n$ in Löwner position we study the problem of constructing a non-negative centered isotropic measure supported in the contact points, whose existence is guaranteed by John's Theorem. The method we propose requires the minimization of a convex function defined in an $\frac {n(n+3)}2$ dimensional vector space. We find a geometric interpretation of the minim… ▽ More Given a convex body $K \subseteq \mathbb R^n$ in Löwner position we study the problem of constructing a non-negative centered isotropic measure supported in the contact points, whose existence is guaranteed by John's Theorem. The method we propose requires the minimization of a convex function defined in an $\frac {n(n+3)}2$ dimensional vector space. We find a geometric interpretation of the minimizer as $\left. \frac{\partial}{\partial r}(A_r, v_r)\right|_{r=1}$, where $A_r K + v_r$ is a one-parameter family of positions of $K$ that are in some sense related to the maximal intersection position of radius $r$ defined recently by Artstein-Avidan and Katzin. △ Less

Submitted 5 November, 2021; originally announced November 2021.

Comments: 19 pages, 1 figure, comments are welcome

MSC Class: 52A40; 52A05

Stability of Hypersurfaces in Minkowsky Normed Spaces

Authors: J. Haddad, D. O. Silva

Abstract: We extend to Minkowski spaces the classical result of Barbosa and do Carmo [1] that characterizes the euclidean sphere as the unique compact stable CMC hypersurface of $\mathbb R^n$. More precisely, if $K$ is a smooth convex body in $\mathbb R^n$ with positive Gauss curvature, containing the origin in its interior and $M$ is an immersed hypersurface, there are well defined concepts of surface area… ▽ More We extend to Minkowski spaces the classical result of Barbosa and do Carmo [1] that characterizes the euclidean sphere as the unique compact stable CMC hypersurface of $\mathbb R^n$. More precisely, if $K$ is a smooth convex body in $\mathbb R^n$ with positive Gauss curvature, containing the origin in its interior and $M$ is an immersed hypersurface, there are well defined concepts of surface area measure, normal vector field and principal curvatures of $M$ , with respect to $K$. Thus, we introduce the concept of stability with respect to normal variations and compute the formula of second variation with respect to $K$. Finally we show that if $M$ is compact, has constant mean Minkowski curvature and is stable (with respect to $K$) then $M$ is homothetic to $\partial K$. △ Less

Submitted 12 January, 2021; v1 submitted 30 December, 2020; originally announced December 2020.

Comments: The results are not new

MSC Class: 53C24; 53C60

From affine Poincaré inequalities to affine spectral inequalities

Authors: Julián Haddad, Carlos Hugo Jiménez, Marcos Montenegro

Abstract: Given a bounded open subset $Ω$ of $\mathbb R^n$, we establish the weak closure of the affine ball $B^{\mathcal A}_p(Ω) = \{f \in W^{1,p}_0(Ω):\ \mathcal E_p f \leq 1\}$ with respect to the affine functional $\mathcal E_pf$ introduced by Lutwak, Yang and Zhang in [43] as well as its compactness in $L^p(Ω)$ for any $p \geq 1$. These points use strongly the celebrated Blaschke-Santaló inequality. As… ▽ More Given a bounded open subset $Ω$ of $\mathbb R^n$, we establish the weak closure of the affine ball $B^{\mathcal A}_p(Ω) = \{f \in W^{1,p}_0(Ω):\ \mathcal E_p f \leq 1\}$ with respect to the affine functional $\mathcal E_pf$ introduced by Lutwak, Yang and Zhang in [43] as well as its compactness in $L^p(Ω)$ for any $p \geq 1$. These points use strongly the celebrated Blaschke-Santaló inequality. As counterpart, we develop the basic theory of $p$-Rayleigh quotients in bounded domains, in the affine case, for $p\geq 1$. More specifically, we establish $p$-affine versions of the Poincaré inequality and some of their consequences. We introduce the affine invariant $p$-Laplace operator $Δ_p^{\mathcal A} f$ defining the Euler-Lagrange equation of the minimization problem of the $p$-affine Rayleigh quotient. We also study its first eigenvalue $λ^{\mathcal A}_{1,p}(Ω)$ which satisfies the corresponding affine Faber-Krahn inequality, this is that $λ^{\mathcal A}_{1,p}(Ω)$ is minimized (among sets of equal volume) only when $Ω$ is an ellipsoid. This point depends fundamentally on PDEs regularity analysis aimed at the operator $Δ_p^{\mathcal A} f$. We also present some comparisons between affine and classical eigenvalues, including a result of rigidity through the characterization of equality cases for $p \geq 1$. All affine inequalities obtained are stronger and directly imply the classical ones. △ Less

Submitted 11 July, 2020; v1 submitted 16 March, 2020; originally announced March 2020.

Comments: 30 pages, comments are welcome

MSC Class: 35P30; 52A40; 35B09

$L_p$ functional Busemann-Petty centroid inequality

Authors: Julian Haddad, Carlos Hugo Jimenez, Leticia Alves da Silva

Abstract: If $K\subset\mathbb{R}^n$ is a convex body and $Γ_pK$ is the $p$-centroid body of $K$, the $L_p$ Busemann-Petty centroid inequality states that $\vol(Γ_pK) \geq \vol(K)$, with equality if and only if $K$ is an ellipsoid centered at the origin. In this work, we prove inequalities for a type of functional $r$-mixed volume for $1 \leq r < n$, and establish as a consequence, a functional version of th… ▽ More If $K\subset\mathbb{R}^n$ is a convex body and $Γ_pK$ is the $p$-centroid body of $K$, the $L_p$ Busemann-Petty centroid inequality states that $\vol(Γ_pK) \geq \vol(K)$, with equality if and only if $K$ is an ellipsoid centered at the origin. In this work, we prove inequalities for a type of functional $r$-mixed volume for $1 \leq r < n$, and establish as a consequence, a functional version of the $L_p$ Busemann-Petty centroid inequality. \keywords{Convex body, Moment body, Busemann-Petty centroid} } △ Less

Submitted 23 June, 2019; originally announced June 2019.

Comments: 14 pages. Comments are welcome

MSC Class: 39B62

A Convex Body Associated to the Busemann Random Simplex Inequality and the Petty conjecture

Authors: Julián Eduardo Haddad

Abstract: Given $L$ a convex body, the $L_p$-Busemann Random Simplex Inequality is closely related to the centroid body $Γ_p L$ for $p=1$ and $2$, and only in these cases it can be proved using the $L_p$-Busemann-Petty centroid inequality. We define a convex body $N_p L$ and prove an isoperimetric inequality for $(N_p L)^\circ$ that is equivalent to the $L_p$-Busemann Random Simplex Inequality. As applicati… ▽ More Given $L$ a convex body, the $L_p$-Busemann Random Simplex Inequality is closely related to the centroid body $Γ_p L$ for $p=1$ and $2$, and only in these cases it can be proved using the $L_p$-Busemann-Petty centroid inequality. We define a convex body $N_p L$ and prove an isoperimetric inequality for $(N_p L)^\circ$ that is equivalent to the $L_p$-Busemann Random Simplex Inequality. As applications, we give a simple proof of a general functional version of the Busemann Random Simplex Inequality and study a dual theory related to Petty's conjectured inequality. More precisely, we prove dual versions of the $L_p$-Busemann Random Simplex Inequality for sets and functions by means of the $p$-affine surface area measure, and we prove that the Petty conjecture is equivalent to an $L_1$-Sharp Affine Sobolev-type inequality that is stronger than (and directly implies) the Sobolev-Zhang inequality. △ Less

Submitted 9 January, 2020; v1 submitted 23 April, 2019; originally announced April 2019.

Comments: 18 pages, comments are welcome =)

MSC Class: 52A22; 46E35

Asymmetric Blaschke-Santaló functional inequalities

Authors: Julian Haddad, C. Hugo Jimenez, Marcos Montenegro

Abstract: In this work we establish functional asymmetric versions of the celebrated Blaschke-Santaló inequality. As consequences of these inequalities we recover their geometric counterparts with equality cases, as well as, another inequality with strong probabilistic flavour that was firstly obtained by Lutwak, Yang and Zhang. We present a brief study on an $L_p$ functional analogue to the center of mass… ▽ More In this work we establish functional asymmetric versions of the celebrated Blaschke-Santaló inequality. As consequences of these inequalities we recover their geometric counterparts with equality cases, as well as, another inequality with strong probabilistic flavour that was firstly obtained by Lutwak, Yang and Zhang. We present a brief study on an $L_p$ functional analogue to the center of mass that is necessary for our arguments and that might be of independent interest. △ Less

Submitted 4 October, 2018; originally announced October 2018.

Comments: 13 pages. Comments are welcome!

Sharp affine weighted $L^p$ Sobolev type inequalities

Authors: Julian Haddad, Carlos Hugo Jiménez, Marcos Montenegro

Abstract: We establish sharp affine weighted $L^p$ Sobolev type inequalities by using the $L_p$ Busemann-Petty centroid inequality proved by Lutwak, Yang and Zhang. Our approach consists in combining in a convenient way the latter one with a suitable family of sharp weighted $L^p$ Sobolev type inequalities obtained by Nguyen and allows to characterize all extremizers in some cases. The new inequalities don'… ▽ More We establish sharp affine weighted $L^p$ Sobolev type inequalities by using the $L_p$ Busemann-Petty centroid inequality proved by Lutwak, Yang and Zhang. Our approach consists in combining in a convenient way the latter one with a suitable family of sharp weighted $L^p$ Sobolev type inequalities obtained by Nguyen and allows to characterize all extremizers in some cases. The new inequalities don't rely on any euclidean geometric structure. △ Less

Submitted 30 August, 2017; originally announced August 2017.

A global bifurcation theorem for critical values of $C^1$ maps in Banach spaces

Authors: Pablo Amster, Pierluigi Benevieri, Julian Haddad

Abstract: We present a global bifurcation result for critical values of $C^1$ maps in Banach spaces. The approach is topological based on homotopy equivalence of pairs of topological spaces. For $C^2$ maps, we prove a particular global bifurcation result, based on the notion of spectral flow. We present a global bifurcation result for critical values of $C^1$ maps in Banach spaces. The approach is topological based on homotopy equivalence of pairs of topological spaces. For $C^2$ maps, we prove a particular global bifurcation result, based on the notion of spectral flow. △ Less

Submitted 3 August, 2017; originally announced August 2017.

Comments: 2 figures

A Morse deformation lemma at infinity

Authors: Julián Haddad

Abstract: We prove a generalized version of the classic deformation lemma from Morse Theory that considers functions going to $-\infty$ at a compact set, and allowing the lower value of the deformation to be $-\infty$. The result is valid for a class of functions satisfying a suitable growth condition. We prove a generalized version of the classic deformation lemma from Morse Theory that considers functions going to $-\infty$ at a compact set, and allowing the lower value of the deformation to be $-\infty$. The result is valid for a class of functions satisfying a suitable growth condition. △ Less

Submitted 26 October, 2016; originally announced October 2016.

MSC Class: 58E05

Charged line segments and ellipsoidal equipotentials

Authors: T L Curtright, N M Aden, X Chen, M J Haddad, S Karayev, D B Khadka, J Li

Abstract: This is a survey of the electrostatic potentials produced by charged straight-line segments, in various numbers of spatial dimensions, with comparisons between uniformly charged segments and those having non-uniform linear charge distributions that give rise to ellipsoidal equipotentials surrounding the segments. A uniform linear distribution of charge is compatible with ellipsoidal equipotentials… ▽ More This is a survey of the electrostatic potentials produced by charged straight-line segments, in various numbers of spatial dimensions, with comparisons between uniformly charged segments and those having non-uniform linear charge distributions that give rise to ellipsoidal equipotentials surrounding the segments. A uniform linear distribution of charge is compatible with ellipsoidal equipotentials only for three dimensions. In higher dimensions, the linear charge density giving rise to ellipsoidal equipotentials is counter-intuitive --- the charge distribution has a maximum at the center of the segment and vanishes at the ends of the segment. Only in two dimensions is the continuous charge distribution intuitive --- for that one case of ellipsoidal equipotentials, the charge is peaked at the ends of the segment and minimized at the center. △ Less

Submitted 15 January, 2016; originally announced January 2016.

The sharp affine $L^2$ Sobolev trace inequality and variants

Authors: Pablo Luis De Nápoli, Julián Haddad, Carlos Hugo Jiménez, Marcos Montenegro

Abstract: We establish a sharp affine $L^p$ Sobolev trace inequality by using the $L_p$ Busemann-Petty centroid inequality. For $p = 2$, our affine version is stronger than the famous sharp $L^2$ Sobolev trace inequality proved independently by Escobar and Beckner. Our approach allows also to characterize all cases of equality in this case. For this new inequality, no Euclidean geometric structure is needed… ▽ More We establish a sharp affine $L^p$ Sobolev trace inequality by using the $L_p$ Busemann-Petty centroid inequality. For $p = 2$, our affine version is stronger than the famous sharp $L^2$ Sobolev trace inequality proved independently by Escobar and Beckner. Our approach allows also to characterize all cases of equality in this case. For this new inequality, no Euclidean geometric structure is needed. △ Less

Submitted 5 February, 2016; v1 submitted 14 December, 2015; originally announced December 2015.

Comments: 17 pages including an appendix. The main results from the previous version remain unchanged. The structure and notations were modified, several typos were corrected and proofs for some technical lemmas were added

MSC Class: Primary 46E35; Secondary 46E39; 51M16

A note on borderline Brezis-Nirenberg type problems

Authors: Julian Haddad, Marcos Montenegro

Abstract: We study the effect of ellipticity points on the boundary in the Brezis-Nirenberg problem for elliptic operators in divergence form. We study the effect of ellipticity points on the boundary in the Brezis-Nirenberg problem for elliptic operators in divergence form. △ Less

Submitted 11 March, 2016; v1 submitted 8 December, 2015; originally announced December 2015.

Sharp affine Sobolev type inequalities via the $\Lp$ Busemann-Petty centroid inequality

Authors: Julian Haddad, C. Hugo Jimenez, Marcos Montenegro

Abstract: We show that the $\Lp$ Busemann-Petty centroid inequality provides an elementary and powerful tool to the study of some sharp affine functional inequalities with a geometric content, like log-Sobolev, Sobolev and Gagliardo-Nirenberg inequalities. Our approach allows also to characterize directly the corresponding equality cases. We show that the $\Lp$ Busemann-Petty centroid inequality provides an elementary and powerful tool to the study of some sharp affine functional inequalities with a geometric content, like log-Sobolev, Sobolev and Gagliardo-Nirenberg inequalities. Our approach allows also to characterize directly the corresponding equality cases. △ Less

Submitted 29 March, 2016; v1 submitted 28 May, 2015; originally announced May 2015.

Comments: 16 pages. Corrected version to appear in Journal of Functional Analysis

MSC Class: 46E35 (Primary); 51M16 (Secondary)

The C^r dependence problem of eigenvalues of the Laplace operator on domains in the plane

Authors: Julian Haddad, Marcos Montenegro

Abstract: The C^r dependence problem of multiple Dirichlet eigenvalues on domains is discussed for elliptic operators by regarding smooth one-parameter families of C^1 perturbations of domains in R^n. As applications of our main theorem (Theorem 1), we provide a fairly complete description for all eigenvalues of the Laplace operator on disks and squares and also for its second eigenvalue on balls in R^n for… ▽ More The C^r dependence problem of multiple Dirichlet eigenvalues on domains is discussed for elliptic operators by regarding smooth one-parameter families of C^1 perturbations of domains in R^n. As applications of our main theorem (Theorem 1), we provide a fairly complete description for all eigenvalues of the Laplace operator on disks and squares and also for its second eigenvalue on balls in R^n for any n >= 3. The central tool used in our proof is a degenerate implicit function theorem on Banach spaces of independent interest. △ Less

Submitted 9 April, 2016; v1 submitted 10 May, 2015; originally announced May 2015.

MSC Class: 35J25; 35Pxx; 47A75

Continuous dependence on the derivative of generalized heat equations

Authors: Tertuliano Franco, Julián Haddad

Abstract: We consider here a generalized heat equation $\partial_t ρ=\frac{d}{dx}\frac{d}{dW}ρ$, where $W$ is a finite measure on the one dimensional torus, and $\frac{d}{dW}$ is the Radon-Nikodym derivative with respect to $W$. Such equation has appeared in different contexts, being related to physical systems and representing a large class of classical and non-classical parabolic equations. As a natural a… ▽ More We consider here a generalized heat equation $\partial_t ρ=\frac{d}{dx}\frac{d}{dW}ρ$, where $W$ is a finite measure on the one dimensional torus, and $\frac{d}{dW}$ is the Radon-Nikodym derivative with respect to $W$. Such equation has appeared in different contexts, being related to physical systems and representing a large class of classical and non-classical parabolic equations. As a natural assumption on $W$, we require that the Lebesgue measure is absolutely continuous with respect to $W$. The main result here presented consists in proving, for a suitable topology, a continuous dependence of the solution $ρ$ as a function of $W$. △ Less

Submitted 11 December, 2013; originally announced December 2013.

MSC Class: 35K10; 35K20

On existence of periodic solutions for Kepler type problems

Authors: Pablo Amster, Julián Haddad

Abstract: We prove existence and multiplicity of periodic motions for the forced 2-body problem under conditions of topological character. In the different cases, the lower bounds obtained for the number of solutions are related to the winding number of a curve in the plane, the homology of a space in $\R^3$, the knot type of a curve and the link type of a set of curves. Also, the results are applied to the… ▽ More We prove existence and multiplicity of periodic motions for the forced 2-body problem under conditions of topological character. In the different cases, the lower bounds obtained for the number of solutions are related to the winding number of a curve in the plane, the homology of a space in $\R^3$, the knot type of a curve and the link type of a set of curves. Also, the results are applied to the restricted $n$-body problem. △ Less

Submitted 22 March, 2013; originally announced March 2013.

Comments: 22 pages, 1 figure

MSC Class: 34B15; 34C25; 70K40