Intereting Posts

How to find all positive integer solutions of a Diophantine equation?
Why did we define the concept of continuity originally, and why it is defined the way it is?
What is $(26+15(3)^{1/2})^{1/3}+(26-15(3)^{1/2})^{1/3}$?
Con(PA) implies consistency of $\mathsf{PA}$ + ¬Con($\mathsf{PA}$)
Taking powers of a triangular matrix?
Finding the values of $n$ for which $\mathbb{F}_{5^{n}}$, the finite field with $5^{n}$ elements, contains a non-trivial $93$rd root of unity
If $x\mapsto \| x\|^2$ is uniformly continuous on $E$, the union of all open balls of radius $r$ contained in $E$ is bounded $\forall r > 0$
What is the new probability density function by generating a random number by taking the reciprocal of a uniformly random number between 0 and 1?
The center of $A_n$ is trivial for $n \geq 4$
$x^2 +y^2 + z^2$ is irreducible in $\mathbb C $
How to tile a sphere with points at an even density?
Is there anything special about this matrix?
$f(x^2) = xf(x)$ implies that $ f(x) = mx$?
Topology without tears
A month for Olympiad-level geometry.

I am learning about solving p.d.e.s by the method of characteristics at the moment. I was given an “algorithm” to solve these problems but I want to know also what is going on, how it works and what it is doing intuitively/physically/graphically. It would be great if someone could either explain it or provide a good link To reference material. Thank you.

- Why is the absence of zero divisors not sufficient for a field of fractions to exist?
- High-level linear algebra book
- The Picard-Brauer short exact sequence
- Is there any abstract theory of electrical networks?
- Connections of Geometric Group Theory with other areas of mathematics.
- Cesaro summable implies Abel summable
- A good introductory discrete mathematics book.
- Alternative definition of covering spaces.
- Software to draw links or knots
- Modern approaches to mathematical notation

The basic idea is that we look for parametric curves along which the PDE tells us how the function changes. Suppose you have a smooth parametric curve in the $x-y$ plane: $x = X(t)$, $y = Y(t)$. Consider how a smooth function $u(x,y)$ changes as you move along the curve. The chain rule says $$\frac{du}{dt} = \frac{\partial u}{\partial x} \frac{dX}{dt} + \frac{\partial u}{\partial y} \frac{dY}{dt}$$ Now this looks rather like the left side of a first-order PDE $$a(x,y) \frac{\partial u}{\partial x} + b(x,y) \frac{\partial u}{\partial y} = c(x,y)$$ In fact, if you

can find $X(t)$ and $Y(t)$ such that $\frac{dX}{dt} = a(X(t),Y(t))$ and $\frac{dY}{dt} = b(X(t),Y(t))$, this tells you that along that curve $\frac{du}{dt} = c(X(t), Y(t))$, so that if you know $u(X(0), Y(0))$ you can get $$u(X(s),Y(s)) = u(X(0), Y(0)) + \int_0^s c(X(t),Y(t))\ dt$$

Now, for any point $(x_1, y_1)$ in the plane, suppose you want to find $u(x_1, y_1)$, where $u(x,y)$ satisfies the PDE $a(x,y) \frac{\partial u}{\partial x} + b(x,y) \frac{\partial u}{\partial y} = c(x,y)$ plus some boundary condition. Then you want to find a curve $x = X(t)$, $y = Y(t)$ satisfying the system of ordinary differential equations $\frac{dX}{dt} = a(X(t),Y(t))$ and $\frac{dY}{dt} = b(X(t),Y(t))$ that passes through the given point $(x_1, y_1)$, follow that curve to some $(x_0, y_0)$ where your boundary condition tells you the value of $u$, and then you can get $u(x_1, y_1)$ by an integral as above.

This is an intuitive take which is intended to be as simple as possible.

Let’s say you’re measuring some system for two variables $x$ and $t$, and you discover that you can describe the system by $u_t+a(x,t)u_x=0$.

Okay, but what if $x$ and $t$ just superficially look like independent variables, but in fact $x$ is a function of $t$?

If it were so, then $$\frac{d}{dt}u(x(t),t)=u_t+x'(t)u_x$$ which means that if we can find a function $x(t)$ with the property that $x'(t)=a(x,t)$, then $u(x(t),t)$ would have the property that $$\frac{d}{dt}u(x(t),t)=u_t+a(x,t)u_x$$ which is exactly the type of function we are looking for.

So if it really is the case that our measured variable $x$ actually is a function of the underlying variable $t$, we only need to find a function $x(t)$ such that $x'(t)=a(x(t),t)$ with $x(0)=x_0$ and solve the much easier ODE $$\frac{d}{dt}u(x(t),t)=0$$ and then $u(x(t),t)$ satisfies the PDE we started with.

Usually these problems come with some boundary conditions like $u(x,0)=\phi(x)$, so we solve our easy ODE: $$u(x(t),t)=C$$

If we set $C=\phi(x_0)$ we see that $u(x(t),t)=u(x(0),0)=u(x_0,0)=\phi(x_0)$ (indeed, $u$ is constant wrt $t$)

So $$u(x(t),t)=\phi(x_0)$$

is a solution to the PDE provided we can find an $x(t)$ such that $x'(t)=a(x(t),t)$ with $x(0)=x_0$, which we can. When you find $x(t)$, you can solve it for $x_0$ and substitute so you get a solution function consisting of $x$’s and $t$’s, which you can then differentiate to check that it satisfies the PDE.

- Finding $\lim\limits_{n \to \infty} \sum\limits_{k=0}^n { n \choose k}^{-1}$
- What is the definition of $dx$
- Taylor series of mandelbrot bulb boundaries
- Uncountable union of multiples of measurable sets.
- Prove that $p^j q^i$ cannot be a perfect number for $p, q$ odd, distinct primes.
- A space curve is planar if and only if its torsion is everywhere 0
- Generalized Case: Three Consecutive Binomial Coefficients in AP
- Toss a fair die until the cumulative sum is a perfect square-Expected Value
- If $a+b+c=3$, find the greatest value of $a^2b^3c^2$.
- What exactly are pseudovectors and pseudoscalars? And where could I read about them?
- Rubik Cube finite non-abelian group
- How to derive the proximal operator of the Euclidian norm?
- Transforming solvable equations to the de Moivre analogues
- Confusion in proof of theorem ($2.7$) in Rudin's Real and complex analysis
- Uniform convergence of infinite series