A refinement of the discrete Wirtinger inequality (Q1919581): Difference between revisions
From MaRDI portal
Created a new Item |
Set OpenAlex properties. |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1006/jmaa.1996.0232 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1969215793 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 20:37, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A refinement of the discrete Wirtinger inequality |
scientific article |
Statements
A refinement of the discrete Wirtinger inequality (English)
0 references
19 January 1997
0 references
In the present paper, the following refinement of Tang's discrete Wirtinger inequality [\textit{D. Tang}, Bull. Aust. Math. Soc. 43, No. 3, 467-474 (1991; Zbl 0751.26006)] is established: Theorem A. Let \(f(\theta)\) be a positive \(C^2\)-function on \((0,\ell)\) such that \(f'(\theta) f''(\theta) \neq 0\) and \(f'(\theta)^2 - f(\theta)f''(\theta) = \mu\), for \(\theta \in (0,\ell)\), where \(\mu\) is a constant. Then, if \(f''(\theta) < 0\) (or \(> 0)\)) on \((0,\ell)\), we have \[ \left( \sum^n_{i = 1} f(\theta_i)\right)^2 - c_n \sum^n_{i = 1} f(\theta_i) f'(\theta_i) \geq [\text{or } \leq] \left( nf(\sigma) - \sum^n_{i = 1} f(\theta_i)\right)^2 \] where \(\theta_i \in (0,\ell)\) with \(\theta_1 + \dots + \theta_n = m\ell\), \(\sigma = m\ell/n\), \(c_n = nf(\sigma)/f'(\sigma)\), and \(m(\leq n)\) is a positive constant. Equality in the last inequality holds if and only if \(\theta_1 = \dots = \theta_n = \sigma\). Two notable consequences of Theorem A for the cases when \(m =2\), \(\mu = 1\), \(\ell = \pi/2\), and \(f(\theta) = \sin \theta\) and \(f(\theta) = \cos \theta\) are derived in the Theorems B and \(\text{B}'\), respectively. As a geometric application of Theorem A, a Benneson-style isoperimetric inequality for plane polygons is obtained in Theorem C. The classification of all the functions verifying Theorem \(A\) is given. Finally, the main result (Theorem A) is restated as a weighted exponential inequality.
0 references
discrete Wirtinger inequality
0 references
isoperimetric inequality
0 references
plane polygons
0 references
weighted exponential inequality
0 references