Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options answers only not deleted user 1131

Complex analysis, holomorphic functions, automorphic group actions and forms, pseudoconvexity, complex geometry, analytic spaces, analytic sheaves.

4 votes

Finding the residue for a complex function defined using an infinite product

An example is easy. Denote $z=a^{-(s-1)}$ and take the logarithm. Then $$ \log f(z)=\sum_n a_n a^{-n}z^n+\sum_n a_n [\log(1+a^{-n}z^n)-a^{-n}z^n]\,. $$ Assume that $a_na^{-n}=\frac 1n+O(b^{-n})$ wit …
fedja's user avatar
  • 61.9k
4 votes

Schwarz type inequality

Looks like we are closing the question anyway, so I'll just provide a counterexample quickly before the final vote is cast. If you think a bit of what is asked and what the natural freedoms and scal …
fedja's user avatar
  • 61.9k
5 votes
Accepted

Can $-1/a_2$ belong to the range of a schlicht function $z+a_2z^2+\cdots$? Or is $-1/a_2$ ...

It is easy to design a function like $z/(1-az)$ with small $a$ that maps the circle to a nice domain whose closure does not contain $-1/{a_2}$. Now take this domain and grow a blob that contains $-1/{ …
fedja's user avatar
  • 61.9k
5 votes
Accepted

For a holomorphic function $f$, is $|f^{(k)}(0)| \leq \| D_0^k |f| \|$?

It is true for $k=1,2$ but not for $k\ge 3$. Write $f=g^2$ near $0$ and let $g(z)=\sum_{m\ge 0}a_m z^m$. Then $|f|(z)=\overline{g(z)}g(z)$, so we want (up to $k!$ on both sides) that $$ \left|\sum_{ …
fedja's user avatar
  • 61.9k
5 votes
Accepted

The largest disk contained by a 'product' of two simply connected plane regions with unit co...

Let's start with the simple reduction. Notice that $f(\Delta)$ and $g(\Delta)$ are connected open sets containing small disks near the origin, so if one of them is unbounded, $f(\Delta)g(\Delta)=\math …
fedja's user avatar
  • 61.9k
6 votes

Behaviour at natural boundary

There is, indeed, a grain of truth in your conjecture. One possible formalization of it is as follows. Suppose that there is a sequence of analytic in the unit disk $\mathbb D$ functions $f_n$ such th …
fedja's user avatar
  • 61.9k
32 votes
Accepted

Elementary solutions to f(z+1)-f(z)=g(z) in entire functions

It took me some time to find a solution that satisfies both requirements: a) If should be based on the power series expansion b) It should use no tools heavier than contour integration. So, let $g( …
fedja's user avatar
  • 61.9k
12 votes
Accepted

Level set of a harmonic function

It can get arbitrarily ugly. Indeed, approximate $1/z$ by a polynomial $p$ in the domain $K\subset\mathbb D$ whose complement is connected but goes from $0$ to the boundary along a long winding narrow …
fedja's user avatar
  • 61.9k
8 votes
Accepted

Asymptotics of Power Series With Branch Singularities

The answer is "Quite often yes, but the error terms are seldom as good as in the meromorphic case". The reason the asymptotics for the meromorphic functions works is that we know the exact coefficient …
fedja's user avatar
  • 61.9k
3 votes

Simply-connected domain around a curve

First of all, notice that if $D$ is a compact and $\Gamma$ is a compact Jordan curve that starts on the boundary of $D$ but otherwise lies in the infinite component of the open complement of $D$, then …
fedja's user avatar
  • 61.9k
4 votes

Contour integration problem from probability

Now, since you call erfc(1) "a closed form expression", I should confess I do not understand the rules of this game. What's the big difference between $\int_1^\infty e^{-x^2/2} dx$ and the original in …
fedja's user avatar
  • 61.9k
3 votes
Accepted

A domination property for the Hardy space $H^1$

In general it is impossible. We can take the square root, map the circle conformally to the half-plane, and arrive at the following problem: given any nonnegative $f\in L^2(\mu)$ with finite logarithm …
fedja's user avatar
  • 61.9k
1 vote

Minimal modulus over a set in $\mathbb C^d$

OK, here are full details. Hope that I don't say any nonsense. The first observation is that $x\mapsto \frac{x+1}{x-1}$ maps the unit disk $|x|\le 1$ to the left half-plane $z\le 0$. You can see it by …
fedja's user avatar
  • 61.9k
1 vote
Accepted

a counter-example of a holomorphic extension

Take your favorite $C^\infty$ function $F(x)$ on the line that is not analytic and write $F(x)=\sum_{k\ge 1}P_k(x)$ where $P_k$ are polynomials of degree $k$ such that for all $m\ge 0, d>0$, we have $ …
fedja's user avatar
  • 61.9k
7 votes
Accepted

How to prove that $\phi'(z)<0$ for $\theta\in (0,\pi)$?

OK, here is (I hope) a proof. I prefer to consider the integral $\int_{\mathbb D}\left|\frac 1{z-a}+\frac 1{z-\bar a}\right|\,d\mu(z)$ where $a=e^{i\theta}, \theta\in(0,\pi/2)$. This is just a one-par …
fedja's user avatar
  • 61.9k

15 30 50 per page