In a proof of Picard's theorem using the contraction mapping theorem, we define an operator $T$ which is applied to a function $y$. I don't really see below how $Ty$ is any different from $y$ as the RHS for both are the same. Could someone please explain how they are different?
2025-01-13 05:34:18.1736746458
Contraction operator
624 Views Asked by goodcow https://math.techqa.club/user/goodcow/detail At
1
There are 1 best solutions below
Related Questions in ORDINARY-DIFFERENTIAL-EQUATIONS
- General solution to a system of differential equations
- ODE existence of specific solutions
- How to Integrate the Differential Equation for the Pendulum Problem
- Question about phase portrait and invariant subspaces
- Help in Solving a linear Partial differential equation
- Elimination of quantifiers in the strucure of polynomials and in the structure of exponentials
- Verifying general solution to differential equation
- Integrating $ \frac{\mathrm{d}^{2}v}{\mathrm{d}y^{2}} = \frac{\mathrm{d}p}{\mathrm{d}x} $
- Solving differential equation and obtain expressions for unknowns?
- For what value of $k$ is $2e^{4x}-5e^{10x}$ a solution to $y''-ky'+40y=0$?
Related Questions in METRIC-SPACES
- Closed / open set in $\ell^\infty$ metric space.
- Showing that a subset of the complex plane is open.
- Uniform and Compact Open Topology on spaces of maps from $\mathbb{R} \rightarrow \mathbb{R}$
- Prove $|X+Y| \le |X| + |Y|$
- Continuity of $f^{-1}$
- Metric on $\mathbb R^2$ in which each sphere $B((x,y),r)$ is an equilateral triangle
- Counterexample to show that the interior of union may be larger than the union of interiors
- Distance of a matrix from the orthogonal group
- Completion of a metric space $\mathbb{R}$ with a special metric
- How to Separate two Separate sets?
Related Questions in OPERATOR-THEORY
- Trace Class: Relativeness
- Given an operator $ * $ and it's inverse $ \setminus $ when does $ x \setminus y = x * \left( 0 \setminus y \right) $?
- Existence of operator with certain properties on a Banach space
- Why is $\sqrt{T^*T}$ self-adjoint?
- A restriction of a symmetric operator such that the range of (operator)+i is the same
- Definition of "Extension" of Bounded Linear Transformation
- Operator norm of positive operator.
- Resolvent set/operator
- Finite measure operator norm
- For what operators $A$ on a Hilbert space is the identity operator in the closure of the similarity orbit of $A$?
Related Questions in INTEGRAL-OPERATORS
- Contraction operator
- Frechet Derivatives of a nonlinear integral operator
- Solving 2nd order linear ODE with integral transformation
- Maximization of a convolution
- About the spectral radius of an integral operator
- Regarding integral operators being contractions
- Eigenfunctions of integral operator
- Intuition behind: Integral operator as generalization of matrix multiplication
- Integral operator is bounded on $L^p$ if it maps $L^p$ to itself
- Eigenvalue of Integral Operator and Gamma Function
Trending Questions
- Induction on the number of equations
- How to convince a math teacher of this simple and obvious fact?
- Refuting the Anti-Cantor Cranks
- Find $E[XY|Y+Z=1 ]$
- Determine the adjoint of $\tilde Q(x)$ for $\tilde Q(x)u:=(Qu)(x)$ where $Q:U→L^2(Ω,ℝ^d$ is a Hilbert-Schmidt operator and $U$ is a Hilbert space
- Why does this innovative method of subtraction from a third grader always work?
- What are the Implications of having VΩ as a model for a theory?
- How do we know that the number $1$ is not equal to the number $-1$?
- Defining a Galois Field based on primitive element versus polynomial?
- Is computer science a branch of mathematics?
- Can't find the relationship between two columns of numbers. Please Help
- Is there a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?
- Identification of a quadrilateral as a trapezoid, rectangle, or square
- A community project: prove (or disprove) that $\sum_{n\geq 1}\frac{\sin(2^n)}{n}$ is convergent
- Alternative way of expressing a quantied statement with "Some"
Popular # Hahtags
real-analysis
calculus
linear-algebra
probability
abstract-algebra
integration
sequences-and-series
combinatorics
general-topology
matrices
functional-analysis
complex-analysis
geometry
group-theory
algebra-precalculus
probability-theory
ordinary-differential-equations
limits
analysis
number-theory
measure-theory
elementary-number-theory
statistics
multivariable-calculus
functions
derivatives
discrete-mathematics
differential-geometry
inequality
trigonometry
Popular Questions
- How many squares actually ARE in this picture? Is this a trick question with no right answer?
- What is the difference between independent and mutually exclusive events?
- Visually stunning math concepts which are easy to explain
- taylor series of $\ln(1+x)$?
- Determine if vectors are linearly independent
- What does it mean to have a determinant equal to zero?
- How to find mean and median from histogram
- Difference between "≈", "≃", and "≅"
- Easy way of memorizing values of sine, cosine, and tangent
- How to calculate the intersection of two planes?
- What does "∈" mean?
- If you roll a fair six sided die twice, what's the probability that you get the same number both times?
- Probability of getting exactly 2 heads in 3 coins tossed with order not important?
- Fourier transform for dummies
- Limit of $(1+ x/n)^n$ when $n$ tends to infinity
Perhaps the author wrote it in a slightly confusing way. The first equation
$$y(x) = b + \int_{a}^{x}f(s,y(s))ds$$ is true of the solution $y(x)$ to the differential equation $$\frac{d}{dx}y(x) = f(x,y(x))$$ with initial condition $y(a) = b$. I would think of 1.21 as an equation that is true when the variable $y$ takes on the value "solution to the differential equation with initial condition y(a) = b".
Then the author defines the Picard operator $T$, which takes functions to functions. It might be a little more clear to use a variable other than $y$, for example
$$(Tg)(x) := b + \int_{a}^{x}f(s,g(s))ds$$
I used the $:=$ notation to indicate that here the function $T$ is being defined. The solution $y(x)$ to the differential equation will satisfy $Ty = y$ (in the sense that $(Ty)(x) = y(x)$ for all $x$ in the given time interval), but other functions will not.
For example you can work out for yourself what is the value of $Tg$ when $a=0$, $b=1$ and $f(s,z) = -z $ (This corresponds to the differential equation $\dot{y} = -y$ with initial condition $y(0)=1$). Try the function $g(x) = 0$ or $g(x) = x$. You will see that $Tg \neq g$ in both cases. (the true solution is $y(x) = e^{-x}$)