fsolve / fzero:找不到解决方案,看似常规

时间:2015-09-20 23:44:16

标签: matlab mathematical-optimization numerical-methods solver nonlinear-functions

我正在尝试使用fsolve或fzero执行以下算法:

K5=8.37e-2
P=1

Choose an A
    S2=(4*K5/A)^(2/3)
    S6=3*S2
    S8=4*S2

    SO2 = (5*P)/149 - (101*S2)/149 - (293*S6)/149 - (389*S8)/149
    H2O = (40*P)/149 + (556*S2)/447 + (636*S6)/149 + (2584*S8)/447
    H2S = 2*SO2

    newA = (H2O)^2/(SO2)^3

Repeat until newA=oldA

要解决的主要问题是K5=1/4 * A * S2^3/2。由此得出S2首先计算。

所以这就是我在Matlab中所做的:

function MultipleNLEexample
clear, clc, format short g, format compact

Aguess = 300000; % initial guess

options = optimoptions('fsolve','Display','iter','TolFun',[1e-9],'TolX',[1e-9]); % Option to display output
xsolv=fsolve(@MNLEfun,Aguess,options); 

[~,ans]=MNLEfun(xsolv)

%- - - - - - - - - - - - - - - - - - - - - -
function varargout = MNLEfun(A); 
    K5 = 8.37e-2;

    S2 = (4*K5/A)^(2/3);
    S6 = 3*S2;
    S8 = 4*S2;

    P=1; %atm

    SO2 = (5*P)/149 - (101*S2)/149 - (293*S6)/149 - (389*S8)/149;
    H2O = (40*P)/149 + (556*S2)/447 + (636*S6)/149 + (2584*S8)/447;
    newA=H2O^2/SO2^3;
    fx=1/4*newA*S2^(3/2)-K5;

    varargout{1} = fx;
    if nargout>1
        H2S = 2*SO2;
        varargout{2} = ((2*S2+6*S6+8*S8)/(2*S2+6*S6+8*S8+H2S+SO2)*100);
    end

我无法运行我的代码,我收到以下错误: 找不到解决方案。

fsolve已停止,因为问题看起来是渐变的, 但是函数值的向量并不接近于零 选择的函数容差值。

我尝试将公差设置为1e-20,但这并没有改变任何内容。

1 个答案:

答案 0 :(得分:2)

您的系统设置方式,绘制它并观察其行为实际上很方便。我对您的函数进行了矢量化并绘制了f(x) = MLNEfun(x)-x,其中MLNE(x)的输出为newA。实际上,您对系统的定点感兴趣。

我观察到的是:

singularity

在A~3800处有一个奇点和一个根交叉。我们可以使用fzero,因为它是一个括号中的根解算器,并且在解fzero(@(x)MLNEfun(x)-x, [3824,3825])上产生非常严格的界限3.8243e+03。从您的开始猜测开始,这是几个数量级。您的系统在~3e5附近没有解决方案。

<强>更新 在我的匆忙中,我没有放大图,它显示了另一个(表现良好的)根在1.3294e + 04。由您决定哪个是物理上有意义的一个。我在下面说的一切仍然适用。只需在您感兴趣的解决方案附近开始猜测。

回复评论 由于您希望针对K的不同值执行此操作,因此您最好的选择是坚持使用fzero,只要您要求解决一个变量,而不是fsolve。这背后的原因是fsolve使用牛顿方法的变体,这些方法没有被括起来,并且很难在像这样的奇点找到解决方案。另一方面,fzero使用布伦特的方法,该方法保证在括号内找到根(如果存在)。它在奇点附近表现得更好。

MATLAB的fzero实现还会在执行布伦特方法之前搜索包围间隔。因此,如果您提供足够接近根的单个起始猜测,它应该为您找到它。以下fzero的示例输出:

fzero(@(x)MLNEfun(x)-x, 3000, optimset('display', 'iter'))

Search for an interval around 3000 containing a sign change:
 Func-count    a          f(a)             b          f(b)        Procedure
    1            3000       -616789          3000       -616789   initial interval
    3         2915.15       -433170       3084.85       -905801   search
    5            2880       -377057          3120  -1.07362e+06   search
    7         2830.29       -311972       3169.71  -1.38274e+06   search
    9            2760       -241524          3240  -2.03722e+06   search
   11         2660.59       -171701       3339.41  -3.80346e+06   search
   13            2520       -109658          3480  -1.16164e+07   search
   15         2321.18      -61340.4       3678.82   -1.7387e+08   search
   17            2040      -29142.6          3960   2.52373e+08   search

Search for a zero in the interval [2040, 3960]:
 Func-count    x          f(x)             Procedure
   17            2040      -29142.6        initial
   18         2040.22      -29158.9        interpolation
   19         3000.11       -617085        bisection
   20         3480.06  -1.16224e+07        bisection
   21            3960   2.52373e+08        bisection
   22         3720.03  -4.83826e+08        interpolation
....
   87         3824.32  -5.46204e+48        bisection
   88         3824.32   1.03576e+50        bisection
   89         3824.32   1.03576e+50        interpolation

Current point x may be near a singular point. The interval [2040, 3960] 
reduced to the requested tolerance and the function changes sign in the interval,
but f(x) increased in magnitude as the interval reduced.

ans =

   3.8243e+03