ÐÐ°Ð·Ð¾Ð²Ð°Ñ Ð°Ð»Ð³ÐµÐ±Ñа и вÑÑиÑÐ»ÐµÐ½Ð¸Ñ ============================ Sage Ð¼Ð¾Ð¶ÐµÑ Ð¾ÑÑÑеÑÑвлÑÑÑ Ð²ÑÑиÑÐ»ÐµÐ½Ð¸Ñ Ñакие, как поиÑк ÑеÑений ÑÑавнений, диÑÑеÑенÑиÑование, инÑегÑиÑование и пÑеобÑÐ°Ð·Ð¾Ð²Ð°Ð½Ð¸Ñ ÐаплаÑа. См. `Sage Constructions <http://www.sagemath.org/doc/constructions/>`_ , где ÑодеÑжаÑÑÑ Ð¿ÑимеÑÑ. РеÑение ÑÑавнений ----------------- ТоÑное ÑеÑение ÑÑавнений ~~~~~~~~~~~~~~~~~~~~~~~~ ФÑнкÑÐ¸Ñ ``solve`` ÑеÑÐ°ÐµÑ ÑÑавнениÑ. ÐÐ»Ñ ÐµÐµ иÑполÑÐ·Ð¾Ð²Ð°Ð½Ð¸Ñ ÑнаÑала нÑжно опÑеделиÑÑ Ð½ÐµÐºÐ¾ÑоÑÑе пеÑеменнÑе; аÑгÑменÑами Ð´Ð»Ñ ``solve`` бÑдÑÑ ÑÑавнение (или ÑиÑÑема ÑÑавнений) и пеÑеменнÑе, Ð´Ð»Ñ ÐºÐ¾ÑоÑÑÑ Ð½Ñжно найÑи ÑеÑение: :: sage: x = var('x') sage: solve(x^2 + 3*x + 2, x) [x == -2, x == -1] Ðожно ÑеÑаÑÑ ÑÑÐ°Ð²Ð½ÐµÐ½Ð¸Ñ Ð´Ð»Ñ Ð¾Ð´Ð½Ð¾Ð¹ пеÑеменной ÑеÑез дÑÑгие: :: sage: x, b, c = var('x b c') sage: solve([x^2 + b*x + c == 0],x) [x == -1/2*b - 1/2*sqrt(b^2 - 4*c), x == -1/2*b + 1/2*sqrt(b^2 - 4*c)] Также можно ÑеÑаÑÑ ÑÑÐ°Ð²Ð½ÐµÐ½Ð¸Ñ Ñ Ð½ÐµÑколÑкими пеÑеменнÑми: :: sage: x, y = var('x, y') sage: solve([x+y==6, x-y==4], x, y) [[x == 5, y == 1]] СледÑÑÑий пÑÐ¸Ð¼ÐµÑ Ð¿Ð¾ÐºÐ°Ð·ÑваеÑ, как Sage ÑеÑÐ°ÐµÑ ÑиÑÑÐµÐ¼Ñ Ð½ÐµÐ»Ð¸Ð½ÐµÐ¹Ð½ÑÑ ÑÑавнений. ÐÐ»Ñ Ð½Ð°Ñала ÑиÑÑема ÑеÑаеÑÑÑ ÑимволÑно: :: sage: var('x y p q') (x, y, p, q) sage: eq1 = p+q==9 sage: eq2 = q*y+p*x==-6 sage: eq3 = q*y^2+p*x^2==24 sage: solve([eq1,eq2,eq3,p==1],p,q,x,y) [[p == 1, q == 8, x == -4/3*sqrt(10) - 2/3, y == 1/6*sqrt(2)*sqrt(5) - 2/3], [p == 1, q == 8, x == 4/3*sqrt(10) - 2/3, y == -1/6*sqrt(2)*sqrt(5) - 2/3]] ÐÐ»Ñ Ð¿ÑиближеннÑÑ Ð·Ð½Ð°Ñений ÑеÑÐµÐ½Ð¸Ñ Ð¼Ð¾Ð¶Ð½Ð¾ иÑполÑзоваÑÑ: .. link :: sage: solns = solve([eq1,eq2,eq3,p==1],p,q,x,y, solution_dict=True) sage: [[s[p].n(30), s[q].n(30), s[x].n(30), s[y].n(30)] for s in solns] [[1.0000000, 8.0000000, -4.8830369, -0.13962039], [1.0000000, 8.0000000, 3.5497035, -1.1937129]] (ФÑнкÑÐ¸Ñ ``n`` вÑÐ²ÐµÐ´ÐµÑ Ð¿Ñиближенное знаÑение. ÐÑгÑменÑом Ð´Ð»Ñ Ð´Ð°Ð½Ð½Ð¾Ð¹ ÑÑнкÑии ÑвлÑеÑÑÑ ÐºÐ¾Ð»Ð¸ÑеÑÑво биÑов ÑоÑноÑÑи) ЧиÑленное ÑеÑение ÑÑавнений ~~~~~~~~~~~~~~~~~~~~~~~~~~~ Ðо Ð¼Ð½Ð¾Ð³Ð¸Ñ ÑлÑÑаÑÑ ÑÑнкÑÐ¸Ñ ``solve`` не ÑпоÑобна найÑи ÑоÑное ÑеÑение ÑÑавнениÑ. ÐмеÑÑо нее можно иÑполÑзоваÑÑ ÑÑнкÑÐ¸Ñ ``find_root`` Ð´Ð»Ñ Ð½Ð°Ñ Ð¾Ð¶Ð´ÐµÐ½Ð¸Ñ ÑиÑленного ÑеÑениÑ. ÐапÑимеÑ, ``solve`` не возвÑаÑÐ°ÐµÑ Ð½Ð¸Ñего ÑÑÑеÑÑвенного Ð´Ð»Ñ ÑледÑÑÑего ÑÑавнениÑ:: sage: theta = var('theta') sage: solve(cos(theta)==sin(theta), theta) [sin(theta) == cos(theta)] С дÑÑгой ÑÑоÑÐ¾Ð½Ñ ÑÑнкÑÐ¸Ñ ``find_root`` Ð¼Ð¾Ð¶ÐµÑ Ð¸ÑполÑзоваÑÑÑÑ Ð´Ð»Ñ ÑеÑÐµÐ½Ð¸Ñ Ð²ÑÑеÑказанного пÑимеÑа в инÑеÑвале :math:`0 < \phi < \pi/2`:: sage: phi = var('phi') sage: find_root(cos(phi)==sin(phi),0,pi/2) 0.785398163397448... ÐиÑÑеÑенÑиÑование, инÑегÑиÑование и Ñ.д. ---------------------------------------- Sage ÑÐ¼ÐµÐµÑ Ð´Ð¸ÑÑеÑенÑиÑоваÑÑ Ð¸ инÑегÑиÑоваÑÑ Ð¼Ð½Ð¾Ð³Ð¸Ðµ ÑÑнкÑии. ÐапÑимеÑ, Ð´Ð»Ñ Ñого, ÑÑÐ¾Ð±Ñ Ð¿ÑодиÑÑеÑенÑиÑоваÑÑ :math:`\sin(u)` по пеÑеменной :math:`u`, ÑÑебÑеÑÑÑ: :: sage: u = var('u') sage: diff(sin(u), u) cos(u) ÐÐ»Ñ Ð¿Ð¾Ð´ÑÑеÑа ÑеÑвеÑÑой пÑоизводной ÑÑнкÑии :math:`\sin(x^2)` надо: :: sage: diff(sin(x^2), x, 4) 16*x^4*sin(x^2) - 48*x^2*cos(x^2) - 12*sin(x^2) ÐÐ»Ñ Ð½Ð°Ñ Ð¾Ð¶Ð´ÐµÐ½Ð¸Ñ ÑаÑÑнÑÑ Ð¿ÑоизводнÑÑ , как, напÑимеÑ, Ð´Ð»Ñ ÑÑнкÑии :math:`x^2+17y^2` по `x` и `y` ÑооÑвеÑÑÑвенно: :: sage: x, y = var('x,y') sage: f = x^2 + 17*y^2 sage: f.diff(x) 2*x sage: f.diff(y) 34*y ТепеÑÑ Ð½Ð°Ð¹Ð´Ñм инÑегÑалÑ: и опÑеделеннÑе, и неопÑеделеннÑе. ÐапÑимеÑ, :math:`\int x\sin(x^2)\, dx` и :math:`\int_0^1 \frac{x}{x^2+1}\, dx` :: sage: integral(x*sin(x^2), x) -1/2*cos(x^2) sage: integral(x/(x^2+1), x, 0, 1) 1/2*log(2) ÐÐ»Ñ Ð½Ð°Ñ Ð¾Ð¶Ð´ÐµÐ½Ð¸Ñ ÑÐ°Ð·Ð»Ð¾Ð¶ÐµÐ½Ð¸Ñ Ð½Ð° пÑоÑÑÑе дÑоби Ð´Ð»Ñ :math:`\frac{1}{x^2-1}` нÑжно ÑделаÑÑ ÑледÑÑÑее: :: sage: f = 1/((1+x)*(x-1)) sage: f.partial_fraction(x) 1/2/(x - 1) - 1/2/(x + 1) .. _section-systems: РеÑение диÑÑеÑенÑиалÑнÑÑ ÑÑавнений ---------------------------------- Sage Ð¼Ð¾Ð¶ÐµÑ Ð¸ÑполÑзоваÑÑÑÑ Ð´Ð»Ñ ÑеÑÐµÐ½Ð¸Ñ Ð´Ð¸ÑÑеÑенÑиалÑнÑÑ ÑÑавнений. ÐÐ»Ñ ÑеÑÐµÐ½Ð¸Ñ ÑÑÐ°Ð²Ð½ÐµÐ½Ð¸Ñ :math:`x'+x-1=0` Ñделаем ÑледÑÑÑее: :: sage: t = var('t') # опÑеделение пеÑеменной t Ð´Ð»Ñ ÑимволÑнÑÑ Ð²ÑÑиÑлений sage: x = function('x',t) # опÑеделение ÑÑнкÑии x завиÑÑÑей Ð¾Ñ t sage: DE = diff(x, t) + x - 1 sage: desolve(DE, [x,t]) (c + e^t)*e^(-t) ÐÐ»Ñ ÑÑого иÑполÑзÑеÑÑÑ Ð¸Ð½ÑеÑÑÐµÐ¹Ñ Maxima [Max]_, поÑÑÐ¾Ð¼Ñ ÑезÑлÑÑÐ°Ñ Ð¼Ð¾Ð¶ÐµÑ Ð±ÑÑÑ Ð²Ñведен в виде, оÑлиÑном Ð¾Ñ Ð¾Ð±ÑÑного вÑвода Sage. Рданном ÑлÑÑае обÑее ÑеÑение Ð´Ð»Ñ Ð´Ð°Ð½Ð½Ð¾Ð³Ð¾ диÑÑеÑенÑиалÑного ÑÑÐ°Ð²Ð½ÐµÐ½Ð¸Ñ - :math:`x(t) = e^{-t}(e^{t}+c)`. ÐÑеобÑÐ°Ð·Ð¾Ð²Ð°Ð½Ð¸Ñ ÐаплаÑа Ñакже могÑÑ Ð±ÑÑÑ Ð²ÑÑиÑленÑ. ÐÑеобÑазование ÐаплаÑа Ð´Ð»Ñ :math:`t^2e^t -\sin(t)` вÑÑиÑлÑеÑÑÑ ÑледÑÑÑим обÑазом: :: sage: s = var("s") sage: t = var("t") sage: f = t^2*exp(t) - sin(t) sage: f.laplace(t,s) 2/(s - 1)^3 - 1/(s^2 + 1) ÐÑиведем более ÑложнÑй пÑимеÑ. ÐÑклонение Ð¾Ñ Ð¿Ð¾Ð»Ð¾Ð¶ÐµÐ½Ð¸Ñ ÑавновеÑÐ¸Ñ Ð´Ð»Ñ Ð¿Ð°ÑÑ Ð¿ÑÑжин, пÑикÑепленнÑÑ Ðº ÑÑене Ñлева, :: |------\/\/\/\/\---|маÑÑа1|----\/\/\/\/\/----|маÑÑа2| пÑÑжина1 пÑÑжина2 Ð¼Ð¾Ð¶ÐµÑ Ð±ÑÑÑ Ð¿ÑедÑÑавлено в виде диÑÑеÑенÑиалÑнÑÑ ÑÑавнений вÑоÑого поÑÑдка .. math:: m_1 x_1'' + (k_1+k_2) x_1 - k_2 x_2 = 0 m_2 x_2''+ k_2 (x_2-x_1) = 0, где :math:`m_{i}` - ÑÑо маÑÑа обÑекÑа *i*, :math:`x_{i}` - ÑÑо оÑклонение Ð¾Ñ Ð¿Ð¾Ð»Ð¾Ð¶ÐµÐ½Ð¸Ñ ÑавновеÑÐ¸Ñ Ð¼Ð°ÑÑÑ *i*, а :math:`k_{i}` - ÑÑо конÑÑанÑа Ð´Ð»Ñ Ð¿ÑÑÐ¶Ð¸Ð½Ñ *i*. **ÐÑимеÑ:** ÐÑполÑзÑйÑе Sage Ð´Ð»Ñ Ð²ÑÑеÑказанного пÑимеÑа Ñ :math:`m_{1}=2`, :math:`m_{2}=1`, :math:`k_{1}=4`, :math:`k_{2}=2`, :math:`x_{1}(0)=3`, :math:`x_{1}'(0)=0`, :math:`x_{2}(0)=3`, :math:`x_{2}'(0)=0`. РеÑение: Ðадо найÑи пÑеобÑазование ÐаплаÑа пеÑвого ÑÑÐ°Ð²Ð½ÐµÐ½Ð¸Ñ (Ñ ÑÑловием :math:`x=x_{1}`, :math:`y=x_{2}`): :: sage: de1 = maxima("2*diff(x(t),t, 2) + 6*x(t) - 2*y(t)") sage: lde1 = de1.laplace("t","s"); lde1 2*(-?%at('diff(x(t),t,1),t=0)+s^2*'laplace(x(t),t,s)-x(0)*s)-2*'laplace(y(t),t,s)+6*'laplace(x(t),t,s) ÐаннÑй ÑезÑлÑÑÐ°Ñ ÑÑжело ÑиÑаем, однако должен бÑÑÑ Ð¿Ð¾Ð½ÑÑ ÐºÐ°Ðº .. math:: -2x'(0) + 2s^2\cdot X(s) - 2sx(0) - 2Y(s) + 6X(s) = 0 Ðайдем пÑеобÑазование ÐаплаÑа Ð´Ð»Ñ Ð²ÑоÑого ÑÑавнениÑ: :: sage: de2 = maxima("diff(y(t),t, 2) + 2*y(t) - 2*x(t)") sage: lde2 = de2.laplace("t","s"); lde2 -?%at('diff(y(t),t,1),t=0)+s^2*'laplace(y(t),t,s)+2*'laplace(y(t),t,s)-2*'laplace(x(t),t,s)-y(0)*s РезÑлÑÑаÑ: .. math:: -Y'(0) + s^2Y(s) + 2Y(s) - 2X(s) - sy(0) = 0. ÐÑÑавим наÑалÑнÑе ÑÑÐ»Ð¾Ð²Ð¸Ñ Ð´Ð»Ñ :math:`x(0)`, :math:`x'(0)`, :math:`y(0)` и :math:`y'(0)`, и ÑеÑим ÑÑавениÑ: :: sage: var('s X Y') (s, X, Y) sage: eqns = [(2*s^2+6)*X-2*Y == 6*s, -2*X +(s^2+2)*Y == 3*s] sage: solve(eqns, X,Y) [[X == 3*(s^3 + 3*s)/(s^4 + 5*s^2 + 4), Y == 3*(s^3 + 5*s)/(s^4 + 5*s^2 + 4)]] ТепеÑÑ Ð¿ÑоизведÑм обÑаÑное пÑеобÑазование ÐаплаÑа Ð´Ð»Ñ Ð½Ð°Ñ Ð¾Ð¶Ð´ÐµÐ½Ð¸Ñ Ð¾ÑвеÑа: :: sage: var('s t') (s, t) sage: inverse_laplace((3*s^3 + 9*s)/(s^4 + 5*s^2 + 4),s,t) cos(2*t) + 2*cos(t) sage: inverse_laplace((3*s^3 + 15*s)/(s^4 + 5*s^2 + 4),s,t) -cos(2*t) + 4*cos(t) ÐÑак, оÑвеÑ: .. math:: x_1(t) = \cos(2t) + 2\cos(t), \quad x_2(t) = 4\cos(t) - \cos(2t). ÐÑаÑик Ð´Ð»Ñ Ð¾ÑвеÑа Ð¼Ð¾Ð¶ÐµÑ Ð±ÑÑÑ Ð¿Ð¾ÑÑÑоен паÑамеÑÑиÑеÑки, иÑполÑзÑÑ :: sage: t = var('t') sage: P = parametric_plot((cos(2*t) + 2*cos(t), 4*cos(t) - cos(2*t) ),\ ... (t, 0, 2*pi), rgbcolor=hue(0.9)) sage: show(P) ÐÑаÑики могÑÑ Ð±ÑÑÑ Ð¿Ð¾ÑÑÑÐ¾ÐµÐ½Ñ Ð¸ Ð´Ð»Ñ Ð¾ÑделÑнÑÑ ÐºÐ¾Ð¼Ð¿Ð¾Ð½ÐµÐ½Ñов: :: sage: t = var('t') sage: p1 = plot(cos(2*t) + 2*cos(t), (t,0, 2*pi), rgbcolor=hue(0.3)) sage: p2 = plot(4*cos(t) - cos(2*t), (t,0, 2*pi), rgbcolor=hue(0.6)) sage: show(p1 + p2) ÐÐ»Ñ Ð±Ð¾Ð»ÐµÐµ иÑÑеÑпÑваÑÑей инÑоÑмаÑии по гÑаÑикам Ñм. :ref:`section-plot`. Также Ñм. ÑекÑÐ¸Ñ 5.5 из [NagleEtAl2004]_ Ð´Ð»Ñ ÑглÑбленной инÑоÑмаÑии по диÑÑеÑенÑиалÑнÑм ÑÑавнениÑм. ÐеÑод ÐйлеÑа Ð´Ð»Ñ ÑеÑÐµÐ½Ð¸Ñ ÑиÑÑем диÑÑеÑенÑиалÑнÑÑ ÑÑавнений ---------------------------------------------------------- Ð ÑледÑÑÑем пÑимеÑе показан меÑод ÐйлеÑа Ð´Ð»Ñ Ð´Ð¸ÑÑеÑенÑиалÑнÑÑ ÑÑавнений пеÑвого и вÑоÑого поÑÑдков. СнаÑала вÑпомним, ÑÑо делаеÑÑÑ Ð´Ð»Ñ ÑÑавнений пеÑвого поÑÑдка. Ðана задаÑа Ñ Ð½Ð°ÑалÑнÑми ÑÑловиÑми в виде .. math:: y'=f(x,y), \quad y(a)=c, ÑÑебÑеÑÑÑ Ð½Ð°Ð¹Ñи пÑиблизиÑелÑное знаÑение ÑеÑÐµÐ½Ð¸Ñ Ð¿Ñи :math:`x=b` и :math:`b>a`. Ðз опÑÐµÐ´ÐµÐ»ÐµÐ½Ð¸Ñ Ð¿Ñоизводной ÑледÑеÑ, ÑÑо .. math:: y'(x) \approx \frac{y(x+h)-y(x)}{h}, где :math:`h>0` дано и ÑвлÑеÑÑÑ Ð½ÐµÐ±Ð¾Ð»ÑÑим. ÐÑо и диÑÑеÑенÑиалÑное ÑÑавнение даÑÑ :math:`f(x,y(x))\approx \frac{y(x+h)-y(x)}{h}`. ТепеÑÑ Ð½Ð°Ð´Ð¾ ÑеÑиÑÑ Ð´Ð»Ñ :math:`y(x+h)`: .. math:: y(x+h) \approx y(x) + h\cdot f(x,y(x)). ÐÑли назваÑÑ :math:`h\cdot f(x,y(x))` "попÑавоÑнÑм ÑлеменÑом", :math:`y(x)` "пÑежним знаÑением `y`" а :math:`y(x+h)` "новÑм знаÑением `y`", Ñогда данное пÑиближение Ð¼Ð¾Ð¶ÐµÑ Ð±ÑÑÑ Ð²ÑÑажено в виде .. math:: y_{new} \approx y_{old} + h\cdot f(x,y_{old}). ÐÑли ÑазбиÑÑ Ð¸Ð½ÑеÑвал Ð¼ÐµÐ¶Ð´Ñ `a` и `b` на `n` ÑаÑÑей, ÑÑÐ¾Ð±Ñ :math:`h=\frac{b-a}{n}`, Ñогда можно запиÑаÑÑ Ð¸Ð½ÑоÑмаÑÐ¸Ñ Ð´Ð»Ñ Ð´Ð°Ð½Ð½Ð¾Ð³Ð¾ меÑода в ÑаблиÑÑ. ============== ======================= ===================== :math:`x` :math:`y` :math:`h\cdot f(x,y)` ============== ======================= ===================== :math:`a` :math:`c` :math:`h\cdot f(a,c)` :math:`a+h` :math:`c+h\cdot f(a,c)` ... :math:`a+2h` ... ... :math:`b=a+nh` ??? ... ============== ======================= ===================== ЦелÑÑ ÑвлÑеÑÑÑ Ð·Ð°Ð¿Ð¾Ð»Ð½Ð¸ÑÑ Ð²Ñе пÑÑÑоÑÑ Ð² ÑаблиÑе по Ð¾Ð´Ð½Ð¾Ð¼Ñ ÑÑÐ´Ñ Ð·Ð° Ñаз до моменÑа доÑÑÐ¸Ð¶ÐµÐ½Ð¸Ñ Ð·Ð°Ð¿Ð¸Ñи ???, коÑоÑÐ°Ñ Ð¸ ÑвлÑеÑÑÑ Ð¿ÑиближеннÑм знаÑением меÑода ÐйлеÑа Ð´Ð»Ñ :math:`y(b)`. РеÑение ÑиÑÑем диÑÑеÑенÑиалÑнÑÑ ÑÑавнений Ð¿Ð¾Ñ Ð¾Ð¶Ðµ на ÑеÑение обÑÑнÑÑ Ð´Ð¸ÑÑеÑенÑиалÑнÑÑ ÑÑавнений. **ÐÑимеÑ:** ÐайдиÑе ÑиÑленное пÑиблизиÑелÑное знаÑение Ð´Ð»Ñ :math:`z(t)` пÑи :math:`t=1`, иÑполÑзÑÑ 4 Ñага меÑода ÐйлеÑа, где :math:`z''+tz'+z=0`, :math:`z(0)=1`, :math:`z'(0)=0`. ТÑебÑеÑÑÑ Ð¿ÑивеÑÑи диÑÑеÑенÑиалÑное ÑÑавнение 2го поÑÑдка к ÑиÑÑеме двÑÑ Ð´Ð¸ÑÑеÑенÑалÑнÑÑ ÑÑавнений пеÑвого поÑÑдка (иÑполÑзÑÑ :math:`x=z`, :math:`y=z'`) и пÑимениÑÑ Ð¼ÐµÑод ÐйлеÑа: :: sage: t,x,y = PolynomialRing(RealField(10),3,"txy").gens() sage: f = y; g = -x - y * t sage: eulers_method_2x2(f,g, 0, 1, 0, 1/4, 1) t x h*f(t,x,y) y h*g(t,x,y) 0 1 0.00 0 -0.25 1/4 1.0 -0.062 -0.25 -0.23 1/2 0.94 -0.12 -0.48 -0.17 3/4 0.82 -0.16 -0.66 -0.081 1 0.65 -0.18 -0.74 0.022 ÐÑак, :math:`z(1)\approx 0.75`. Ðожно поÑÑÑоиÑÑ Ð³ÑаÑик Ð´Ð»Ñ ÑоÑек :math:`(x,y)`, ÑÑÐ¾Ð±Ñ Ð¿Ð¾Ð»ÑÑиÑÑ Ð¿ÑиблизиÑелÑнÑй вид кÑивой. ФÑнкÑÐ¸Ñ ``eulers_method_2x2_plot`` вÑÐ¿Ð¾Ð»Ð½Ð¸Ñ Ð´Ð°Ð½Ð½ÑÑ Ð·Ð°Ð´Ð°ÑÑ; Ð´Ð»Ñ ÑÑого надо опÑеделиÑÑ ÑÑнкÑии *f* и *g*, аÑгÑÐ¼ÐµÐ½Ñ ÐºÐ¾ÑоÑÑÑ Ð¸Ð¼ÐµÐµÑ ÑÑи кооÑдинаÑÑ: (`t`, `x`, `y`). :: sage: f = lambda z: z[2] # f(t,x,y) = y sage: g = lambda z: -sin(z[1]) # g(t,x,y) = -sin(x) sage: P = eulers_method_2x2_plot(f,g, 0.0, 0.75, 0.0, 0.1, 1.0) Ð ÑÑÐ¾Ñ Ð¼Ð¾Ð¼ÐµÐ½Ñ ``P`` ÑодеÑÐ¶Ð¸Ñ Ð² Ñебе два гÑаÑика: ``P[0]`` - гÑаÑик `x` по `t` и ``P[1]`` - гÑаÑик `y` по `t`. Ðба ÑÑи гÑаÑика могÑÑ Ð±ÑÑÑ Ð²ÑÐ²ÐµÐ´ÐµÐ½Ñ ÑледÑÑÑим обÑазом: .. link :: sage: show(P[0] + P[1]) СпеÑиалÑнÑе ÑÑнкÑии ------------------- ÐеÑколÑко оÑÑогоналÑнÑÑ Ð¿Ð¾Ð»Ð¸Ð½Ð¾Ð¼Ð¾Ð² и ÑпеÑиалÑнÑÑ ÑÑнкÑий оÑÑÑеÑÑÐ²Ð»ÐµÐ½Ñ Ñ Ð¿Ð¾Ð¼Ð¾ÑÑÑ PARI [GAP]_ и Maxima [Max]_. :: sage: x = polygen(QQ, 'x') sage: chebyshev_U(2,x) 4*x^2 - 1 sage: bessel_I(1,1,"pari",250) 0.56515910399248502720769602760986330732889962162109200948029448947925564096 sage: bessel_I(1,1) 0.565159103992485 sage: bessel_I(2,1.1,"maxima") # поÑледние неÑколÑко ÑиÑÑ Ð¼Ð¾Ð³ÑÑ Ð±ÑÑÑ Ð½ÐµÑоÑнÑми 0.167089499251049 Ðа даннÑй Ð¼Ð¾Ð¼ÐµÐ½Ñ Sage ÑаÑÑмаÑÑÐ¸Ð²Ð°ÐµÑ Ð´Ð°Ð½Ð½Ñе ÑÑнкÑии ÑолÑко Ð´Ð»Ñ ÑиÑленного пÑименениÑ. ÐÐ»Ñ ÑимволÑного иÑполÑÐ·Ð¾Ð²Ð°Ð½Ð¸Ñ Ð½Ñжно напÑÑмÑÑ Ð¸ÑполÑзоваÑÑ Ð¸Ð½ÑеÑÑÐµÐ¹Ñ Maxima, как опиÑано ниже: :: sage: maxima.eval("f:bessel_y(v, w)") 'bessel_y(v,w)' sage: maxima.eval("diff(f,w)") '(bessel_y(v-1,w)-bessel_y(v+1,w))/2'