首页 > 其他分享 >【习题】4.2

【习题】4.2

时间:2024-02-27 22:12:31浏览次数:29  
标签:bar 4.2 线性方程 cdots 齐次 quad 习题 vdots

[T040201] 证明 \(n\) 阶齐次线性微分方程一定存在 \(n\) 个线性无关解.

     由存在唯一性定理可知 \(n\) 阶齐次线性方程满足下列 \(n\) 组初始条件

\[\left\{ \begin{array}{cccc} x_1(t_0)=1, & x'_1(t_0)=0, & \cdots, & x_1^{(n-1)}(t_0)=0,\\ x_2(t_0)=0, & x'_2(t_0)=1, & \cdots, & x_2^{(n-2)}(t_0)=0,\\ \vdots & \vdots & & \vdots\\ x_n(t_0)=0, & x_n'(t_0)=0, & \cdots, & x_n^{(n-1)}(t_0)=1 \end{array} \right. \]

的解 \(x_1(t),x_2(t),\cdots,x_n(t)\) 一定存在且唯一, 注意到它们的 Wronski 行列式

\[W(x_1(t_0),x_2(t_0),\cdots,x_n(t_0))=1\neq0 \]

故这 \(n\) 个解必线性无关. #


[T040202] 证明: \(n\) 阶非齐次线性方程 \(L[x]=f(t), \ t\in[a,b]\) 最多存在 \(n+1\) 个线性无关解.

     注意到其对应的齐次线性方程 \(L[x]=0\) 在区间 \([a,b]\) 上存在 \(n\) 个线性无关解, 设为 \(x_1(t),x_2(t),\cdots,x_n(t)\), 并设 \(\bar{x}(t)\) 是 \(n\) 阶非齐次线性方程 \(L[x]=f(t)\) 在 \([a,b]\) 上的一个特解. 下证 \(x_1(t)+\bar{x}(t),\cdots,x_n(t)+\bar{x}(t),\bar{x}(t)\) 是 \(n\) 阶非齐次线性方程 \(L[x]=f(t)\) 的解, 且它们在 \([a,b]\) 上线性无关.
    显然 \(x_1(t)+\bar{x}(t),\cdots,x_n(t)+\bar{x}(t),\bar{x}(t)\) 是 \(n\) 阶非齐次线性方程 \(L[x]=f(t)\) 的解, 设存在一组数 \(c_1,\cdots,c_{n+1}\), 使得当 \(t\in[a,b]\) 时, 有

\[\begin{aligned} &c_1(x_1+\bar x)+c_2(x_2+\bar x)+\cdots+c_n(x_n+\bar x)+c_{n+1}\bar x=0\\ \Longrightarrow&(c_1x_1+c_2x_2+\cdots+c_nx_n)+(c_1+c_2+\cdots+c_{n+1})\bar x=0 \end{aligned} \]

此时必有 \(c_1+c_2+\cdots+c_{n+1}=0\), 否则 \(\bar x\) 可由 \(x_1,x_2,\cdots,x_n\) 线性表出, 这与 \(\bar x\) 是 \(n\) 阶非齐次线性方程 \(L[x]=f(t)\) 的解矛盾! 于是 \(c_1x_1+c_2x_2+\cdots+c_nx_n=0\), 而 \(x_1(t),x_2(t),\cdots,x_n(t)\) 在区间 \([a,b]\) 上线性无关, 故 \(c_1=c_2=\cdots=c_n=0\Rightarrow c_{n+1}=0\), 所以 \(x_1(t)+\bar{x}(t),\cdots,x_n(t)+\bar{x}(t),\bar{x}(t)\) 是 \(n\) 阶非齐次线性方程 \(L[x]=f(t)\) 在区间 \([a,b]\) 上的 \(n+1\) 个线性无关解.
    再证 \(n\) 阶非齐次线性方程 \(L[x]=f(t)\) 最多存在 \(n+1\) 个线性无关解. 设 \(x_1(t),x_2(t),\cdots,x_{n+1}(t),x_{n+2}(t)\) 是其任意 \(n+2\) 个线性无关解. 显然 \(x_1(t)-x_{n+2}(t),\cdots,x_{n+1}(t)-x_{n+2}(t)\) 是对应的齐次线性方程 \(L[x]=0\) 的 \(n+1\) 个解, 则这 \(n+1\) 个解必线性相关, 即存在不全为零的数 \(c_1,\cdots,c_{n+1}\), 使得在 \([a,b]\) 上满足

\[\begin{aligned} &c_1(x_1(t)-x_{n+2}(t))+c_2(x_2(t)-x_{n+2}(t))+\cdots+c_{n+1}(x_{n+1}(t)-x_{n+2}(t))=0\\ \Longrightarrow&c_1x_1+c_2x_2+\cdots+c_{n+1}x_{n+1}-(c_1+c_2+\cdots+c_{n+1})x_{n+2}=0 \end{aligned} \]

故这 \(n+2\) 个解在 \([a,b]\) 上线性相关, 产生矛盾! #


[T040203] (Liouville 公式) 设 \(x_1(t),x_2(t),\cdots,x_n(t)\) 是齐次线性方程 \(L[x]=0\) 的任意 \(n\) 个解, \(W(t)\) 是它们的 Wronski 行列式, 则 \(W(t)\) 满足一阶线性微分方程 \(W'(t)=-a_1(t)W(t)\), 因而有

\[W(t)=W(t_0)e^{-\int_{t_0}^ta_1(s)\mathrm{~d}s},\quad t,t_0\in[a,b]. \]

     由行列式求导法则可知

\[W'(t)=\begin{vmatrix} x_1&x_2&\cdots&x_n\\ x_1'&x_2'&\cdots&x_n'\\ \vdots&\vdots&&\vdots\\ x_1^{(n-2)}&x_2^{(n-2)}&\cdots&x_n^{(n-2)}\\ x_1^{(n)}&x_2^{(n)}&\cdots&x_n^{(n)} \end{vmatrix} \]

于是

\[W'(t)+a_1(t)W(t)=\begin{vmatrix} x_1&x_2&\cdots&x_n\\ x_1'&x_2'&\cdots&x_n'\\ \vdots&\vdots&&\vdots\\ x_1^{(n-2)}&x_2^{(n-2)}&\cdots&x_n^{(n-2)}\\ x_1^{(n)}+a_1(t)x_1^{(n-1)}&x_2^{(n)}+a_1(t)x_2^{(n-1)}&\cdots&x_n^{(n)}+a_1(t)x_n^{(n-1)} \end{vmatrix} \]

注意到

\[\begin{cases} x_1^{(n)}+a_1(t)x_1^{(n-1)}=-a_2(t)x_1^{(n-2)}-\cdots-a_n(t)x_1,\\ x_2^{(n)}+a_1(t)x_2^{(n-1)}=-a_2(t)x_2^{(n-2)}-\cdots-a_n(t)x_2,\\ \quad\quad\quad\quad\quad\quad\quad~ ......\\ x_n^{(n)}+a_1(t)x_n^{(n-1)}=-a_2(t)x_n^{(n-2)}-\cdots-a_n(t)x_n,\\ \end{cases} \]

因此 \(W'(t)+a_1(t)W(t)=0, \ t\in[a,b]\). 解得

\[W(t)=ce^{-\int_{t_0}^ta_1(s)\mathrm{~d}s} \]

注意到 \(W(t_0)=c\), 于是 \(W(t)=W(t_0)e^{-\int_{t_0}^ta_1(s)\mathrm{~d}s},\quad t,t_0\in[a,b]\). #


[T040204] 设 \(x=x_1(t), \ x=x_2(t)\) 是微分方程 \(x''+x=0\) 的满足初始条件

\[x_1(0)=0,\quad x_1'(0)=1,\\ x_2(0)=1,\quad x_2'(0)=0 \]

的解, 试不具体求出 \(x_1(t)\) 和 \(x_2(t)\) 而直接证明

  (1) \(x_1'(t)=x_2(t),\quad x_2'(t)=-x_1(t)\);

  (2) \(x_1^2(t)+x_2^2(t)\equiv1\).

     (1) 注意到 \(x_1''(t)+x(t)=0, \ \ x_1(0)=0, \ x_1'(0)=1\), 于是 \(x_1''(0)=0\). 令 \(y(t)=x_1'(t)\), 则 \(y'(t)=x_1''(t)=-x_1(t)\), 进而 \(y''(t)=-x_1'(t)=-y(t)\), 即 \(y''(t)+y(t)=0\), 且满足 \(y(0)=x_1'(0)=1, \ y'(0)=x_1''(0)=0\), 由题设以及解的存在唯一性定理可知 \(y(t)=x_2(t)\), 即 \(x_1'(t)=x_2(t)\). 同理可证 \(x_2'(t)=-x_1(t)\). #

    (2) 设 \(W(t)\) 是\(x_1(t)\) 和 \(x_2(t)\) 的 Wronski 行列式, 由 Liouville 公式可知 \(W(t)=W(0)e^{-\int_0^ta_1(s)\mathrm{~d}s}=W(0)\), 于是

\[\begin{vmatrix} x_1(t) & x_2(t)\\ x_1'(t) & x_2'(t) \end{vmatrix}= \begin{vmatrix} x_1(0) & x_2(0)\\ x_1'(0) & x_2'(0) \end{vmatrix}=-1 \]

又 \(x_1'(t)=x_2(t),\quad x_2'(t)=-x_1(t)\), 故 \(x_1^2(t)+x_2^2(t)\equiv1\). #

标签:bar,4.2,线性方程,cdots,齐次,quad,习题,vdots
From: https://www.cnblogs.com/hznudmh/p/18038531

相关文章

  • 2024.2.27模拟赛T2题解
    题目有一个神奇的结论\(\foralla<b<c,a\oplusc>min(a\oplusb,b\oplusc)\)然后就可以写出\(n^2\)dp,再用TRIE树优化即可code#include<bits/stdc++.h>usingnamespacestd;#defineN200005#defineintlonglongintn,k1,k2;inta[N],fl[2];constintm......
  • test2024.2.23
    圣诞树题意:用\(m\)种颜色的彩球装点\(n\)层的圣诞树。圣诞树的第\(i\)层恰由\(l_{i}\)个彩球串成一行,且同一层内的相邻彩球颜色不同,同时相邻两层所使用彩球的颜色集合不同。求有多少种装点方案。\(n,m\le10^6,1\lel_{i}\le3\times10^3,\suml_{i}\le10^7\)。......
  • 2024.2.26
    前言还有\(4\)天就结束了呜呜呜,我还不想走,我还没打过国赛呜呜呜。博弈以为是个吊题,结果真是签到题啊QAQ。首先我们要读明白题,我们一个点可以放多个棋子,所以可以得出一个结论:每个点是互不影响的。所以我们可以每个点分开来算。正如题解所说:“因为在自己所属点上的棋子是完......
  • 近期总结 2024.2.26
    dp专场*2。CF1608FMEXCounting题意:给出\(n,m,b_{1...n}\),求出有多少个长度为\(n\)的序列\(a\)满足\(\foralli\in[1,n],\space0\lea_i\len\)且\(|\operatorname{mex}\{a_1,a_2,...,a_i\}-b_i|\lem\)。\(1\len\le2000,\space1\lek\le50\)很简单的......
  • 2024.2.25模拟赛T3题解
    题目推出dp柿子之后,枚举\(i\)的时候用线段树维护\(1-i\)的\(mex\)段,对于每一段,分别使用线段树套李超树维护,对于每个\(mex\)再次使用线段树套李超树维护即可code#include<bits/stdc++.h>usingnamespacestd;#defineN600005#defineintlonglongintn,m;consti......
  • 2024.2.25模拟赛T1题解
    题目考虑DP式子之后,可以通过堆维护函数,求出对应值code#include<bits/stdc++.h>usingnamespacestd;#defineintlonglong#defineN200005intzu,n,d,tg,num;inta[N];priority_queue<int>q;signedmain(){ scanf("%lld",&zu); while(zu--){ scanf(&qu......
  • 2024.2.25模拟赛T2题解
    题目枚举根之后,考虑每次连边的贡献,通过贡献算出每个点的权值,每次找出权值最大的点,又要保证父亲在儿子之前,所以将父亲和儿子合并,权值也合并一下即可code#include<bits/stdc++.h>usingnamespacestd;#defineN2005intans,n,k;intsz[N],deg[N],du[N],fu[N],f[N],h[N];str......
  • 2024.2.26模拟赛T2题解
    题目对询问扫描线,建出\(PAM\)的失配树之后,每次查询相当于,把\(r\)对应节点到根路径染色之后,有多少个节点的值大于\(l\),可以树剖+ODT实现code#pragmaGCCoptimize("Ofast","inline","-ffast-math")#pragmaGCCtarget("avx,sse2,sse3,sse4,mmx")#include<bits/s......
  • 2024.2.26 LGJ Round
    A给出一个\(n\)个顶点的有向图,求有多少个长度小于\(k\)的环(环可以经过重复的结点)。两个环不同当且仅当顶点序列不同。\(n\le35,k\le1e6\)。矩阵乘法模板题。枚举起点,求出走\(\lek\)步到达自己的方案数。只需要记录\(f_i\)表示以\(i\)结尾的路径个数,以及\(g_i\)......
  • 2024.2.26闲话——错误的时间复杂度
    推歌:猛独が襲う——一二三想了一个非常奇怪的逻辑。我们知道斐波那契数列是需要递推的。我们由前两个数推到第\(3\)个数的时间复杂度是\(O(1)\)。推第\(4\)个数是\(O(1)\)的基础上加\(1\)还是\(O(1)\)。然后我们以此类推下去,递推求斐波那契数列任意一项都是\(O(1)......