Skip to main content
Became Hot Network Question
added 80 characters in body
Source Link
Lwins
  • 1.6k
  • 10
  • 22

It is well known that if $f(z)$ and $g(z)$ are both holomorphic on a (path-)connected open set $C$ and $\lvert f(z)\rvert=\lvert g(z)\rvert$ on $C$ then $f(z)=cg(z)$ on $C$ for some constant $c$. Do we have a robust version of this theorem like the following?

Suppose for simplicity $C$ is the unit disk and $\operatorname{dist}$ is some distance measure such as L2-distance. If $\operatorname{dist}_C(\lvert f\rvert,\lvert g\rvert)$$d=\operatorname{dist}_C(\lvert f\rvert,\lvert g\rvert)$ is small then $\operatorname{dist}_{C}(f,cg)$$d'=\operatorname{dist}_{C}(f,cg)$ is also small for some $c$.

Update. Furthermore, are we able to upper bound $d'$ by $d^{O(1)}$?

Any relevant information will be greatly appreciated!

It is well known that if $f(z)$ and $g(z)$ are both holomorphic on a (path-)connected open set $C$ and $\lvert f(z)\rvert=\lvert g(z)\rvert$ on $C$ then $f(z)=cg(z)$ on $C$ for some constant $c$. Do we have a robust version of this theorem like the following?

Suppose for simplicity $C$ is the unit disk and $\operatorname{dist}$ is some distance measure such as L2-distance. If $\operatorname{dist}_C(\lvert f\rvert,\lvert g\rvert)$ is small then $\operatorname{dist}_{C}(f,cg)$ is also small for some $c$.

Any relevant information will be greatly appreciated!

It is well known that if $f(z)$ and $g(z)$ are both holomorphic on a (path-)connected open set $C$ and $\lvert f(z)\rvert=\lvert g(z)\rvert$ on $C$ then $f(z)=cg(z)$ on $C$ for some constant $c$. Do we have a robust version of this theorem like the following?

Suppose for simplicity $C$ is the unit disk and $\operatorname{dist}$ is some distance measure such as L2-distance. If $d=\operatorname{dist}_C(\lvert f\rvert,\lvert g\rvert)$ is small then $d'=\operatorname{dist}_{C}(f,cg)$ is also small for some $c$.

Update. Furthermore, are we able to upper bound $d'$ by $d^{O(1)}$?

Any relevant information will be greatly appreciated!

TeX
Source Link
LSpice
  • 12.9k
  • 4
  • 45
  • 69

It is well known that if $f(z)$ and $g(z)$ are both holomorphic on a (path-)connected open set $C$ and $|f(z)|=|g(z)|$$\lvert f(z)\rvert=\lvert g(z)\rvert$ on $C$ then $f(z)$=$cg(z)$$f(z)=cg(z)$ on $C$ for some constant $c$. Do we have a robust version of this theorem like the following?

Suppose for simplicity $C$ is the unit disk and ${\rm dist}$$\operatorname{dist}$ is some distance measure such as L2-distance. If ${\rm dist}_C(|f|,|g|)$$\operatorname{dist}_C(\lvert f\rvert,\lvert g\rvert)$ is small then ${\rm dist}_{C}(f,cg)$$\operatorname{dist}_{C}(f,cg)$ is also small for some $c$.

Any relevant information will be greatly appreciated!

It is well known that if $f(z)$ and $g(z)$ are both holomorphic on a (path-)connected open set $C$ and $|f(z)|=|g(z)|$ on $C$ then $f(z)$=$cg(z)$ on $C$ for some constant $c$. Do we have a robust version of this theorem like the following?

Suppose for simplicity $C$ is the unit disk and ${\rm dist}$ is some distance measure such as L2-distance. If ${\rm dist}_C(|f|,|g|)$ is small then ${\rm dist}_{C}(f,cg)$ is also small for some $c$.

Any relevant information will be greatly appreciated!

It is well known that if $f(z)$ and $g(z)$ are both holomorphic on a (path-)connected open set $C$ and $\lvert f(z)\rvert=\lvert g(z)\rvert$ on $C$ then $f(z)=cg(z)$ on $C$ for some constant $c$. Do we have a robust version of this theorem like the following?

Suppose for simplicity $C$ is the unit disk and $\operatorname{dist}$ is some distance measure such as L2-distance. If $\operatorname{dist}_C(\lvert f\rvert,\lvert g\rvert)$ is small then $\operatorname{dist}_{C}(f,cg)$ is also small for some $c$.

Any relevant information will be greatly appreciated!

Source Link
Lwins
  • 1.6k
  • 10
  • 22

A robust version of "a holomorphic function is determined by its modulus"

It is well known that if $f(z)$ and $g(z)$ are both holomorphic on a (path-)connected open set $C$ and $|f(z)|=|g(z)|$ on $C$ then $f(z)$=$cg(z)$ on $C$ for some constant $c$. Do we have a robust version of this theorem like the following?

Suppose for simplicity $C$ is the unit disk and ${\rm dist}$ is some distance measure such as L2-distance. If ${\rm dist}_C(|f|,|g|)$ is small then ${\rm dist}_{C}(f,cg)$ is also small for some $c$.

Any relevant information will be greatly appreciated!