<?xml version="1.0" encoding="utf-8" standalone="yes"?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom">
    <channel>
        <title>最优化 on Detail&#39;s Blog</title>
        <link>https://blog.detail.eu.org/tags/%E6%9C%80%E4%BC%98%E5%8C%96/</link>
        <description>Recent content in 最优化 on Detail&#39;s Blog</description>
        <generator>Hugo -- gohugo.io</generator>
        <language>zh-cn</language>
        <copyright>Detail</copyright>
        <lastBuildDate>Wed, 18 Mar 2026 00:00:00 +0000</lastBuildDate><atom:link href="https://blog.detail.eu.org/tags/%E6%9C%80%E4%BC%98%E5%8C%96/index.xml" rel="self" type="application/rss+xml" /><item>
        <title>拉格朗日乘子法</title>
        <link>https://blog.detail.eu.org/p/ba2c58/</link>
        <pubDate>Wed, 18 Mar 2026 00:00:00 +0000</pubDate>
        
        <guid>https://blog.detail.eu.org/p/ba2c58/</guid>
        <description>&lt;h2 id=&#34;基本概念&#34;&gt;基本概念
&lt;/h2&gt;&lt;p&gt;拉格朗日乘子法（Lagrange Multipliers）是一种寻找多元函数在一组约束下的极值的方法。通过引入拉格朗日乘子，可以将有$d$个变量与$k$个约束条件的最优化问题转化为具有$d+k$个变量的无约束优化问题。&lt;sup id=&#34;fnref:1&#34;&gt;&lt;a href=&#34;#fn:1&#34; class=&#34;footnote-ref&#34; role=&#34;doc-noteref&#34;&gt;1&lt;/a&gt;&lt;/sup&gt;&lt;/p&gt;
&lt;h2 id=&#34;问题求解&#34;&gt;问题求解
&lt;/h2&gt;&lt;h3 id=&#34;等式约束&#34;&gt;等式约束
&lt;/h3&gt;$$
	\min_\mathbf x f(\mathbf x)\qquad\text{s.t.}\quad g(\mathbf x)=0,
$$&lt;p&gt;
&lt;img src=&#34;https://blog.detail.eu.org/p/ba2c58/1fede6e5060f2bc3212a795f0c52b1cb.png&#34;
	width=&#34;459&#34;
	height=&#34;402&#34;
	srcset=&#34;https://blog.detail.eu.org/p/ba2c58/1fede6e5060f2bc3212a795f0c52b1cb_hu_21f610085425b217.png 480w, https://blog.detail.eu.org/p/ba2c58/1fede6e5060f2bc3212a795f0c52b1cb_hu_56581d23dce012e2.png 1024w&#34;
	loading=&#34;lazy&#34;
	
	
		class=&#34;gallery-image&#34; 
		data-flex-grow=&#34;114&#34;
		data-flex-basis=&#34;274px&#34;
	
&gt;&lt;/p&gt;
&lt;p&gt;约束曲面与极值曲面相切的点为极值点$\mathbf x^\ast$。&lt;/p&gt;
&lt;ul&gt;
&lt;li&gt;对于约束曲面上的任意点$\mathbf x$，该点的梯度$\nabla g(\mathbf x)$正交于约束曲面。&lt;/li&gt;
&lt;li&gt;在最优点$\mathbf x^\ast$，目标函数在该点的梯度$\nabla f(\mathbf x^\ast)$正交于约束曲面。&lt;/li&gt;
&lt;/ul&gt;
&lt;p&gt;在最优点$\mathbf x^\ast$梯度$\nabla g(\mathbf x)$和$\nabla f(\mathbf x)$的方向必相同或相反，即存在$\lambda\ne 0$，使得$\nabla f(\mathbf x^\ast)+\lambda\nabla g(\mathbf x^\ast)=0$
构造拉格朗日函数$L(\mathbf x,\lambda)=f(\mathbf x)+\lambda g(\mathbf x)$&lt;/p&gt;
&lt;ul&gt;
&lt;li&gt;$\nabla_\mathbf xL(\mathbf x,\lambda)=0 \Rightarrow \nabla f(\mathbf x^\ast)+\lambda\nabla g(\mathbf x^\ast)=0$&lt;/li&gt;
&lt;li&gt;$\nabla_\lambda L(\mathbf x,\lambda)=0 \Rightarrow g(\mathbf x)=0$&lt;/li&gt;
&lt;/ul&gt;
&lt;h3 id=&#34;不等式约束&#34;&gt;不等式约束
&lt;/h3&gt;$$
	\min_\mathbf x f(\mathbf x)\qquad\text{s.t.}\quad g(\mathbf x)\le0,
$$&lt;p&gt;
最优点在不等式约束的区域内时，等价于无约束问题。最优点在不等式约束边界上时，等价于等式约束问题。&lt;/p&gt;
&lt;ul&gt;
&lt;li&gt;对于情况一，最优点在$g(\mathbf x)&amp;lt;0$区域内，令$\nabla f(\mathbf x)=0$求解。即$\nabla_\mathbf xL(\mathbf x, 0)=0$。&lt;/li&gt;
&lt;li&gt;对于情况二，最优解在$g(\mathbf x)=0$上，即存在$\nabla f(\mathbf x^\ast)+\lambda\nabla g(\mathbf x^\ast)=0$。注意到若两个梯度方向相同，则还可再优化，$\mathbf x$不是最优解。因此，需要取两个梯度方向相反，即$\lambda &amp;gt; 0$。&lt;/li&gt;
&lt;/ul&gt;
&lt;p&gt;结合上述两种情况，二者都满足$\lambda g(\mathbf x)=0$。因此，原优化问题可以转化成在KKT（Karush-Kuhn-Tucker）条件下的最小化拉格朗日函数
&lt;/p&gt;
$$
	L(\mathbf x,\lambda)=f(\mathbf x)+\lambda g(\mathbf x) \qquad\text{s.t.}\quad
	\left\{\begin{align*}
	g(\mathbf x)\le0\\
	\lambda\ge0\\
	\lambda g(\mathbf x)=0
	\end{align*}\right..
$$&lt;div class=&#34;footnotes&#34; role=&#34;doc-endnotes&#34;&gt;
&lt;hr&gt;
&lt;ol&gt;
&lt;li id=&#34;fn:1&#34;&gt;
&lt;p&gt;马轶荀. 优化-拉格朗日乘子法[EB/OL], (2020-07-03). &lt;a class=&#34;link&#34; href=&#34;https://zhuanlan.zhihu.com/p/154517678&#34;  target=&#34;_blank&#34; rel=&#34;noopener&#34;
    &gt;https://zhuanlan.zhihu.com/p/154517678&lt;/a&gt;&amp;#160;&lt;a href=&#34;#fnref:1&#34; class=&#34;footnote-backref&#34; role=&#34;doc-backlink&#34;&gt;&amp;#x21a9;&amp;#xfe0e;&lt;/a&gt;&lt;/p&gt;
&lt;/li&gt;
&lt;/ol&gt;
&lt;/div&gt;
</description>
        </item>
        
    </channel>
</rss>
