If has period , is , and
(1)
|
then
(2)
|
unless
(3)
|
(Hardy et al. 1988).
Another inequality attributed to Wirtinger involves the Kähler form, which in can be written
(4)
|
Given vectors in , let denote the oriented -dimensional parallelepiped and its -dimensional volume. Then
(5)
|
with equality iff the vectors span a -dimensional complex subspace of , and they are positively oriented. Here, is the th exterior power for , and the orientation of a complex subspace is determined by its complex structure.