<?xml version="1.0" encoding="UTF-8"?><rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	xmlns:wfw="http://wellformedweb.org/CommentAPI/"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	xmlns:atom="http://www.w3.org/2005/Atom"
	xmlns:sy="http://purl.org/rss/1.0/modules/syndication/"
	xmlns:slash="http://purl.org/rss/1.0/modules/slash/"
	
	xmlns:georss="http://www.georss.org/georss"
	xmlns:geo="http://www.w3.org/2003/01/geo/wgs84_pos#"
	>

<channel>
	<title>recurrence relation &#8211; Problems in Mathematics</title>
	<atom:link href="https://yutsumura.com/tag/recurrence-relation/feed/" rel="self" type="application/rss+xml" />
	<link>https://yutsumura.com</link>
	<description></description>
	<lastBuildDate>Sat, 12 Aug 2017 01:04:42 +0000</lastBuildDate>
	<language>en-US</language>
	<sy:updatePeriod>
	hourly	</sy:updatePeriod>
	<sy:updateFrequency>
	1	</sy:updateFrequency>
	<generator>https://wordpress.org/?v=5.3.6</generator>

<image>
	<url>https://i2.wp.com/yutsumura.com/wp-content/uploads/2016/12/cropped-question-logo.jpg?fit=32%2C32&#038;ssl=1</url>
	<title>recurrence relation &#8211; Problems in Mathematics</title>
	<link>https://yutsumura.com</link>
	<width>32</width>
	<height>32</height>
