半开半闭定义域上二元函数边界极值相关技术问询

嘿，这个问题挺有意思的，咱们一步步拆解清楚：

问题1：边界上的约束极值能否成为整个定义域的局部极值？ #

首先得锚定两个核心前提：

• 局部极值的定义是：存在目标点的小邻域，使得邻域与定义域的交集内，该点的函数值是局部最大或最小；
• 你的定义域里，y<0的部分是闭圆盘（包含圆周x²+y²=25），而y≥0的部分是开圆盘（不包含圆周）。

先看y<0的圆周上的点：这些点本身属于定义域，所以可以讨论它们的局部极值。假设在这段圆周上找到一个约束局部极大值点P，要判断它是不是整个定义域的局部极值，关键看P的邻域里，所有属于定义域的点的函数值是否都≤f(P)（极大值的情况）。

举个简单例子：设f(x,y)=y，定义域是你给出的半开半闭集。在y<0的圆周上的点(0,-5)，f值是-5。它的任何小邻域里，定义域内的点要么是y<0的圆盘内（y>-5，所以f(y)>-5），要么是y≥0的开圆盘内（y≥0>-5，f(y)≥0>-5）。显然这个点就是整个定义域的局部极小值。

反过来，如果有个函数在y<0的圆周上的某个点P，约束是局部极大，但在y≥0的开圆盘里，靠近P的点的函数值比f(P)大，那这个约束极值就不是整个定义域的局部极值。比如f(x,y)=y + (x²+y²-25)，在y<0的圆周上f(x,y)=y，约束局部极大出现在靠近(±5,0)的位置，但y≥0的开圆盘里靠近(5,0)的点(4.9, 0.1)，f值是0.1 + (4.9²+0.1²-25)≈-0.88，比y<0圆周上靠近该点的(4.9, -0.99)的f值-0.99大，所以这个约束局部极大点就不是整个定义域的局部极值。

另外要注意：y≥0的圆周上的点不属于定义域，所以这些点根本没法讨论局部极值——函数在这些点上都没定义，何谈极值？

总结一下：

• 只有当边界点属于定义域时（比如你这里y<0的圆周），约束在该边界上的局部极值才有可能成为整个定义域的局部极值，核心看该点邻域内所有定义域点的函数值是否满足极值条件；
• 不属于定义域的边界点，直接排除讨论的可能。

问题2：如何判断边界极值是否为全局极值？ #

全局极值的核心是：在整个定义域内，该点的函数值是最大或最小（并且能取到）。要判断的话，得把所有可能的候选点都找出来对比，步骤大概是这样：

1. 先找内部临界点：
   计算函数在定义域内部（y≥0时x²+y²<25，y<0时x²+y²<25）的所有临界点——也就是偏导数为0或者偏导数不存在的点，算出它们的函数值。比如你说的例子里内部只有局部极小，那先把这个极小值记下来。

2. 处理属于定义域的边界段：
   比如你这里的y<0的圆周x²+y²=25，这部分属于定义域。用拉格朗日乘数法或者参数化（比如设x=5cosθ，y=5sinθ，θ∈(π,2π)）找出这段边界上的所有局部极值点，计算它们的函数值。注意这段边界的“端点”（比如(±5,0)）不属于定义域，所以不用考虑。

3. 分析不属于定义域的边界的极限情况：
   比如y≥0的圆周x²+y²=25，这些点不在定义域里，但函数在靠近这些点的定义域内的点上的取值可能无限接近某个值。比如f(x,y)=x²+y²，当趋近于y≥0的圆周时，函数值无限接近25，但永远达不到；而y<0的圆周上的点函数值就是25，这时候25就是全局最大值，因为定义域内有能取到25的点。

4. 对比所有候选值：
   把内部临界点的函数值、定义域内边界点的函数值，以及那些不可达的边界极限值（注意不可达的话，函数取不到这个值，所以不用作为候选）放在一起对比：

   • 如果某个值是所有候选里最大的，并且能在定义域内取到，那就是全局最大值；
   • 如果某个值是所有候选里最小的，并且能在定义域内取到，那就是全局最小值；
   • 如果存在不可达的极限值比所有可达值都大/小，那函数就没有全局最大/最小值。

举个具体例子：假设f(x,y)=e^y，定义域是你给出的半开半闭集。内部没有临界点（偏导数f_y=e^y≠0）。y<0的圆周上，函数值是e^y，y从-5到0，所以最大值趋近于e^0=1（但y<0，所以永远小于1），最小值是e^{-5}。而y≥0的开圆盘里，y可以无限接近5，函数值e^y无限接近e^5，但达不到。这时候函数在定义域内没有全局最大值（可以无限接近e^5），全局最小值是e^{-5}（在(0,-5)取到）。

备注：内容来源于stack exchange，提问作者Aqua Megami