首页/论文/2107.12290

arXiv 2107.122902021-07math.OC

最优控制问题的二阶变分算子及其谱渐近性

Operators arising as Second Variation of optimal control problems and their spectral asymptotics

Stefano Baranzini

备注：: 34 pages, new and improved exposition and many typos corrected

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

我们计算了与最优控制问题的二阶变分密切相关的一类紧算子的特征值的渐近性。我们的特点是这个家庭的一组有限维数据，我们将此结果应用到一个特定的一类奇异极值得到一个很好的描述的频谱的二阶变分。

英文摘要：

We compute the asymptotic for the eigenvalues of a particular class of compact operators deeply linked with the second variation of optimal control problems. We characterize this family in terms of a set of finite dimensional data and we apply this results to a particular class of singular extremal to get a nice description of the spectrum of the second variation.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

扩散张量图像配准中的一个变分问题

A variational problem arising in registration of diffusion tensor images

证明了扩散张量图像配准中的一个变分问题的全局最小解的存在性，从而保证了扩散张量图像配准中存在一个规则的空间变换.

2016-11-22math.APmath.OC

力学中某些非光滑分布参数系统的最优控制

On the optimal control of some nonsmooth distributed parameter systems arising in mechanics

变分不等式是模拟自由边界问题的一个重要数学工具。由于所得模型的复杂非光滑结构，其分析和优化是一项困难的任务，几十年来一直引起研究人员的注意。本文研究了一类变分不等式，称为第二类变分不等式。首先，我们的目的是在这些类型的变分不等式在力学中的一些最突出的应用，以及相关的分析和数值困难的一瞥。其次，我们考虑这些变分不等式约束的最优控制问题，并提供了一个彻底的讨论的存在性的拉格朗日乘子和不同类型的最优性系统，可以得到局部极小值的特征。文章最后讨论了这个重要问题类的主要挑战和未来的前景。

2017-11-22math.OC

由变分法导出的分数阶$h$ -差分方程

Fractional $h$-difference equations arising from the calculus of variations

本文介绍了[N. R. O.巴塞河A. C. Ferreira，D. F. M. Torres：离散时间分数变分问题，信号处理。91（2011），no. 3，513- 524]，其丰富了用于涉及左和右分数差分算子的离散方程的显式求解的有用工具。证明了右分数$h$和的新结果。算例表明了所得结果在求解分数阶离散Euler-Lagrange方程中的有效性。

2011-01-31math.CAmath.OC

图象处理中某些变分问题极小值的唯一性

Uniqueness of Minimizers of Some Variational Problems Arising in Image Processing

我们将研究一个开放的问题有关的唯一性极小的一类变分问题产生的迈耶模型分解成一个几何部分和纹理部分的图像。主要是，我们感兴趣的问题的最小值的唯一性：\begin{equation} \label{eq:abs-1} (0.1)\qquad \inf \left\{J(u)+J^*\left(\frac{v}μ\right): (u,v)\in L^2(Ω)\times L^2( Ω){,}\; f=u+v \right\} \end{equation}其中的图像$f$是一个平方可积的功能上的域$Ω$，$μ$是一个参数，功能$J$代表总的变化和功能$J^*$是它的勒让德变换。我们将问题（0.1）视为问题的特殊情况：\begin{equation} \label{eq:abs-2} (0.2)\qquad \inf\{s(f-u)+s^*(u): u\in \mathcal{X}\} \end{equation}，其中$\mathcal X$是包含$f$的希尔伯特空间，$s$是$\mathcal X$上的连续半范数。在有限维中，我们将证明问题（0.2）归结为在适当的欧几里得空间上与给定范数相关联的单位球的极上的投影问题。我们还将提供一个更一般的投影问题，通过使用任何规范和任何非空的，封闭的，有界的和凸的欧几里德空间的唯一性极小的表征。最后，我们将提供有利于分解问题的最小值的唯一性的数值证…

2018-12-09math.OC

全变差正则化离散最优控制子问题的有效解

Efficient Solution of Discrete Subproblems Arising in Integer Optimal Control with Total Variation Regularization

我们考虑一类整数线性规划（IP），它是求解控制问题的信赖域算法的信赖域子问题的离散化，其中控制输入是一维域上的整数值函数，并在目标中用全变差项正则化，这可以解释为不同控制模式之间切换代价的惩罚.我们证明，解决所考虑的问题类的一个实例是相当于解决一个资源受限的最短路问题（RCSPP）的分层有向无圈图。这种结构的发现产生了一个算法的解决方案的拓扑排序和相应的运行时的复杂性，是二次的离散化间隔的数量的基础上的控制问题，一个问题实例的大小的主要量词的基础上。我们还考虑了RCSPP的解决方案与$A^*$算法。具体而言，拉格朗日松弛的分析产生一致的启发式函数的$A^*$算法和预处理过程，可以用来加速$A^*$算法的RCSPP而不失去最优的计算解决方案。我们通过对几个整数最优控制问题执行信赖域算法来生成IP实例。数值结果表明，加速的$A^*$算法和拓扑排序明显优于通用IP求解器。此外，加速的$A^*$算法能够优于较大的问题实例的拓扑排序。

2022-06-03math.OC

广义全变差的渐近性

Asymptotic behaviour of total generalised variation

最近推出的二阶总广义变分泛函$\mathrm{TGV}_{β,α}^{2}$已成功的正则化图像处理的目的。其定义涉及两个正参数$α$和$β$，其值确定正则化的量和质量。在本文中，我们报告的行为$\mathrm{TGV}_{β,α}^{2}$的情况下，参数$α, β$以及它们的比率$β/α$变得非常大或非常小。其中，我们证明了充分对称的二维数据和大比例$β/α$，$\mathrm{TGV}_{β,α}^{2}$正则化符合全变差（$\mathrm{TV}$）正则化。

2015-02-24math.OC

更多相关论文收起更多论文

脉冲控制问题拟变分不等式罚格式的误差估计

Error estimates of penalty schemes for quasi-variational inequalities arising from impulse control problems

针对一类弱耦合Hamilton-Jacobi-Bellman拟变分不等式（HJBQVI）系统，提出了惩罚格式，该系统是由具有连续控制和脉冲控制的状态切换模型的随机混合控制问题引起的.我们证明了惩罚方程的解单调收敛到HJBQVI的解。我们进一步建立的计划是半阶精度的HJBQVI与Lipschitz系数，和一阶精度的方程更经常的系数。基于误差估计和惩罚解，构造了系统的作用域和最优脉冲控制。然后将惩罚方案和收敛结果扩展到可能具有负脉冲成本的HJBQVI。我们还证明了惩罚方程的单调离散化的收敛性，并建立了应用于离散方程的策略迭代是单调收敛的，在无限维设置中具有任意的初始猜测。无穷时域最优切换问题的数值例子来说明传统的直接控制方案的惩罚计划的有效性。

2020-01-02cs.NAmath.NAmath.OC

光束整形和无衍射波：变分法

Optical beam shaping and diffraction free waves: a variational approach

我们研究了将径向对称环形光束沿光轴成形为所需强度图案的问题。在菲涅耳近似，我们表明，这个问题可以表示在一个变分形式相当于相位恢复中出现的。使用不确定性原理，我们证明了严格的下界的功能，捕捉如何在问题中的各种物理参数确定的光束整形的准确性。我们还利用稳定相位法构造了短波长极限下极小元的自然逼近。我们说明了我们的研究结果的影响，通过应用固定相位稳定相位法加上Gerchberg-Saxton算法的光束整形问题所产生的远程传输的光束和脉冲。

2014-05-29math.OCphysics.optics