Uma base teórica para a conjugação de funções semicontínuas inferiormente
Resumo
Resumo: Nesta dissertação, apresenta-se um estudo a respeito de uma generalização das funções conjugadas de Fenchel para funções reais estendidas semicontlnuas inferiormente (sci) de varias variaveis reais. Considera-se para esta, o produto interno generalizado pelas funções contínuas de IRn em IRn e a base teórica e a generalizaçao dos teoremas classicos de separaçao para convexos, a qual possibilita separar por funcoes contínuas conjuntos fechados e, em particular, garante que o epigrafo de uma funcao sci pode ser separado de qualquer ponto que esteja em seu complementar. Com auxílio desses resultados, verifica-se que, para funcões sci, a conjugada proposta e propria e a conjugacao e simetrica. Prova-se tambem que esta conjugada e convexa e sci, e introduz-se os Espacos Duais Conjugados que aumentam o potencial dessa teoria, pois, dependendo da funcao correspondente, eles podem ser de dimensao finita. Aplica-se esta generalizacõo no desenvolvimento de uma dualidade para problemas de programacõo semicontínua inferior (PSCI). Garante-se que o dual desses problemas e de programacao convexa e dependendo da funçõo, pode ser restrito a um espaço dual conjugado de dimensao finita. Prova-se que o bidual e o proprio PSCI e define-se a funcõo Lagrangeana relacionada para concluir que seu minimizador em IRn e solucõo do problema primal e a funcao contínua que o maximiza e solucao do problema dual. Abstract: We present a study about a generalization of Fenchel conjugate functions for extended real-valued lower semicontinuous (lsc) functions of several real variables. For this, we consider the generalized inner product by continuous functions f : IRn ^ IRn and the theoretical basis is the generalization of the classical separation theorems for convex sets. They ensure the existence of continuous functions that separate two closed sets. In particular, they say that the epigraph of a lsc function can be separated from any point that it is in its complement. Thanks to these results one verifies that for lsc fuctions the proposed conjugate function is proper and its conjugation is symmetric. We also prove that this conjugate function is convex and lsc. We introduce the Conjugate Dual Spaces that increase the power of this theory as they can be of finite dimension in some cases. We apply this generalization to build up a duality scheme for lower semicontinuos programming (LSCP). We ensure that its associated dual problem is a convex programming problem and it can be restricted to a Conjugate Dual Space of finite dimension. We prove the bidual is the LSCP itself and present the corresponding Lagrangian function which minimizer in IRn is the solution of the primal problem and the continuous function that maximizes it is the solution of the dual problem.
Collections
- Teses & Dissertações [9328]