Complex Analysis as Blu in Disguise
Poisson, Cauchy, and Epis emic In a ian s
Aleksanda Pe išić
No embe 2025
Abs ac
The blu me hod is a me a– amewo k o doing ma hema ics unde explici ly limi ed
esolu ion: one chooses a posi i e a e aging ke nel and a budge , and hen insis s ha only
quan i ies s able unde such blu s a e meaning ul a ha budge . In his no e we a gue ha
much o classical complex analysis—Poisson ke nels, Cauchy in eg als, esidues—is al eady
an ins ance o blu in disguise.
The Poisson ke nel on he eal line is a genuine blu : a posi i e, no malized app oxima e
iden i y. I s ha monic ex ension oge he wi h he Cauchy–Riemann equa ions p oduces a
canonical complex unc ion whose eal and imagina y pa s a e a pai o conjuga e blu –
in a ian s o he bounda y da a. The Cauchy ke nel, decomposed in o Poisson and Hilbe
pa s, is he complex analogue o a blu ke nel: con ou in eg als wi h his ke nel collapse
all in e io mic os uc u e down o a ini e lis o in a ian s such as alues, de i a i es, and
esidues.
F om his iewpoin , poles a e no places whe e “complex analysis knows e e y hing”;
hey a e co es o inaccessibili y whose de ailed beha io is delibe a ely blu ed, lea ing behind
only a small numbe o in a ian s ha he heo y chooses o emembe . Complex analysis is
exac abou hese in a ian s, bu i quie ly ea s e e y hing else as epis emic blu .
1 Blu , in one pa ag aph
We b ie ly ecall he blu philosophy in a o m ailo ed o ha monic and complex analysis;
see [3,4] o a mo e gene al discussion.
Ablu ke nel on Ris a amily (kτ)τ>0o nonnega i e unc ions wi h
ZR
kτ(x)dx = 1 and kτ→δ0as τ↓0
in he sense o dis ibu ions. Blu ing a unc ion a scale τmeans o ming he con olu ion
(Bτ )(x) = (kτ∗ )(x) = ZR
kτ(x−u) (u)du.
A quan i y
Q
(
)is blu –in a ian a a gi en budge i we ob ain essen ially he same alue when
is eplaced by Bτ o all admissible scales τin he budge .
Blu is hus a discipline o explici ly sepa a ing wha we decide o know om wha we
ole a e as un esol ed. The key mo e is always he same: choose a blu ; ack quan i ies ha
su i e i unchanged; decla e e e y hing else in isible o he cu en heo y.
2 The Poisson ke nel as a genuine blu
We s a om he mos classical objec : he Poisson ke nel on he uppe hal –plane. I is a
pe ec example o a blu ke nel in he analy ic sense.
1
2.1 Poisson ke nel and ha monic ex ension
Le H={z=x+iy ∈C:y > 0}be he uppe hal –plane. The Poisson ke nel is
Py(x) = 1
π
y
x2+y2, x ∈R, y > 0.
Fo each ixed y > 0, his is a posi i e unc ion on Rwi h
Z∞
−∞
Py(x)dx = 1, Py(x)→δ0as y↓0.
Thus (Py)y>0is an hones blu ke nel on he line, wi h yplaying he ole o esolu ion.
Gi en a bounded (o sui able) unc ion φ:R→R, i s Poisson ex ension
u(x, y) = (Py∗φ)(x) = Z∞
−∞
Py(x− )φ( )d
is ha monic on Hand con e ges non angen ially o φalmos e e ywhe e as y↓0[2].
In blu e ms:
•The bounda y unc ion φis he aw obse able.
•Fo each y > 0,u(·, y)is φblu ed a scale y.
•As ydec eases, he blu adius sh inks, and one eco e s φin he limi .
So he Poisson ex ension is li e ally a blu map om bounda y da a on
R
o ha monic da a
in he hal –plane.
2.2 Ha monic conjuga es and he Hilbe ans o m
I
u
is ha monic on
H
wi h sui able g ow h bounds, he e exis s a ha monic unc ion
(unique
up o an addi i e cons an ) such ha
(z) = u(x, y)+i (x, y)
is holomo phic on
H
and
u,
sa is y he Cauchy–Riemann equa ions [
1
]. As
y↓
0, he imagina y
pa on Hcon e ges (in a sui able sense) o he Hilbe ans o m o φon R:
(Hφ)(x) = 1
πp. . Z∞
−∞
φ( )
x− d .
Thus, s a ing om eal bounda y da a
φ
, he blu /ex ension p ocedu e na u ally p oduces
a complex unc ion
F(z) = u(x, y)+i (x, y),
wi h
ℜF(x) = φ(x),ℑF(x) = (Hφ)(x)
on he bounda y.
F om he blu iewpoin , his is an impo an pa e n:
•The eal pa uis ob ained by a posi i e blu o φwi h he Poisson ke nel.
•
The imagina y pa
is he una oidable conjuga e componen o ced by analy ici y,
econs uc ed om φ ia a singula in eg al blu ( he Hilbe ans o m).
•
Toge he hey o m he minimal complex packaging o wha can be s ably in e ed om
φ
unde he Poisson blu .
In o he wo ds, holomo phic unc ions on
H
a e exac ly wha one ge s by aking eal da a
on he bounda y, blu ing i wi h Poisson, and insis ing ha he esul ex ends analy ically.
The imagina y pa is no an ex a deco a ion; i is he shadow demanded by he blu and he
Cauchy–Riemann equa ions.
2
3 The Cauchy ke nel as complex blu
We now u n o he Cauchy in eg al o mula. I can be ead as a complex e sion o blu :
a con olu ion wi h a ke nel ha e ases almos all in e io de ail, lea ing only a small se o
in a ian s.
3.1 Cauchy in eg al as bounda y blu
Le
be holomo phic in a domain con aining a simple closed con ou
γ
and i s in e io . Cauchy’s
in eg al o mula says
(z0) = 1
2πi Iγ
(z)
z−z0
dz, z0inside γ.
This has exac ly he s uc u e o a blu :
•The ke nel
Kz0(z) = 1
z−z0
is a complex ke nel on he bounda y.
•I is no malized in he sense ha
1
2πi Iγ
1
z−z0
dz = 1.
•
The alue
(
z0
)is ead o by in eg a ing
agains his ke nel along
γ
; he in e io o
γ
is
ne e di ec ly inspec ed.
This is s ongly eminiscen o a blu ope a o (
B
)(
x0
) =
Rk
(
x0−x
)
(
x
)
dx
wi h
k
posi i e
and
Rk
= 1. The di e ence is ha
Kz0
is complex– alued and suppo ed on a cu e ins ead o on
he ull line, bu he logic is he same: a e age agains a ke nel and igno e in e io mic os uc u e,
us ing ha he in a ian s you ca e abou a e p ese ed.
3.2 Poisson and Hilbe hiding inside Cauchy
On he uppe hal –plane i is con enien o use he Cauchy ans o m
F(z) = 1
πi Z∞
−∞
φ( )
−zd , z =x+iy ∈H.
W i e he ke nel explici ly:
1
−z=1
( −x)−iy =( −x) + iy
( −x)2+y2,
so ha 1
πi
1
−z=1
π
y
( −x)2+y2−i
π
−x
( −x)2+y2.
The eal pa o his ke nel is exac ly he Poisson ke nel
Py(x− ) = 1
π
y
(x− )2+y2,
and he imagina y pa is (up o sign) he conjuga e Poisson ke nel ha gene a es he Hilbe
ans o m. Consequen ly,
ℜF(x+iy) = Z∞
−∞
Py(x− )φ( )d = (Py∗φ)(x),
3
while
ℑF(x+iy)=−1
πZ∞
−∞
−x
( −x)2+y2φ( )d ,
which con e ges (as
y↓
0) o he Hilbe ans o m
Hφ
(
x
)(up o he usual cons an /sign
con en ion).
Thus, o his s anda d no maliza ion o he Cauchy ans o m:
•
he Poisson ke nel appea s in he eal pa o he Cauchy ke nel and p oduces he genuine
blu (ha monic ex ension);
•
he Hilbe ke nel appea s in he imagina y pa and p oduces he conjuga e componen
o ced by analy ici y.
Complex Cauchy in eg a ion is he e o e p ecisely a combina ion o a posi i e blu (Poisson)
and i s conjuga e (Hilbe ) packaged in o a single complex ke nel.
3.3 Con ou de o ma ion as blu –in a iance
A hallma k o Cauchy heo y is ha con ou in eg als o holomo phic unc ions a e in a ian
unde smoo h de o ma ions o he con ou ha do no c oss singula i ies:
Iγ1
(z)dz =Iγ2
(z)dz
whene e γ1and γ2a e homo opic in a domain whe e is holomo phic.
This is a geome ic o m o blu –in a iance: we can wiggle he con ou wi hin a gi en class,
and he obse able
H
does no change. Only opological da a (which singula i ies a e enclosed)
ma e . E e y hing else— he p ecise shape o he pa h, he de ailed beha io o
be ween
singula i ies—is blu ed away.
4 Singula i ies as blu co es
F om he blu pe spec i e, singula i ies a e no places whe e complex analysis “blows up” in an
unin e es ing way; hey a e co es o inaccessibili y whose de ailed mic os uc u e is in en ionally
igno ed once a small numbe o in a ian s has been ex ac ed.
4.1 Isola ed singula i ies and Lau en expansions
Suppose
has an isola ed singula i y a
a
and is holomo phic on 0
<|z−a|<
. I s Lau en
expansion eads
(z) =
∞
X
k=−m
ak(z−a)k.
Fo each in ege n≥0we ha e he coe icien ex ac ion o mula
an=1
2πi I|z−a|=ε
(z)
(z−a)n+1 dz,
and o n=−1 he esidue:
Res( , a) = a−1=1
2πi I|z−a|=ε
(z)dz.
In p inciple, i we a e willing o a y he ke nel (
z−a
)
−n−1
we can eco e all coe icien s
an
, bo h posi i e and nega i e. Bu many o he cen al esul s in complex analysis use only a
iny ac ion o his in o ma ion:
4
•The esidue heo em depends only on a−1a each pole.
•The a gumen p inciple coun s ze os and poles using only H ′(z)/ (z)dz.
•
La ge pa s o he heo y ea all poles o a gi en o de as belonging o one ca ego y,
ega dless o he p ecise highe coe icien s.
F om a blu s andpoin :
•
A pole is a egion whe e he unc ion can “a i e” in in ini ely many di e en ways (in ini ely
many possible p incipal pa s).
•
The con ou in eg al wi h ke nel 1( o esidues) o ke nels ailo ed o a ew de i a i es
sees only one o a ew Lau en coe icien s.
•
All singula ge ms wi h he same ex ac ed coe icien s a e indis inguishable o hose
obse ables; hei emaining s uc u e is epis emic blu ela i e o his heo y.
Complex analysis is comple ely exac abou he in a ian s i chooses o ack ( esidues,
o de s o poles, e c.), bu i implici ly decla es ha no u he local da a nea a singula i y will
be used and he e o e allows all such da a o be blu ed away.
4.2 Essen ial singula i ies as maximal epis emic andomness
A an essen ial singula i y, Pica d’s heo em says ha
akes almos all complex alues a bi a ily
close o he singula i y. The e is no ini e in a ian like “o de o pole” ha summa izes he
beha io ; he local image is as wild as analy ici y allows.
Fo blu his is a canonical example o maximal epis emic andomness:
•
Gi en only con ou in eg als and esidues, he e is no compac summa y o he beha io
nea an essen ial poin .
•
The bes he heo y can do is o asse ha “e e y hing no o bidden by global cons ain s
happens” a bi a ily close o ha poin .
The esidue calculus quie ly accep s ha no meaning ul blu –in a ian beyond his ough
s a emen exis s a essen ial singula i ies. They a e genuine black boxes o Cauchy– ype
obse ables.
4.3 Gauss– ype laws and ini e in a ian s
The esidue heo em Iγ
(z)dz = 2πi X
ak∈in (γ)
Res( , ak)
has he same s uc u e as Gauss’s di e gence heo em in ec o calculus:
ZZ∂Ω
E·d
S=( o al cha ge in Ω).
In bo h cases:
•The in e io can be a bi a ily complica ed.
•
A bounda y in eg al is comple ely de e mined by a ini e lis o in a ian s (cha ges o
esidues).
5
•E e y hing else is in isible o ha class o obse ables and may be ea ed as blu .
Complex analysis di e s in ha analy ici y makes his mechanism as onishingly igid:
knowing he bounda y alues on a cu e can de e mine he unc ion e e ywhe e inside. Bu
he p inciple is he same: we commi o a small se o in a ian s and happily collapse all o he
deg ees o eedom in o epis emic blu .
5 Complex numbe s as a blu en elope
The cons uc ions abo e sugges a concep ual eading o complex numbe s hemsel es as he
minimal blu en elope o e he eal line.
5.1 F om eal da a o analy ic unc ions
S a ing om a eal unc ion
φ
on
R
, he Poisson blu and he Cauchy–Riemann equa ions
p oduce a complex unc ion
F(z) = u(x, y)+i (x, y)
on
H
whose eal pa ex ends
φ
and whose imagina y pa is o ced by blu and analy ici y ( ia
he Hilbe ans o m).
Thus:
•The eal axis ca ies he o iginal obse able φ.
•
The uppe hal –plane
H
ca ies all holomo phic unc ions whose bounda y eal pa ma ches
φalmos e e ywhe e.
•
Each such ge m
F
packages wo blu –in a ian s o
φ
: i s Poisson blu and i s Hilbe –
conjuga e blu .
Complex numbe s appea he e as he coo dina es o he smalles space in which hese wo
pieces can be s o ed a once. The ope a ion “pass om
φ
o
F
” is a canonical blu –based
complexi ica ion.
5.2 Analy ic signals and posi i e equencies
In signal p ocessing one o en passes om a eal signal o i s analy ic signal
a(x)= (x) + i(H )(x),
whe e
H
is he Hilbe ans o m. The Fou ie ans o m o
a
has suppo only on nonnega i e
equencies [2]: c
a(ξ)=2b
(ξ) (ξ > 0),c
a(ξ) = 0 (ξ < 0).
In e p e ed h ough blu :
•We s a wi h a eal obse able .
•We blu /p ojec he Fou ie da a on o posi i e equencies.
•
The p ice o his di ec ional blu is ha we mus keep he conjuga e componen
H
in he
imagina y pa o econs uc .
•
The analy ic signal
a
is he minimal complex objec ha e ains all in o ma ion compa ible
wi h his blu choice.
Again, complex numbe s se e as a wo–coo dina e con aine o an obse able and i s
blu –conjuga e, s anding in exac ly he same ela ionship as (u, )in he Poisson pic u e.
6
5.3 Complex analysis as exac blu calculus
Seen om his angle, classical complex analysis can be summa ized as ollows:
•Choose blu ke nels (Poisson and Cauchy) adap ed o he geome y o he plane.
•
Res ic a en ion o he ex emely igid class o holomo phic unc ions, o which blu
and analy ici y in e ac pe ec ly.
•
Use con ou in eg als wi h hese ke nels o ead o a small se o in a ian s ( alues,
de i a i es, esidues) and delibe a ely ea e e y hing else as i ele an .
The heo y is exac and de e minis ic abou hese in a ian s, bu i is no omniscien abou
he unc ions hemsel es. I simply chooses a s ong blu scheme ha collapses in ini ely many
local deg ees o eedom in o a ini e lis o blu –in a ian s and hen builds an exac calculus on
op o ha lis .
6 Conclusion
F om he blu pe spec i e, complex analysis is no a sepa a e wo ld bu a pa icula ly success ul
specializa ion o he same unde lying philosophy:
•
The Poisson ke nel is a genuine blu : posi i e, no malized, and o ming an app oxima e
iden i y. I s ha monic ex ension is p ecisely a blu ed e sion o bounda y da a, wi h he
blu adius gi en by he heigh yin he hal –plane.
•
The Hilbe ans o m and ha monic conjuga ion add he ine i able shadow componen de-
manded by analy ici y; oge he wi h Poisson hey package bounda y da a in o holomo phic
unc ions.
•
The Cauchy ke nel is a complex blu ke nel: in eg a ing agains i collapses he in e io o a
con ou o a single alue o a small amily o coe icien s, igno ing all u he mic os uc u e.
•
Poles and esidues a e p o o ypes o blu co es and blu –in a ian s: in ini ely many dis inc
local beha io s nea a singula i y collapse o he same esidue o he pu poses o he
heo y. Essen ial singula i ies a e poin s whe e no such compac in a ian exis s, and he
local beha io is maximally blu ed.
•
Con ou de o ma ion in a iance is he geome ic exp ession o blu –in a iance: any wo
con ou s enclosing he same singula i ies yield he same obse ables, ega dless o inne
de ails.
In his ligh , complex analysis appea s as an “exac blu calculus”: i chooses ex emely igid
objec s (holomo phic unc ions) and ex emely s uc u ed blu ke nels (Poisson and Cauchy),
and hen eads o exac ly hose in a ian s ha su i e unde he allowed blu s. The epis emic
s ep—accep ing ha e e y hing else is blu —is p esen , bu adi ionally le unnamed. The
blu amewo k simply makes ha s ep explici and shows ha he Poisson and Cauchy ools
we al eady use a e blu mechanisms in disguise.
Re e ences
[1] L. V. Ahl o s, Complex Analysis, 3 d ed., McG aw–Hill, 1979.
[2]
E. M. S ein and R. Shaka chi, Fou ie Analysis: An In oduc ion, P ince on Uni e si y
P ess, 2003.
7
[3] A. Pe išić, Basics o Blu as a Me hod, p ep in , 2025.
[4] A. Pe išić, Epis emological Blu , p ep in , 2025.
8