</image> 
<site xmlns="com-wordpress:feed-additions:1">114989322</site>	<item>
		<title>Solve Linear Recurrence Relation Using Linear Algebra (Eigenvalues and Eigenvectors)</title>
		<link>https://yutsumura.com/solve-linear-recurrence-relation-using-linear-algebra-eigenvalues-and-eigenvectors/</link>
				<comments>https://yutsumura.com/solve-linear-recurrence-relation-using-linear-algebra-eigenvalues-and-eigenvectors/#comments</comments>
				<pubDate>Mon, 20 Feb 2017 02:15:17 +0000</pubDate>
		<dc:creator><![CDATA[Yu]]></dc:creator>
				<category><![CDATA[Linear Algebra]]></category>
		<category><![CDATA[basis]]></category>
		<category><![CDATA[change of basis]]></category>
		<category><![CDATA[change of coordinates]]></category>
		<category><![CDATA[characteristic polynomial]]></category>
		<category><![CDATA[eigenvalue]]></category>
		<category><![CDATA[eigenvector]]></category>
		<category><![CDATA[linear algebra]]></category>
		<category><![CDATA[linear recurrence relation]]></category>
		<category><![CDATA[linear transformation]]></category>
		<category><![CDATA[matrix]]></category>
		<category><![CDATA[matrix representation]]></category>
		<category><![CDATA[recurrence relation]]></category>

		<guid isPermaLink="false">https://yutsumura.com/?p=2264</guid>
				<description><![CDATA[<p>Let $V$ be a real vector space of all real sequences \[(a_i)_{i=1}^{\infty}=(a_1, a_2, \dots).\] Let $U$ be the subspace of $V$ consisting of all real sequences that satisfy the linear recurrence relation \[a_{k+2}-5a_{k+1}+3a_{k}=0\] for&#46;&#46;&#46;</p>
<p>The post <a href="https://yutsumura.com/solve-linear-recurrence-relation-using-linear-algebra-eigenvalues-and-eigenvectors/" target="_blank">Solve Linear Recurrence Relation Using Linear Algebra (Eigenvalues and Eigenvectors)</a> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></description>
								<content:encoded><![CDATA[<h2> Problem 310</h2>
<p> Let $V$ be a real vector space of all real sequences<br />
	 \[(a_i)_{i=1}^{\infty}=(a_1, a_2, \dots).\]
	 Let $U$ be the subspace of $V$ consisting of all real sequences that satisfy the linear recurrence relation<br />
	 \[a_{k+2}-5a_{k+1}+3a_{k}=0\]
	  for $k=1, 2, \dots$.<br />
	Let $T$ be the linear transformation from $U$ to $U$ defined by<br />
	\[T\big((a_1, a_2, \dots)\big)=(a_2, a_3, \dots). \]
<p>	Let $B=\{\mathbf{u}_1, \mathbf{u}_2\}$ be a basis of $U$, where<br />
	\begin{align*}<br />
		 \mathbf{u}_1&#038;=(1, 0, -3, -15, -66, \dots)\\<br />
		 \mathbf{u}_2&#038;=(0, 1, 5, 22, 95, \dots).<br />
		 \end{align*}<br />
		 Let $A$ be the matrix representation of the linear transformation $T: U \to U$ with respect to the basis $B$.</p>
<p><strong>(a)</strong> Find the eigenvalues and eigenvectors of $T$.</p>
<p><strong>(b)</strong> Use the result of (a), find a sequence $(a_i)_{i=1}^{\infty}$ satisfying the linear recurrence relation $a_{k+2}-5a_{k+1}+3a_{k}=0$ and the initial condition $a_1=1, a_2=1$.</p>
<p><strong>(c)</strong> Find the formula for the sequences $(a_i)_{i=1}^{\infty}$ satisfying the linear recurrence relation $a_{k+2}-5a_{k+1}+3a_{k}=0$ and express it using $a_1, a_2$.</p>
<p><span id="more-2264"></span><br />

<h2> Related Problems.</h2>
<p>This is the last problem of three problems about a linear recurrence relation and linear algebra. The first two problems are</p>
<ul>
<li>[Problem 1] The basics about the subspace of sequences satisfying a linear recurrence relations. <a href="//yutsumura.com/sequences-satisfying-linear-recurrence-relation-form-a-subspace/" target="_blank">Sequences satisfying linear recurrence relation form a subspace</a></li>
<li>[Problem 2] The problems/solutions of finding a basis and dimension of $U$ and finding a matrix representation of some linear transformation of $U$ to itself are given in the post<br />
<a href="//yutsumura.com/matrix-representation-of-a-linear-transformation-of-subspace-of-sequences-satisfying-recurrence-relation/" target="_blank">Matrix representation of a linear transformation of subspace of sequences satisfying recurrence relation</a>.</li>
</ul>
<p>This is the first problem of three problems about a linear recurrence relation and linear algebra.</p>
<h2> Proof. </h2>
<h3>(a) Find the eigenvalues and eigenvectors of $T$.</h3>
<p>By  <a href="//yutsumura.com/matrix-representation-of-a-linear-transformation-of-subspace-of-sequences-satisfying-recurrence-relation/" target="_blank">problem 2</a>, the matrix representation of the linear transformation $T: U\to U$ with respect to the basis $B=\{\mathbf{u}_1, \mathbf{u}_2\}$ of $U$ is given by<br />
		 	\[A=\begin{bmatrix}<br />
		  0 &#038; 1\\<br />
		  -3&#038; 5<br />
		\end{bmatrix}.\]
		The eigenvalues of $T$ is the same as the eigenvalues of the matrix $A$.<br />
		The characteristic polynomial for $A$ is<br />
		\begin{align*}<br />
	p(t)=\det(A-tI)=\begin{vmatrix}<br />
	  -t &#038; 1\\<br />
	  -3&#038; 5-t<br />
	\end{vmatrix}=t^2-5t+3.<br />
	\end{align*}<br />
	Solving $p(t)=0$, the eigenvalues of $T$ are<br />
	\[t=\frac{5\pm \sqrt{13}}{2}.\]
<hr />
<p>	Let us find an eigenvector corresponding to $t=\frac{5+ \sqrt{13}}{2}$.<br />
	If $(a_i)_{i=1}^{\infty}$ is an eigenvalue, then we have<br />
	\[T\big( (a_i)_{i=1}^{\infty}\big)=\frac{5+ \sqrt{13}}{2} (a_i)_{i=1}^{\infty}.\]
	That is,<br />
	\begin{align*}<br />
	(a_2, a_3, a_4, \dots)=\frac{5+ \sqrt{13}}{2}(a_1, a_2, a_3, \dots).<br />
	\end{align*}<br />
	Thus, the eigenvector satisfies<br />
	\[a_{i+1}=\frac{5+ \sqrt{13}}{2}a_i,\]
	hence it is a geometric progression with initial value $a_1$ and common ratio $\frac{5+ \sqrt{13}}{2}$. Thus, we have<br />
	\[(a_i)_{i=1}^{\infty}=\left( \left(\frac{5+ \sqrt{13}}{2} \right )^{i-1} a_1 \right)_{i=1}^{\infty}\]
	is an eigenvector for any $a_1\in \R$.</p>
<hr />
<p>	Similarly,  we see that the eigenvectors for $t=\frac{5- \sqrt{13}}{2}$ is<br />
		 	\[(a_i)_{i=1}^{\infty}=\left( \left(\frac{5- \sqrt{13}}{2} \right )^{i-1} a_1 \right)_{i=1}^{\infty}\]
		 	for any $a_1\in \R$.<br />
		 	Since $U$ is a $2$-dimensional vector space, these are all the eigenvectors.</p>
<h3>(b) Solve linear recurrence relation $a_{k+2}-5a_{k+1}+3a_{k}=0$ with $a_1=1, a_2=1$.</h3>
<p> By the result of (a), we know that<br />
		 	\[\mathbf{v}_1=\left( \left(\frac{5+ \sqrt{13}}{2} \right )^{i-1} \right)_{i=1}^{\infty}\]
		 	and<br />
		 	\[\mathbf{v}_2=\left( \left(\frac{5- \sqrt{13}}{2} \right )^{i-1}  \right)_{i=1}^{\infty}\]
		 	are eigenvectors of $t=\frac{5\pm \sqrt{13}}{2}$, respectively. (We took the initial value $a_1=1$.)<br />
		 	Thus, the set $B&#8217;=\{\mathbf{v}_1, \mathbf{v}_2\}$ is a basis of $U$.</p>
<hr />
<p>		 	Then any sequence $(a_i)_{i=1}^{\infty} \in U$ can be written as a linear combination of $\mathbf{v}_1, \mathbf{v}_2$. We have<br />
		 	\[(a_i)_{i=1}^{\infty}=c_1\mathbf{v}_1+c_2 \mathbf{v}_2,\]
		 	for some scalars $c_1, c_2$. Comparing the first two terms, we have<br />
		 	\begin{align*}<br />
	1&#038;=a_1=c_1+c_2\\<br />
	1&#038;=a_2=c_1 \left(\frac{5+ \sqrt{13}}{2} \right )+c_2 \left(\frac{5- \sqrt{13}}{2} \right ).<br />
	\end{align*}<br />
	Solving these equations, we obtain<br />
	\[c_1=\frac{13-3\sqrt{13}}{26}, c_2=\frac{13+3\sqrt{13}}{26}.\]
	Therefore, the sequence $(a_i)_{i=1}^{\infty} \in U$ with initial condition $a_1=1, a_2=1$ is<br />
	\begin{align*}<br />
	\frac{13-3\sqrt{13}}{26}\left( \left(\frac{5+ \sqrt{13}}{2} \right )^{i-1} \right)_{i=1}^{\infty}+\frac{13+3\sqrt{13}}{26}\left( \left(\frac{5- \sqrt{13}}{2} \right )^{i-1} \right)_{i=1}^{\infty}<br />
	\end{align*}</p>
<h3>(c) Find the formula for the sequences $(a_i)_{i=1}^{\infty} \in U$. </h3>
<p>Let $(a_i)_{i=1}^{\infty}\in U$. Using the basis vectors in $B=\{\mathbf{u}_1, \mathbf{u}_2\}$, we have<br />
	\[(a_i)_{i=1}^{\infty} = a_1 \mathbf{u}_1+ a_2\mathbf{u}_2.\]
		 	Since $B&#8217;=\{\mathbf{v}_1, \mathbf{v}_2\}$ is also a basis for $U$, we can also write<br />
		 	\[(a_i)_{i=1}^{\infty} = b_1 \mathbf{v}_1+ b_2\mathbf{v}_2\]
		 	for some scalars $b_1, b_2$.</p>
<p>		 	We want to express $b_1, b_2$ in terms of $a_1, a_2$.<br />
		 	To do this, we first express $\mathbf{u}_1$ and $\mathbf{u}_2$ as linear combinations of $\mathbf{v}_1, \mathbf{v}_2$.</p>
<hr />
<p>		 	Let $\mathbf{u}_1=c_1\mathbf{v}_1+c_2\mathbf{v}_2$ for some $c_1, c_2$. We determine $c_1, c_2$.<br />
		 	Comparing the first two terms, we have<br />
		 	\begin{align*}<br />
	1&#038;=c_1+c_2\\<br />
	0&#038;=c_1 \left(\frac{5+ \sqrt{13}}{2} \right )+c_2 \left(\frac{5- \sqrt{13}}{2} \right ).<br />
	\end{align*}<br />
	Solving these equations, we have<br />
	\[c_1=\frac{13-5\sqrt{13}}{26}, c_2=\frac{13+5\sqrt{13}}{26}.\]
	Thus we have obtained the linear combination<br />
	\[\mathbf{u}_1=\frac{13-5\sqrt{13}}{26} \mathbf{v}_1+\frac{13+5\sqrt{13}}{26}\mathbf{v}_2. \tag{*}\]
<hr />
<p>		 	Similarly, if $\mathbf{u}_2=c_1\mathbf{v}_1+c_2\mathbf{v}_2$ for some $c_1, c_2$, then comparing the first two terms we have<br />
		 	\begin{align*}<br />
	0&#038;=c_1+c_2\\<br />
	1&#038;=c_1 \left(\frac{5+ \sqrt{13}}{2} \right )+c_2 \left(\frac{5- \sqrt{13}}{2} \right ).<br />
	\end{align*}<br />
	and this gives<br />
	\[c_1=\frac{\sqrt{13}}{13}, c_2=-\frac{\sqrt{13}}{13}.\]
	Thus we have<br />
	\[\mathbf{u}_2=\frac{\sqrt{13}}{13} \mathbf{v}_1-\frac{\sqrt{13}}{13}\mathbf{v}_2. \tag{**}\]
<hr />
<p>	Using (*), (**), we have<br />
	\begin{align*}<br />
	&#038;(a_i)_{i=1}^{\infty} = a_1 \mathbf{u}_1+ a_2\mathbf{u}_2\\<br />
	&#038;=a_1\left(\frac{13-5\sqrt{13}}{26} \mathbf{v}_1+\frac{13+5\sqrt{13}}{26}\mathbf{v}_2 \right)+a_2\left(\frac{\sqrt{13}}{13} \mathbf{v}_1-\frac{\sqrt{13}}{13}\mathbf{v}_2 \right)\\<br />
	&#038;=\left(\frac{13-5\sqrt{13}}{26}a_1+\frac{\sqrt{13}}{13}a_2\right) \mathbf{v}_1<br />
	+\left( \frac{13+5\sqrt{13}}{26}a_1-\frac{\sqrt{13}}{13}a_2 \right) \mathbf{v}_2.<br />
	\end{align*}<br />
	The coefficients in the last linear combination are the $b_1, b_2$ that we wanted to find.</p>
<hr />
<p>	Therefore, the general formula for $(a_i)_{i=1}^{\infty} \in U$ using $a_1, a_2$ is given by<br />
	\begin{align*}<br />
	&#038;(a_i)_{i=1}^{\infty} = \\<br />
	&#038;=\left(\frac{13-5\sqrt{13}}{26}a_1+\frac{\sqrt{13}}{13}a_2\right) \left( \left(\frac{5+ \sqrt{13}}{2} \right )^{i-1} \right)_{i=1}^{\infty}\\<br />
	&#038;+\left( \frac{13+5\sqrt{13}}{26}a_1-\frac{\sqrt{13}}{13}a_2 \right) \left( \left(\frac{5- \sqrt{13}}{2} \right )^{i-1} \right)_{i=1}^{\infty}.<br />
	\end{align*}</p>
<h4> Remark 1. </h4>
<p>For example, if the initial condition is $a_1=1, a_2=1$, then this formula gives the same formula we obtained in part (b).</p>
<h4> Remark 2. </h4>
<p> Note that we could have solved as follows.<br />
	We had<br />
	\[(a_i)_{i=1}^{\infty} = a_1 \mathbf{u}_1+ a_2\mathbf{u}_2 = b_1 \mathbf{v}_1+ b_2\mathbf{v}_2\]
	and wanted to express $b_1, b_2$ in terms of $a_1, a_2$.<br />
	If $P$ is the change of coordinates matrix from $B&#8217;$ to $B$, we have<br />
	\[\begin{bmatrix}<br />
	  a_1 \\<br />
	  a_2<br />
	\end{bmatrix}_B=P\begin{bmatrix}<br />
	  b_1 \\<br />
	  b_2<br />
	\end{bmatrix}_{B&#8217;},\]
	and<br />
	\[P=\begin{bmatrix}<br />
	  1 &#038; 1\\[6pt]
	   \frac{5+ \sqrt{13}}{2} &#038; \frac{5- \sqrt{13}}{2}<br />
	\end{bmatrix}.\]
	The inverse matix is<br />
	\[P^{-1}=\begin{bmatrix}<br />
	  \frac{13-5 \sqrt{13}}{26} &#038; \frac{\sqrt{13}}{13}\\[6pt]
	  \frac{13+5\sqrt{13}}{26} &#038; -\frac{\sqrt{13}}{13}<br />
	\end{bmatrix}\]
	and thus<br />
	\[\begin{bmatrix}<br />
	  b_1 \\<br />
	  b_2<br />
	\end{bmatrix}=P^{-1}\begin{bmatrix}<br />
	  a_1 \\<br />
	  a_2<br />
	\end{bmatrix},\]
	and we obtain the same $b_1, b_2$ as before.</p>
<button class="simplefavorite-button has-count" data-postid="2264" data-siteid="1" data-groupid="1" data-favoritecount="7" style="">Click here if solved <i class="sf-icon-star-empty"></i><span class="simplefavorite-button-count" style="">7</span></button><p>The post <a href="https://yutsumura.com/solve-linear-recurrence-relation-using-linear-algebra-eigenvalues-and-eigenvectors/" target="_blank">Solve Linear Recurrence Relation Using Linear Algebra (Eigenvalues and Eigenvectors)</a> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></content:encoded>
							<wfw:commentRss>https://yutsumura.com/solve-linear-recurrence-relation-using-linear-algebra-eigenvalues-and-eigenvectors/feed/</wfw:commentRss>
		<slash:comments>3</slash:comments>
						<post-id xmlns="com-wordpress:feed-additions:1">2264</post-id>	</item>
		<item>
		<title>Matrix Representation of a Linear Transformation of Subspace of Sequences Satisfying Recurrence Relation</title>
		<link>https://yutsumura.com/matrix-representation-of-a-linear-transformation-of-subspace-of-sequences-satisfying-recurrence-relation/</link>
				<comments>https://yutsumura.com/matrix-representation-of-a-linear-transformation-of-subspace-of-sequences-satisfying-recurrence-relation/#comments</comments>
				<pubDate>Sat, 18 Feb 2017 18:23:56 +0000</pubDate>
		<dc:creator><![CDATA[Yu]]></dc:creator>
				<category><![CDATA[Linear Algebra]]></category>
		<category><![CDATA[basis]]></category>
		<category><![CDATA[coordinate vector]]></category>
		<category><![CDATA[linear algebra]]></category>
		<category><![CDATA[linear recurrence relation]]></category>
		<category><![CDATA[linear transformation]]></category>
		<category><![CDATA[linearly independent]]></category>
		<category><![CDATA[matrix]]></category>
		<category><![CDATA[matrix for linear transformation]]></category>
		<category><![CDATA[matrix representation]]></category>
		<category><![CDATA[recurrence relation]]></category>
		<category><![CDATA[sequence]]></category>
		<category><![CDATA[spanning set]]></category>
		<category><![CDATA[subspace]]></category>
		<category><![CDATA[vector space]]></category>

		<guid isPermaLink="false">https://yutsumura.com/?p=2260</guid>
				<description><![CDATA[<p>Let $V$ be a real vector space of all real sequences \[(a_i)_{i=1}^{\infty}=(a_1, a_2, \dots).\] Let $U$ be the subspace of $V$ consisting of all real sequences that satisfy the linear recurrence relation $a_{k+2}-5a_{k+1}+3a_{k}=0$ for&#46;&#46;&#46;</p>
<p>The post <a href="https://yutsumura.com/matrix-representation-of-a-linear-transformation-of-subspace-of-sequences-satisfying-recurrence-relation/" target="_blank">Matrix Representation of a Linear Transformation of Subspace of Sequences Satisfying Recurrence Relation</a> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></description>
								<content:encoded><![CDATA[<h2> Problem 309</h2>
<p> Let $V$ be a real vector space of all real sequences<br />
	 \[(a_i)_{i=1}^{\infty}=(a_1, a_2, \dots).\]
	 Let $U$ be the subspace of $V$ consisting of all real sequences that satisfy the linear recurrence relation $a_{k+2}-5a_{k+1}+3a_{k}=0$ for $k=1, 2, \dots$.</p>
<p><strong>(a)</strong> Let<br />
		\begin{align*}<br />
	 \mathbf{u}_1&#038;=(1, 0, -3, -15, -66, \dots)\\<br />
	 \mathbf{u}_2&#038;=(0, 1, 5, 22, 95, \dots)<br />
	 \end{align*}<br />
	 be vectors in $U$. Prove that $\{\mathbf{u}_1, \mathbf{u}_2\}$ is a basis of $U$ and conclude that the dimension of $U$ is $2$.</p>
<hr />
<p><strong>(b)</strong> Let $T$ be a map from $U$ to $U$ defined by<br />
	\[T\big((a_1, a_2, \dots)\big)=(a_2, a_3, \dots). \]
	Verify that the map $T$ actually sends a vector $(a_i)_{i=1}^{\infty}\in V$ to a vector $T\big((a_i)_{i=1}^{\infty}\big)$ in $U$, and show that $T$ is a linear transformation from $U$ to $U$.</p>
<hr />
<p><strong>(c)</strong> With respect to the basis $\{\mathbf{u}_1, \mathbf{u}_2\}$ obtained in (a), find the matrix representation $A$ of the linear transformation $T:U \to U$ from (b).</p>
<p><span id="more-2260"></span><br />

<h2> Proof. </h2>
<p>		 See the post <a href="//yutsumura.com/sequences-satisfying-linear-recurrence-relation-form-a-subspace/" target="_blank">Sequences satisfying linear recurrence relation form a subspace</a> for a proof that $U$ is a subspace of $V$.</p>
<h3>(a) Prove that $\{\mathbf{u}_1, \mathbf{u}_2\}$ is a basis of $U$ and the dimension of $U$ is $2$. </h3>
<p>Let<br />
		 	\[(a_i)_{i=1}^{\infty}=(a_1, a_2, a_3, \dots)\]
		 	be an arbitrary vector in $U$.<br />
		 	If we know the first two terms $a_1, a_2$, the remaining terms are determined by the linear recurrence relation $a_{k+2}-5a_{k+1}+3a_{k}=0$. Thus if the first two terms of two sequences of $U$ are equal, then the sequences are equal.<br />
		 	From this observation, we have<br />
		 	\[(a_i)_{i=1}^{\infty}=a_1\mathbf{u}_1+a_2\mathbf{u}_2.\]
		 	Hence $\{\mathbf{u}_1, \mathbf{u}_2\}$ is a spanning set of $U$.</p>
<hr />
<p>		 	It remains to show that $\{\mathbf{u}_1, \mathbf{u}_2\}$ is a linearly independent set.<br />
		 	Suppose that<br />
		 	\[c_1\mathbf{u}_1+c_2\mathbf{u}_2=\mathbf{0},\]
		 	where $\mathbf{0}$ is the zero sequence.<br />
		 	Then since we have<br />
		 	\begin{align*}<br />
	&#038;(0, 0, 0 \dots) \\<br />
	&#038;= c_1\mathbf{u}_1+c_2\mathbf{u}_2\\<br />
	&#038;=c_1(1, 0, -3, \dots)+c_2(0, 1, 5,   \dots)\\<br />
	&#038;=(c_1, c_2, -3c_1+5c_2, \dots),<br />
	\end{align*}<br />
	we must have $c_1=c_2=0$. Hence $\{\mathbf{u}_1, \mathbf{u}_2\}$ is a linearly independent set, and it is a basis. Therefore the dimension of $U$ is $2$.</p>
<h3>(b) $T$ is a linear transformation from $U$ to $U$.</h3>
<p>Let us write $T\big((a_i)_{i=1}^{\infty}\big)=(b_i)_{i=1}^{\infty}$. Thus $b_i=a_{i+1}$ by definition of $T$. Then we have<br />
		 	\begin{align*}<br />
	b_{k+2}-5b_{k+1}+3b_{k}=a_{k+3}-5a_{k+2}+3a_{k+1}=0<br />
	\end{align*}<br />
	for $k=1, 2, \dots$ since $(a_i)_{i=1}^{\infty}\in U$, hence satisfies the linear recurrence relation.<br />
	Thus the sequence $(b_i)_{i=1}^{\infty}$ also satisfies the recurrence relation, and it is in $U$. Thus $T$ sends a vector in $U$ to a vector in $U$.</p>
<hr />
<p>	Let us prove that $T$ is a linear transformation from $U$ to $U$.<br />
	Let $(a_i)_{i=1}^{\infty}, (b_i)_{i=1}^{\infty}$ be vectors in $U$ and let $r\in \R$ be a scalar.<br />
	Then we have<br />
	\begin{align*}<br />
	&#038;T\big( (a_i)_{i=1}^{\infty}+(b_i)_{i=1}^{\infty}\big) \\<br />
	&#038;=T\big( (a_i+b_i)_{i=1}^{\infty}\big)\\<br />
	&#038;=(a_2+b_2, a_3+b_3, \dots)\\<br />
	&#038;=(a_2, a_3, \dots)+(b_2, b_3, \dots)\\<br />
	&#038;=T\big( (a_i)_{i=1}^{\infty}\big)+T\big( (b_i)_{i=1}^{\infty}\big)<br />
	\end{align*}</p>
<p>	Also we have<br />
	\begin{align*}<br />
	&#038;T\big(c(a_i)_{i=1}^{\infty} \big)\\<br />
	&#038;=T\big((ca_i)_{i=1}^{\infty} \big)\\<br />
	&#038;=(ca_2, ca_3, \dots)\\<br />
	&#038;=c(a_2, a_3, \dots)\\<br />
	&#038;=cT\big((a_i)_{i=1}^{\infty} \big)<br />
	\end{align*}</p>
<p>	 	Therefore $T$ is a linear transformation.</p>
<h3>(c) The matrix representation $A$ of the linear transformation $T$</h3>
<p>We compute the values of the linear transformation of $T$ on basis vectors $\mathbf{u}_1, \mathbf{u}_2$ and express them as a linear combination of $\mathbf{u}_1, \mathbf{u}_2$.<br />
	 	We have<br />
	 	\begin{align*}<br />
	T(\mathbf{u}_1)&#038;=T\big((1, 0, -3, -15, -66, \dots) \big)\\<br />
	&#038;=(0, -3, -15, -66, \dots)\\<br />
	&#038;=-3(0, 1, 5, 22, \dots)\\<br />
	&#038;=0\mathbf{u}_1-3 \mathbf{u}_2.<br />
	\end{align*}<br />
		 and also we have<br />
		 \begin{align*}<br />
	T(\mathbf{u}_2)&#038;=T\big((0, 1, 5, 22, 95, \dots) \big)\\<br />
	&#038;=(1, 5, 22, 95, \dots)\\<br />
	&#038;=(1, 0, -3, -15, \dots)+(0, 5, 25, 110, \dots)\\<br />
	&#038;=\mathbf{u}_1+5\mathbf{u}_2.<br />
	\end{align*}</p>
<p>	 	Therefore the matrix representation of $T$ with respect to the basis $B=\{\mathbf{u}_1, \mathbf{u}_2\}$ is given by<br />
		 	\[A=[[T(\mathbf{u}_1)]_B, [T(\mathbf{u}_2)]_B]=\begin{bmatrix}<br />
	  0 &#038; 1\\<br />
	  -3&#038; 5<br />
	\end{bmatrix}.\]
	Here $[T(\mathbf{u}_1)]_B=\begin{bmatrix}<br />
	  0 \\<br />
	  -3<br />
	\end{bmatrix}$ is the coordinate vector of $T(\mathbf{u}_1)$ with respect to the basis $B$. Similarly for $[T(\mathbf{u}_2)]_B]=\begin{bmatrix}<br />
	  1 \\<br />
	  5<br />
	\end{bmatrix}$.</p>
<p>	Remark. Using the matrix $A$ for the linear transformation $T$, we can write formally<br />
	\[\begin{bmatrix}<br />
	  T(\mathbf{u}_1) &#038; T(\mathbf{u}_2)<br />
	\end{bmatrix}=\begin{bmatrix}<br />
	  \mathbf{u}_1 &#038; \mathbf{u}_2<br />
	\end{bmatrix}<br />
	\begin{bmatrix}<br />
	  0 &#038; 1\\<br />
	  -3&#038; 5<br />
	\end{bmatrix}.\]
<h2> Related Question. </h2>
<p>This is the second problem of three problems about a linear recurrence relation and linear algebra.</p>
<ul>
<li> [Problem 1] The basics about the subspace of sequences satisfying a linear recurrence relations. <a href="//yutsumura.com/sequences-satisfying-linear-recurrence-relation-form-a-subspace/" target="_blank">Sequences satisfying linear recurrence relation form a subspace</a></li>
<li>[Problem 3] Want to know how to find a general formula for a sequence satisfying a linear recurrence relation using linear algebra? Check out the post <a href="//yutsumura.com/solve-linear-recurrence-relation-using-linear-algebra-eigenvalues-and-eigenvectors/" target="_blank">Solve linear recurrence relation using linear algebra (eigenvalues and eigenvectors)</a> </li>
</ul>
<button class="simplefavorite-button has-count" data-postid="2260" data-siteid="1" data-groupid="1" data-favoritecount="6" style="">Click here if solved <i class="sf-icon-star-empty"></i><span class="simplefavorite-button-count" style="">6</span></button><p>The post <a href="https://yutsumura.com/matrix-representation-of-a-linear-transformation-of-subspace-of-sequences-satisfying-recurrence-relation/" target="_blank">Matrix Representation of a Linear Transformation of Subspace of Sequences Satisfying Recurrence Relation</a> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></content:encoded>
							<wfw:commentRss>https://yutsumura.com/matrix-representation-of-a-linear-transformation-of-subspace-of-sequences-satisfying-recurrence-relation/feed/</wfw:commentRss>
		<slash:comments>3</slash:comments>
						<post-id xmlns="com-wordpress:feed-additions:1">2260</post-id>	</item>
		<item>
		<title>Sequences Satisfying Linear Recurrence Relation Form a Subspace</title>
		<link>https://yutsumura.com/sequences-satisfying-linear-recurrence-relation-form-a-subspace/</link>
				<comments>https://yutsumura.com/sequences-satisfying-linear-recurrence-relation-form-a-subspace/#comments</comments>
				<pubDate>Sat, 18 Feb 2017 01:16:02 +0000</pubDate>
		<dc:creator><![CDATA[Yu]]></dc:creator>
				<category><![CDATA[Linear Algebra]]></category>
		<category><![CDATA[linear algebra]]></category>
		<category><![CDATA[linear recurrence relation]]></category>
		<category><![CDATA[recurrence relation]]></category>
		<category><![CDATA[sequence]]></category>
		<category><![CDATA[subspace]]></category>
		<category><![CDATA[subspace criteria]]></category>
		<category><![CDATA[vector space]]></category>

		<guid isPermaLink="false">https://yutsumura.com/?p=2252</guid>
				<description><![CDATA[<p>Let $V$ be a real vector space of all real sequences \[(a_i)_{i=1}^{\infty}=(a_1, a_2, \cdots).\] Let $U$ be the subset of $V$ defined by \[U=\{ (a_i)_{i=1}^{\infty} \in V \mid a_{k+2}-5a_{k+1}+3a_{k}=0, k=1, 2, \dots \}.\] Prove&#46;&#46;&#46;</p>
<p>The post <a href="https://yutsumura.com/sequences-satisfying-linear-recurrence-relation-form-a-subspace/" target="_blank">Sequences Satisfying Linear Recurrence Relation Form a Subspace</a> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></description>
								<content:encoded><![CDATA[<h2> Problem 308</h2>
<p> Let $V$ be a real vector space of all real sequences<br />
	 \[(a_i)_{i=1}^{\infty}=(a_1, a_2, \cdots).\]
	 Let $U$ be the subset of $V$ defined by<br />
	 \[U=\{ (a_i)_{i=1}^{\infty} \in V \mid a_{k+2}-5a_{k+1}+3a_{k}=0, k=1, 2, \dots \}.\]
<p>	Prove that $U$ is a subspace of $V$.</p>
<p>	&nbsp;<br />
<span id="more-2252"></span></p>
<h2> Proof. </h2>
<p>		We prove the subspace criteria.</p>
<div style="padding: 16px; border: none 3px #4169e1; border-radius: 10px; background-color: #f0f8ff; margin-top: 30px; margin-bottom: 30px;">
<strong>Subspace criteria</strong></p>
<ol>
<li>The zero vector in $V$ is in $U$.</li>
<li>For any two elements $(a_i)_{i=1}^{\infty}, (b_i)_{i=1}^{\infty}\in U$, we have $(a_i)_{i=1}^{\infty}+(b_i)_{i=1}^{\infty} \in U$.</li>
<li>For any scalar $c$ and any element $(a_i)_{i=1}^{\infty} \in U$, we have $c(a_i)_{i=1}^{\infty} \in U$.</li>
</ol>
</div>
<hr />
<div style="padding: 16px; border: none 3px #4169e1; border-radius: 10px; background-color: #f0f8ff; margin-top: 30px; margin-bottom: 30px;"><strong>Condition 1</strong>.</div>
<p> The zero vector in $V$ is the zero sequence $(0)=(0,0,0,\dots)$. Clearly, this sequence satisfies the recurrence relation $a_{k+2}-5a_{k+1}+3a_{k}=0$. Thus the zero vector $(0)\in U$, hence condition 1 is met.</p>
<hr />
<div style="padding: 16px; border: none 3px #4169e1; border-radius: 10px; background-color: #f0f8ff; margin-top: 30px; margin-bottom: 30px;"><strong>Condition 2</strong>.</div>
<p> To check condition 2, take $(a_i)_{i=1}^{\infty}, (b_i)_{i=1}^{\infty}\in U$.<br />
	We want to show that the sum<br />
	\[(a_i)_{i=1}^{\infty}+(b_i)_{i=1}^{\infty}=(a_i+b_i)_{i=1}^{\infty}\]
	 is also in $U$.</p>
<hr />
<p>	Since $(a_i)_{i=1}^{\infty}, (b_i)_{i=1}^{\infty}\in U$, these sequences satisfy the recurrence relation<br />
	\[a_{k+2}-5a_{k+1}+3a_{k}=0 \tag{*}\]
	and<br />
	\[b_{k+2}-5b_{k+1}+3b_{k}=0\]
	for $k=1, 2, \dots$.<br />
	Using these two relations, we have<br />
	\begin{align*}<br />
	&#038;(a_{k+2}+b_{k+2})-5(a_{k+1}+b_{k+1})+3(a_{k}+b_k)\\<br />
	&#038;=(a_{k+2}-5a_{k+1}+3a_{k})+(b_{k+2}-5b_{k+1}+3b_{k})\\<br />
	&#038;=0+0=0.<br />
	\end{align*}<br />
	Thus the sum $(a_i)_{i=1}^{\infty}+(b_i)_{i=1}^{\infty}=(a_i+b_i)_{i=1}^{\infty}$ satisfies the recurrence relation and it is also in $U$. Hence condition 2 is met.</p>
<hr />
<div style="padding: 16px; border: none 3px #4169e1; border-radius: 10px; background-color: #f0f8ff; margin-top: 30px; margin-bottom: 30px;"><strong>Condition 3</strong>.</div>
<p> To check condition 3, take $(a_i)_{i=1}^{\infty} \in U$ and let $c\in \R$ be a scalar.<br />
	Then the sequence $(a_i)_{i=1}^{\infty}$ satisfies (*). Multiplying (*) by $c$, we have<br />
	\[(ca_{k+2})-5(ca_{k+1})+3(ca_{k})=0.\]
	This implies that the scalar product $c(a_i)_{i=1}^{\infty}=(ca_i)_{i=1}^{\infty}$ satisfies the recurrence relation, and hence it is in $U$. Thus condition 3 is satisfied.</p>
<p>	We have checked all subspace criteria, and thus $U$ is a subspace of the vector space $V$.</p>
<h2> Related Question. </h2>
<p>This is the first problem of three problems about a linear recurrence relation and linear algebra.</p>
<ul>
<li>[Problem 2] The problems/solutions of finding a basis and dimension of $U$ and finding a matrix representation of some linear transformation of $U$ to itself are given in the post<br />
<a href="//yutsumura.com/matrix-representation-of-a-linear-transformation-of-subspace-of-sequences-satisfying-recurrence-relation/" target="_blank">Matrix representation of a linear transformation of subspace of sequences satisfying recurrence relation</a>.</li>
<li>[Problem 3] Want to know how to find a general formula for a sequence satisfying a linear recurrence relation using linear algebra? Check out the post <a href="//yutsumura.com/solve-linear-recurrence-relation-using-linear-algebra-eigenvalues-and-eigenvectors/" target="_blank">Solve linear recurrence relation using linear algebra (eigenvalues and eigenvectors)</a> </li>
</ul>
<button class="simplefavorite-button has-count" data-postid="2252" data-siteid="1" data-groupid="1" data-favoritecount="14" style="">Click here if solved <i class="sf-icon-star-empty"></i><span class="simplefavorite-button-count" style="">14</span></button><p>The post <a href="https://yutsumura.com/sequences-satisfying-linear-recurrence-relation-form-a-subspace/" target="_blank">Sequences Satisfying Linear Recurrence Relation Form a Subspace</a> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></content:encoded>
							<wfw:commentRss>https://yutsumura.com/sequences-satisfying-linear-recurrence-relation-form-a-subspace/feed/</wfw:commentRss>
		<slash:comments>3</slash:comments>
						<post-id xmlns="com-wordpress:feed-additions:1">2252</post-id>	</item>
	</channel>
</rss>
