Questions tagged [maximum-principle]

For questions about the use of maximum principle, either in the context of partial differential equations or complex analysis.

In the context of partial differential equations, the maximum principle states that

If $f$ is harmonic, then $f$ cannot attain a local maximum without being constant. That is, if $D$ is a connected open subset of $\mathbb{R}^n$ and there exists $x_0 \in D$ with $$|f(x)| \ge |f(x_0)|$$ for every $x$ in a neighborhood of $x_0$, then $f$ is identically a constant function.

In complex analysis, the maximum principle (usually called the maximum modulus principle) states an analogous result:

If $f$ is holomorphic, then $|f|$ cannot attain a local maximum without being constant. That is, if $D$ is a connected open subset of $\mathbb{C}$ and there exists $z_0 \in D$ with $$|f(z)| \ge |f(z_0)|$$ for every $z$ in a neighborhood of $z_0$, then $f$ is identically a constant function.

References: Maximum principle (PDE), maximum modulus principle.

652 questions
15
votes
3 answers

Intuition Behind Maximum Principle (Complex Analysis)

Let $D$ be an open set in the complex plane and $f(z)$ be a non-constant holomorphic function on D. Then $|f(z)|$ has no local maximum on D. I can follow the proof fine - usually if I don't understand a theorem intuitively beforehand, the proof will…
10
votes
1 answer

Maximum Modulus Exercise

Using the maximum modulus theorem in complex analysis, what is a good technique for finding the maximum of $|f(z)|$ on $|z|\le 1$, when $f(z)=z^2-3z+2$? Got some really nice answers below, so I thought I'd share an image showing some contours of…
David
  • 2,322
9
votes
3 answers

Prove that $|f|\leq 1$ whenever $|x|\leq 1$.

Let $f :\mathbb{R}^2\rightarrow \mathbb{R}^2 $ be everywhere differentiable such that the Jacobian is not singular at any point in $\mathbb{R}^2$. Assume $|f|\leq 1$ whenever $|x|=1$. Prove that $|f|\leq 1$ whenever $|x|\leq 1$. I think this is…
8
votes
1 answer

Maximum principle for harmonic functions on unbounded domain

I am learning PDE by myself now. I am considering converted the problem to bounded domain to use the strong maximum principle. My attempt: Using the $\lim u(x)=0$, then exists $\epsilon$ and $N$, such that if $x>N$, $|u(x)|<\epsilon$. Now consider…
8
votes
1 answer

Non-linear elliptic PDE uniqueness of solution

I want to show that the following PDE has at most one solution \begin{equation} -\Delta u +c(u)=f \text{ in } \Omega \end{equation} \begin{equation} u=0 \text{ on } \partial\Omega \end{equation} where $\Omega\subset\mathbb{R}^n$ is open and bounded…
8
votes
3 answers

Determine complex polynomial

Problem Let $P(z) = z^n + a_{n−1}z^{n−1} + \cdots + a_1z + a_0$ be a polynomial of degree $n > 0$. Show that if $\lvert P(z) \lvert \le 1$ whenever $\lvert z \rvert = 1$ then $P(z) = z^n$. I have tried to see $\dfrac{P(z)}{z^n}$, but nothing…
Yimin
  • 3,697
  • 21
  • 34
8
votes
2 answers

Maximum value of a complex polynomial on the unit disk

The polynomial is $p(z)=\sum^n_{k=0} a_kz^k$. And I want to prove the following inequality on the unit disk$$\max_{B_1(0)}|p(z)|\geq |a_n|+|a_0|$$ By the maximum modulus principle, the maximum must be on the unit circle and greater than $|a_0|$ by…
8
votes
7 answers

If $|f| \le |g|$, does analytic continuation of $g$ imply analytic continuation of $f$?

Let $f,g$ be two holomorphic functions on a domain $D$ such that $|f(z)| \le |g(z)|$ for all $z \in D$. Further suppose that there is an analytic continuation of $g$ to a bigger domain $D'$. Does that imply that there will be an analytic…
8
votes
1 answer

Weak maximum principle

We say that the uniformly elliptic operator $$Lu\ =\ -\sum_{i,j=1}^na^{ij}u_{x_ix_j}\ +\ \sum_{i=1}^nb^iu_{x_i}\ +\ cu$$ satisfies the weak maximum principle if for all $u\in C^2(U)\cap C(\bar{U})$ $$\left\{\begin{array}{rl} Lu \leq 0 &…
Cookie
  • 13,952
7
votes
1 answer

Entire + periodic in imaginary direction + bounded on the real line implies constant?

I was reading some slides from a lecture. In a proof, there arose the need to show a certain function $f : \mathbb{C} \to \mathbb{C}$ was constant. The argument proceeded by checking that $f$ was entire $f(z+i) = f(z)$ for all $z$ $f$ was bounded…
Mike F
  • 23,118
7
votes
1 answer

Unexpected hanging paradox maxmin strategies

I have a question about strategies of the players of Unexpected hanging paradox (I am very sorry for a long topic, topic exist already for a while, during this time I try to develop idea how to solve the problem, recently I decided to seek solution…
6
votes
1 answer

sequence uniformly convergent on the boundary of a bounded set in $\mathbb{C}$

Let $(f_n)$ be a sequence of functions which are analytic on a bounded region $A\subset\mathbb{C}$ and continuous on the closure $Cl(A)$. Suppose that the sequence is uniformly convergent on the boundary $Bd(A)$. Prove that $(f_n)$ is uniformly…
6
votes
2 answers

Proof of Maximum Principle for Harmonic Functions

A harmonic function is one which solves Laplace's Equation $\Delta u=0$. The maximum principle states that over some domain $D$, $u$ achieves a maximum and minimum on $\partial D$, and nowhere inside $D$. I am struggling to understand the proof of…
6
votes
1 answer

what do holomorphic functions 'look like'? Please provide references.

Question 1: What do holomorphic functions 'look like'? Not really sure what is meant by this, but I heard this was asked this in an interview for graduate school admissions. What I have in mind is that A. holomorphic functions are conformal,…
6
votes
1 answer

Showing Green's function on a Riemann surface can be pulled back

I want to prove the following: Let $R,S$ be two Riemann surfaces, and suppose Green's function $g_S$ exists for $S$. Let $f: R \to S$ be a nonconstant analytic function. Prove that Green's function $g_R$ exists for $R$, and $g_R(p,q) \leq…
1
2 3
43 44