Optimization problems over rearrangement classes arise in various areas such as mathematics, fluid mechanics, biology, and finance. When the generator of the rearrangement class is two-valued, they reduce to shape optimization and free boundary problems which can exhibit intriguing symmetry breaking phenomena. A robust framework is required for computable analysis of these problems. In this paper, as a first step towards such a robust framework, we provide oracle Turing machines that compute the distribution function, decreasing rearrangement, and linear rearrangement optimizers, with respect to functions that are continuous and have no significant flat zones. This assumption on the reference function is necessary, as otherwise, the aforementioned operations may not be computable. We prove that the results can be computed to within any degree of accuracy, conforming to the framework of Type-II Theory of Effectivity.
Computable analysis Rearrangements of functions Optimization
This is a preview of subscription content, log in to check access.
Benjamin, T.B.: The alliance of practical and analytical insights into the nonlinear problems of fluid mechanics. In: Germain, P., Nayroles, B. (eds.) Applications of Methods of Functional Analysis to Problems in Mechanics. LNM, vol. 503, pp. 8–29. Springer, Heidelberg (1976). https://doi.org/10.1007/BFb0088744CrossRefGoogle Scholar
Brattka, V., Yoshikawa, A.: Towards computability of elliptic boundary value problems in variational formulation. J. Complex. 22(6), 858–880 (2006)MathSciNetCrossRefGoogle Scholar
Burton, G.R.: Rearrangements of functions, maximization of convex functionals, and vortex rings. Math. Ann. 276(2), 225–253 (1987)MathSciNetCrossRefGoogle Scholar
Burton, G.R.: Variational problems on classes of rearrangements and multiple configurations for steady vortices. Ann. Inst. H. Poincaré Anal. Non Linéaire 6(4), 295–319 (1989)MathSciNetCrossRefGoogle Scholar
Burton, G.R., McLeod, J.B.: Maximisation and minimisation on classes of rearrangements. Proc. R. Soc. Edinb. Sect. A 119(3–4), 287–300 (1991)MathSciNetCrossRefGoogle Scholar
Emamizadeh, B., Zivari-Rezapour, M.: Rearrangements and minimization of the principal eigenvalue of a nonlinear Steklov problem. Nonlinear Anal. 74(16), 5697–5704 (2011)MathSciNetCrossRefGoogle Scholar
Emamizadeh, B., Farjudian, A., Liu, Y.: Optimal harvesting strategy based on rearrangements of functions. Appl. Math. Comput. 320, 677–690 (2018)MathSciNetGoogle Scholar
Emamizadeh, B., Farjudian, A., Zivari-Rezapour, M.: Optimization related to some nonlocal problems of Kirchhoff type. Canad. J. Math. 68(3), 521–540 (2016)MathSciNetCrossRefGoogle Scholar