Searcharxiv⌕ Search

arXiv subjects

Juan B. Seoane--Sepúlveda

Publications and source records attributed to Juan B. Seoane--Sepúlveda.

2 recordsLinked to original sources

Classical polynomial inequalities for quadratic forms on an octagonal sector

We establish a collection of sharp inequalities for real quadratic forms on the first-quadrant sector of a regular octagon. Starting from the complete extreme-point description of the associated polynomial unit ball, we compute the exact pointwise Bernstein function for the Euclidean gradient. One extreme curve controls the problem: its endpoint is active up to slope $1/2$, after which the maximizer follows an explicit Cardano branch. We obtain the sharp Markov constant $2\sqrt5$, the exact relative quadratic polarization constant $2$, the canonical unconditional constant $3$, and the body-relative Bohr radius $1/\sqrt3$. We also determine the optimal coefficient $\ell_q$-comparison for every $1\le q\le\infty$. The same norm-one polynomial is extremal for all these global constants. At $q=4/3$ the result is a sharp fixed-space coefficient inequality of \textit{Bohnenblust--Hille type}.

math.FA↗

The unit ball of quadratic forms on an octagonal sector

Let \[\mathfrak O=\{(x,y)\in[0,1]^2:x+y\le \sqrt2\} \] be the first-quadrant sector of a regular octagon. For quadratic forms \(P(x,y)=ax^2+bxy+cy^2\), we study the supremum norm over \(\mathfrak O\). We obtain a complete five-region formula for the norm, according to whether the norming contact occurs at an endpoint or in the interior of one of the three radial sides. We then prove that the projection of the unit ball onto the \(ac\)-plane is exactly \([-1,1]^2\), compute both endpoints of every vertical section, and thereby parametrize the entire unit sphere. Finally, we characterize the extreme points of the unit ball as four explicit curves, their negatives, and four pairs of isolated points. The resulting description is fully explicit and reduces subsequent convex extremal problems on this polynomial space to four one-parameter families and finitely many isolated polynomials.

math.FA↗