Home Competitions BALKAN-SL 2012 A5
Let f , g : Z → [ 0 , ∞ ) f, g:\mathbb{Z}\rightarrow [0,\infty ) f , g : Z → [ 0 , ∞ ) be two functions such that f ( n ) = g ( n ) = 0 f(n)=g(n)=0 f ( n ) = g ( n ) = 0 with the exception of finitely many integers n n n . Define h : Z → [ 0 , ∞ ) h:\mathbb{Z}\rightarrow [0,\infty ) h : Z → [ 0 , ∞ ) by
h ( n ) = max { f ( n − k ) g ( k ) : k ∈ Z } . h(n)=\max \{f(n-k)g(k): k\in\mathbb{Z}\}. h ( n ) = max { f ( n − k ) g ( k ) : k ∈ Z } .
Let p p p and q q q be two positive reals such that 1 / p + 1 / q = 1 1/p+1/q=1 1/ p + 1/ q = 1 . Prove that
∑ n ∈ Z h ( n ) ≥ ( ∑ n ∈ Z f ( n ) p ) 1 / p ( ∑ n ∈ Z g ( n ) q ) 1 / q . \sum_{n\in\mathbb{Z}}h(n)\geq \Bigg(\sum_{n\in\mathbb{Z}}f(n)^p\Bigg)^{1/p}\Bigg(\sum_{n\in\mathbb{Z}}g(n)^q\Bigg)^{1/q}. n ∈ Z ∑ h ( n ) ≥ ( n ∈ Z ∑ f ( n ) p ) 1/ p ( n ∈ Z ∑ g ( n ) q ) 1/ q .
Dataset text AoPS wiki problems . Quoted with source.
Solutions
No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.
Add a solution
Similar problems
These problems have the most words in common with this statement.
Locator balkan-sl/2012/a5 · Tag M0MVW3JK3S · Edit this page on GitHub · Keys: j next, k previous