In this paper, we consider a class of Monge -Ampere equations in a free boundary domain of $mathbb{R}^2$ where the value of the unknown function is prescribed on the free boundary. From a variational point of view, these equations describe an optimal transport problem from an a priori undetermined source domain to a prescribed target domain. We prove the existence and uniqueness of a variational solution to these Monge -Ampere equations under a singularity condition on the density function on the source domain. Furthermore, we provide regularity results under some conditions on the prescribed domain.
{"title":"Free boundary Monge-Ampere equations","authors":"M. Sedjro","doi":"10.1051/cocv/2022048","DOIUrl":"https://doi.org/10.1051/cocv/2022048","url":null,"abstract":"In this paper, we consider a class of Monge -Ampere equations in a free boundary domain of $mathbb{R}^2$ where the value of the unknown function is prescribed on the free boundary. From a variational point of view, these equations describe an optimal transport problem from an a priori undetermined source domain to a prescribed target domain. We prove the existence and uniqueness of a variational solution to these Monge -Ampere equations under a singularity condition on the density function on the source domain. Furthermore, we provide regularity results under some conditions on the prescribed domain.","PeriodicalId":50500,"journal":{"name":"Esaim-Control Optimisation and Calculus of Variations","volume":"34 1","pages":""},"PeriodicalIF":1.4,"publicationDate":"2022-07-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80701108","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
In this paper, we study the asymptotics of singularly perturbed phase-transition functionals of the form ℱk(u) = 1/εk∫Afk(𝑥,u,εk∇u)d𝑥, where u ∈ [0, 1] is a phase-field variable, εk > 0 a singular-perturbation parameter i.e., εk → 0, as k → +∞, and the integrands fk are such that, for every x and every k, fk(x, ·, 0) is a double well potential with zeros at 0 and 1. We prove that the functionals Fk Γ-converge (up to subsequences) to a surface functional of the form ℱ∞(u) = ∫Su∩Af∞(𝑥,𝜈u)dHn-1, where u ∈ BV(A; {0, 1}) and f∞ is characterised by the double limit of suitably scaled minimisation problems. Afterwards we extend our analysis to the setting of stochastic homogenisation and prove a Γ-convergence result for stationary random integrands.
{"title":"Γ-convergence and stochastic homogenisation of phase-transition functionals","authors":"R. Marziani","doi":"10.1051/cocv/2023030","DOIUrl":"https://doi.org/10.1051/cocv/2023030","url":null,"abstract":"In this paper, we study the asymptotics of singularly perturbed phase-transition functionals of the form\u0000ℱk(u) = 1/εk∫Afk(𝑥,u,εk∇u)d𝑥,\u0000where u ∈ [0, 1] is a phase-field variable, εk > 0 a singular-perturbation parameter i.e., εk → 0, as k → +∞, and the integrands fk are such that, for every x and every k, fk(x, ·, 0) is a double well potential with zeros at 0 and 1. We prove that the functionals Fk Γ-converge (up to subsequences) to a surface functional of the form\u0000ℱ∞(u) = ∫Su∩Af∞(𝑥,𝜈u)dHn-1,\u0000where u ∈ BV(A; {0, 1}) and f∞ is characterised by the double limit of suitably scaled minimisation problems. Afterwards we extend our analysis to the setting of stochastic homogenisation and prove a Γ-convergence result for stationary random integrands.","PeriodicalId":50500,"journal":{"name":"Esaim-Control Optimisation and Calculus of Variations","volume":"52 1","pages":""},"PeriodicalIF":1.4,"publicationDate":"2022-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84479177","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
We prove controllability of the Schr"odinger equation in $mathbb{R}^d$ in any time $T > 0$ with internal control supported on nonempty, periodic, open sets. This demonstrates in particular that controllability of the Schr"odinger equation in full space holds for a strictly larger class of control supports than for the wave equation and suggests that the control theory of Schr"odinger equation in full space might be closer to the diffusive nature of the heat equation than to the ballistic nature of the wave equation. Our results are based on a combination of Floquet-Bloch theory with Ingham-type estimates on lacunary Fourier series.
{"title":"Controllability of the Schrödinger equation on unbounded domains without geometric control condition","authors":"Matthias Taufer","doi":"10.1051/cocv/2023037","DOIUrl":"https://doi.org/10.1051/cocv/2023037","url":null,"abstract":"We prove controllability of the Schr\"odinger equation in $mathbb{R}^d$ in any time $T > 0$ with internal control supported on nonempty, periodic, open sets.\u0000 This demonstrates in particular that controllability of the Schr\"odinger equation in full space holds for a strictly larger class of control supports than for the wave equation and suggests that the control theory of Schr\"odinger equation in full space might be closer to the diffusive nature of the heat equation than to the ballistic nature of the wave equation.\u0000 Our results are based on a combination of Floquet-Bloch theory with Ingham-type estimates on lacunary Fourier series.","PeriodicalId":50500,"journal":{"name":"Esaim-Control Optimisation and Calculus of Variations","volume":"4 1","pages":""},"PeriodicalIF":1.4,"publicationDate":"2022-06-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90244358","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
This paper considers dynamic optimization problems for a class of control average mean-field stochastic large-population systems. For each agent, the state system is governed by a linear mean-field stochastic differential equation (MF-SDE) with individual noise and common noise, and the weight coefficients in the cost functional can be indefinite. The decentralized optimal strategies are characterized by stochastic Hamiltonian system, which turns out to be an algebra equation and a mean-field forward-backward stochastic differential equation (MF-FBSDE). Applying the decoupling method, the feedback representation of decentralized optimal strategies is further obtained through two Riccati equations. The solvability of stochastic Hamiltonian system and Riccati equations under indefinite condition is also derived. The explicit structure of the control average limit and the related mean-field Nash certainty equivalence (NCE) equation systems are also discussed by some separation techniques. Moreover, the decentralized optimal strategies are proved to satisfy the approximate Nash equilibrium property. The good performance of the proposed theoretical results is illustrated by a practical example from the engineering field.
{"title":"Dynamic optimization problems for mean-field stochastic large-population systems","authors":"Min Li, Na Li, Zhanghua Wu","doi":"10.1051/cocv/2022044","DOIUrl":"https://doi.org/10.1051/cocv/2022044","url":null,"abstract":"This paper considers dynamic optimization problems for a class of control average mean-field stochastic large-population systems. For each agent, the state system is governed by a linear mean-field stochastic differential equation (MF-SDE) with individual noise and common noise, and the weight coefficients in the cost functional can be indefinite. The decentralized optimal strategies are characterized by stochastic Hamiltonian system, which turns out to be an algebra equation and a mean-field forward-backward stochastic differential equation (MF-FBSDE). Applying the decoupling method, the feedback representation of decentralized optimal strategies is further obtained through two Riccati equations. The solvability of stochastic Hamiltonian system and Riccati equations under indefinite condition is also derived. The explicit structure of the control average limit and the related mean-field Nash certainty equivalence (NCE) equation systems are also discussed by some separation techniques. Moreover, the decentralized optimal strategies are proved to satisfy the approximate Nash equilibrium property. The good performance of the proposed theoretical results is illustrated by a practical example from the engineering field.","PeriodicalId":50500,"journal":{"name":"Esaim-Control Optimisation and Calculus of Variations","volume":"1 1","pages":""},"PeriodicalIF":1.4,"publicationDate":"2022-06-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88919952","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
In this paper, we study the small-time global null controllability of the generalized Burgers' equations $y_t + gamma |y|^{gamma-1}y_x-y_{xx}=u(t)$ on the segment $[0,1]$. The scalar control $u(t)$ is uniform in space and plays a role similar to the pressure in higher dimension. We set a right Dirichlet boundary condition $y(t,1)=0$, and allow a left boundary control $y(t,0)=v(t)$. Under the assumption $gamma>3/2$ we prove that the system is small-time global null controllable. Our proof relies on the return method and a careful analysis of the shape and dissipation of a boundary layer.
{"title":"Small-time global null controllability of generalized Burgers' equations","authors":"Rémi Robin","doi":"10.1051/cocv/2023021","DOIUrl":"https://doi.org/10.1051/cocv/2023021","url":null,"abstract":"In this paper, we study the small-time global null controllability of the generalized Burgers' equations $y_t + gamma |y|^{gamma-1}y_x-y_{xx}=u(t)$ on the segment $[0,1]$. The scalar control $u(t)$ is uniform in space and plays a role similar to the pressure in higher dimension. We set a right Dirichlet boundary condition $y(t,1)=0$, and allow a left boundary control $y(t,0)=v(t)$. Under the assumption $gamma>3/2$ we prove that the system is small-time global null controllable. Our proof relies on the return method and a careful analysis of the shape and dissipation of a boundary layer.","PeriodicalId":50500,"journal":{"name":"Esaim-Control Optimisation and Calculus of Variations","volume":"12 1","pages":""},"PeriodicalIF":1.4,"publicationDate":"2022-06-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75303253","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Randers distances are an asymmetric generalization of Riemannian distances, and arise in optimal control problems subject to a drift term, among other applications. We show that Randers eikonal equation can be approximated by a logarithmic transformation of an anisotropic second order linear equation, generalizing Varadhan's formula for Riemannian manifolds. Based on this observation, we establish the convergence of a numerical method for computing Randers distances, from point sources or from a domain's boundary, on Cartesian grids of dimension two and three, which is consistent at order two thirds, and uses tools from low-dimensional algorithmic geometry for best efficiency. We also propose a numerical method for optimal transport problems whose cost is a Randers distance, exploiting the linear structure of our discretization and generalizing previous works in the Riemannian case. Numerical experiments illustrate our results.
{"title":"A linear finite-difference scheme for approximating Randers distances on Cartesian grids","authors":"F. Bonnans, G. Bonnet, J. Mirebeau","doi":"10.1051/cocv/2022043","DOIUrl":"https://doi.org/10.1051/cocv/2022043","url":null,"abstract":"Randers distances are an asymmetric generalization of Riemannian distances, and arise in optimal control problems subject to a drift term, among other applications. We show that Randers eikonal equation can be approximated by a logarithmic transformation of an anisotropic second order linear equation, generalizing Varadhan's formula for Riemannian manifolds. Based on this observation, we establish the convergence of a numerical method for computing Randers distances, from point sources or from a domain's boundary, on Cartesian grids of dimension two and three, which is consistent at order two thirds, and uses tools from low-dimensional algorithmic geometry for best efficiency. We also propose a numerical method for optimal transport problems whose cost is a Randers distance, exploiting the linear structure of our discretization and generalizing previous works in the Riemannian case. Numerical experiments illustrate our results.","PeriodicalId":50500,"journal":{"name":"Esaim-Control Optimisation and Calculus of Variations","volume":"13 1","pages":""},"PeriodicalIF":1.4,"publicationDate":"2022-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82090751","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Optimal transport has recently proved to be a useful tool in various machine learning applications, needing comparisons of probability measures. Among these, applications of distributionally robust optimization naturally involve Wasserstein distances in their models of uncertainty, capturing data shifts or worst-case scenarios. Inspired by the success of the regularization of Wasserstein distances in optimal transport, we study in this paper the regularization of Wassserstein distributionally robust optimization. First, we derive a general strong duality result of regularized Wasserstein distributionally robust problems. Second, we refine this duality result in the case of entropic regularization and provide an approximation result when the regularization parameters vanish.
{"title":"Regularization for Wasserstein distributionally robust optimization\u0000 \u0000 \u0000 \u0000 \u0000 \u0000 \u0000 \u0000 \u0000 \u0000 \u0000 \u0000 \u0000 \u0000 \u0000 \u0000 \u0000 \u0000 \u0000 \u0000 \u0000 \u0000 \u0000 \u0000 \u0000 \u0000 \u0000 \u0000 \u0000 \u0000 \u0000 ","authors":"Waïss Azizian, F. Iutzeler, J. Malick","doi":"10.1051/cocv/2023019","DOIUrl":"https://doi.org/10.1051/cocv/2023019","url":null,"abstract":"Optimal transport has recently proved to be a useful tool in various machine learning applications, needing comparisons of probability measures. Among these, applications of distributionally robust optimization naturally involve Wasserstein distances in their models of uncertainty, capturing data shifts or worst-case scenarios. Inspired by the success of the regularization of Wasserstein distances in optimal transport, we study in this paper the regularization of Wassserstein distributionally robust optimization. First, we derive a general strong duality result of regularized Wasserstein distributionally robust problems. Second, we refine this duality result in the case of entropic regularization and provide an approximation result when the regularization parameters vanish.","PeriodicalId":50500,"journal":{"name":"Esaim-Control Optimisation and Calculus of Variations","volume":"49 1","pages":""},"PeriodicalIF":1.4,"publicationDate":"2022-05-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76377902","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}