# Linear ODE but Quotient Spaces

## What does this blog do

We are treating linear ODE problems as an example of quotient space in this blog post. You are assumed to be able to solve linear ODEs without theoretical problems, and have some basic understanding of normal subgroups.

## General theories

### Quotient Space

Let $X$ be a vector space, and $N$ a subspace of it. Naturally $N$ is normal in $X$ since $X$ is abelian. Define

for $x \in X$, then the collection of sets $\{\pi(x):x \in X\}$ is the quotient space of $X$ modulo $N$, in which case we write $X/N$. Addition and scalar multiplication are defined by

This is well-defined since $N$ is a vector space. The kernel of $\pi$ or the origin of $X/N$ has to be $N=0+N$. People call $\pi$ the canonical map.

### Linear ODE

If one solves a linear ODE problem of order $n$ on an interval $(a,b)$, namely

where $\mathbf{A}$ is a constant matrix, they will find that the solution can be

where $\mathbf{c}$ is a given constant vector and $\mathbf{\Phi}(x)=\begin{bmatrix}\mathbf{\varphi_1},\mathbf{\varphi_2},\cdots,\mathbf{\varphi_n}\end{bmatrix}$ and $\{\mathbf{\varphi_i}\}$ are the fundamental solutions of $\frac{d\mathbf{y}}{dx}=\mathbf{Ay}$. We’ll translate this into the language of quotient space. We have to show that the solutions of the equation forms an element of $X/N$.

## Steps to quotient space

So where is the $X$? It suffices to pick $\mathcal{C}^n$, the space of all functions $\mathbf{y}=(y_1,y_2,\cdots,y_n)^T$ such that $y_k$ is $n$-time differentiable. The crux therefore becomes finding $N$. And we’ll show that it’s denoted by $\mathbf{\Phi}(x)\mathbf{c}$.

### The solutions of $\frac{d\mathbf{y}}{dx}=\mathbf{Ay}$ form a vector space

Indeed, it’s trivially verified since $\frac{d}{dx}$ and matrix multiplication are linear. The question is, how does this vector space look like? Why the fundamental solutions to this equation has and only has $n$ elements? Does that mean this space (denoted by $N$), has dimension $n$? Fortunately, the following isomorphism answers this question in the affirmative.

Theorem The vector space $N$ is isomorphic to $\mathbb{R}^n$

Pick and fix $x_0 \in (a,b)$. Picard’s existence and uniqueness theorem ensures that, the initial value problem

has a unique solution. Therefore we have a bijection

It suffices to prove that $H$ is linear. Namely, we need to show that

which is trivial, since

### Quotient space and coset are there

Let’s see this solution again

For $\mathbf{c}=(c_1,c_2,\cdots,c_n)^T$, we have

Notice that $\{\mathbf{\varphi_k}\}$ is a basis of $N$ and there we have it. $\mathbf{c}$ can be any element of $\mathbb{R}^n$, hence $\mathbf{\Phi}(x)\mathbf{c}$ goes through all elements of $N$. Also we know, the function

is a special solution to $\frac{d\mathbf{y}}{dx}=\mathbf{Ay}+\mathbf{f}$. Thus we have the coset

to be the set of all solutions where $\pi(\mathbf{z}) \in X/N$.

Desvl

2020-05-17

2023-07-08
{"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "url": "https://desvl.xyz/2020/05/17/linear-ode-but-quotient-space/", "fetch_time": 1701788788000000000, "content_mime_type": "text/html", "warc_filename": "crawl-data/CC-MAIN-2023-50/segments/1700679100551.2/warc/CC-MAIN-20231205140836-20231205170836-00192.warc.gz", "warc_record_offset": 247522521, "warc_record_length": 7084, "token_count": 877, "char_count": 2960, "score": 4.34375, "int_score": 4, "crawl": "CC-MAIN-2023-50", "snapshot_type": "latest", "language": "en", "language_score": 0.863749086856842, "file_path": "/sailhome/yjruan/project/latent-lm/data/processed/finemath-4plus/finemath-4plus/train-00015-of-00064.parquet"}