A bang-bang theorem for optimization over spaces of analytic functions
Journal of Approximation Theory
Real and complex analysis, 3rd ed.
Real and complex analysis, 3rd ed.
Hi-index | 0.00 |
We consider the problem of minimizing the distance @?f-@f@?"L"^"p"("K"), where K is a subset of the complex unit circle @?D and @f@?C(K), subject to the constraint that f lies in the Hardy space H^p(D) and |f|@?g for some positive function g. This problem occurs in the context of filter design for causal LTI systems. We show that the optimization problem has a unique solution, which satisfies an extremal property similar to that for the Nehari problem. Moreover, we prove that the minimum of the optimization problem can be approximated by smooth functions. This makes the problem accessible for numerical solution, with which we deal in a follow-up paper.