从零推导微分方程f'(x)=f(x)的通解,为什么通解是指数函数?

康托的天堂 2022-03-07 10:40:20

我们知道f ' (x) = f(x)形式的微分方程的解是指数函数f(x) = Ce^x。因为f ' (x) = C(e^x) ' = Ce^x = f(x)。但如果我们不知道这个公式,怎么能从零开始推导出来呢?我将展示这个推导过程的七个步骤。

第一步:

我们重写函数f(x)求y = f(x)。为了明确我们对什么函数求导,在这种情况下,y是x的函数,我们对x求导。

我们可以把微分方程f ' (x) = f(x)写成dy/dx = y

重写为

我们的目标是找到满足dy/dx = y的函数。

第二步

有一种可能是y是常数函数,y = C,例如,y = 1, y =−100,等等。

两边同时微分x。

为了满足dy/dx = y,y必须是y = 0。

因此,y = 0是微分方程dy/dx = y的一个解。

第三步:

从现在开始,我们将关注y≠0的情况。微分方程两边除以dy/dx = y(y≠ 0)

第四步:

两边关于x积分。

右边的积分很简单。C_1是一个积分常数。

第五步:

你可以用代换积分法对左边积分。

一般来说,1/y的积分是这样的。

因此,方程的左边是这样的。C是一个积分常数。

把C_2移到右边。

让C_3为 C_3= C_1−C_2,得到

第六步:

由于

而±e^C_3是一个常量,所以可以用另一个常数C≠0重写,因为±e^C_3≠0。

得到y = C 'e ^x

第七步:

从上面的讨论中,我们似乎得到了两种不同的解:

虽然在C '≠0的情况下,y = C ' ^x不等于y = 0。但是,如果我们用C '替换另一个任意常数C,它可以是C = 0,y = C ' ^x就是y = Ce^x。当C = 0时,y = Ce^x = y = 0。

通解y = Ce^x包含特解y = 0。因此,我们可以得出微分方程f ' (x) = f(x)的解是f(x) = Ce^x (C是任意常数)。

13 阅读:1848
评论列表
  • 2022-03-09 22:09

    log|y|那个地方应该改成In|y|

  • 2022-03-10 23:31

    明天就去考考参加“奥林匹克”的小侄子……

  • 2022-03-07 20:44

    好文章![点赞]

  • 2022-03-11 07:56

    卧槽,用积分推导微分。蛋和鸡的问题

    李桂 回复:
    先有积分才有微分
    浮生若梦 回复:
    循环证明?
  • 2022-03-08 23:16

    点赞

  • 2022-03-08 11:52

    看不懂,但感觉很高大上。很专业。

  • 2022-03-23 12:23

    你没有证明1/y的积分是lny,相当于你已知了x=lny,那还证明个屁啊

  • 2022-04-28 08:10

    老胡加油

  • 2022-05-06 22:30

    1

  • 2022-05-12 17:00

    由e^x的可数性,得到Y的意义.

  • 2022-04-22 13:57

    记得有的书是用泰勒展开推导

  • 2022-05-09 20:42

    这个知识,就是你们的代表,你们代表的,方向,目标,位置了,,名字给的那么复杂,在复杂,你们那个东西,都是,代表这样,那样 去做这样,那样,得这样那样,,而且,这个知识了,还代表多少,是多少,加加剪剪,长长宽宽,,是不是吗,

  • Ai
    2022-03-09 11:54

    写的不错,辛苦了

康托的天堂

简介:科学如此美妙,我想让你知道