Math 2.0

Difference and functional equations Definition

Hyers–Ulam stability

Builds on Metric spaceFunctional equation

Definition

Let XX be a nonempty set, let k≥1k \ge 1, and let (Y,d)(Y, d) be a metric space. Let ℱ\mathcal{F} be a set of maps X→YX \to Y, and let E1,E2E_1, E_2 assign to each f∈ℱf \in \mathcal{F} a map Xk→YX^k \to Y. Consider the functional equation E1(f)(u)=E2(f)(u)E_1(f)(u) = E_2(f)(u) for all u∈Xku \in X^k. The equation is Hyers–Ulam stable in ℱ\mathcal{F} if there is a constant K>0K > 0 such that the following holds for every δ≥0\delta \ge 0. If f∈ℱf \in \mathcal{F} satisfies d(E1(f)(u),E2(f)(u))≤δd(E_1(f)(u), E_2(f)(u)) \le \delta for all u∈Xku \in X^k, then there is a solution g∈ℱg \in \mathcal{F} of the equation with d(f(x),g(x))≤Kδd(f(x), g(x)) \le K \delta for all x∈Xx \in X.

Remarks

Example: the Cauchy equation f(x+y)=f(x)+f(y)f(x + y) = f(x) + f(y) for maps from a normed space to a Banach space is Hyers–Ulam stable with K=1K = 1; here k=2k = 2, E1(f)(x,y)=f(x+y)E_1(f)(x, y) = f(x + y) and E2(f)(x,y)=f(x)+f(y)E_2(f)(x, y) = f(x) + f(y). Non-example: the periodicity equation f(x+1)=f(x)f(x + 1) = f(x) for maps ℝ→ℝ\R \to \R is not stable. For δ>0\delta > 0 the map f(x)=δxf(x) = \delta x satisfies ∣f(x+1)−f(x)∣=δ\abs{f(x + 1) - f(x)} = \delta. If gg is 11-periodic, then f(x+n)−g(x+n)=f(x)−g(x)+nδf(x + n) - g(x + n) = f(x) - g(x) + n\delta for every integer nn, so f−gf - g is unbounded and no KK works. Some authors use a weaker form: for every ε>0\varepsilon > 0 there is δ>0\delta > 0 such that a δ\delta-approximate solution lies within ε\varepsilon of a solution. In the Hyers–Ulam–Rassias form, the constant bound δ\delta is replaced by a control function such as θ(∥x∥p+∥y∥p)\theta(\norm{x}^p + \norm{y}^p).

Reading path

To understand this page from the ground up, read these 3 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Functional equation concept
  2. Metric space concept
  3. Hyers–Ulam stability definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Hyers%E2%80%93Ulam%E2%80%93Rassias_stability
About this page
TagGSVBM4F91E
URIm2://GSVBM4F91E
Kinddefinition
WritingW0 stub
MSC39B82
DefinesHyers–Ulam stability
UsesMetric space, Functional equation

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.