Singularity of power dissipation in fractal AC circuits Patricia - - PowerPoint PPT Presentation

singularity of power dissipation in fractal ac circuits
SMART_READER_LITE
LIVE PREVIEW

Singularity of power dissipation in fractal AC circuits Patricia - - PowerPoint PPT Presentation

Singularity of power dissipation in fractal AC circuits Patricia Alonso Ruiz University of Connecticut June 18, 2017 Passive linear networks. Resistors Ohms law x V xy = I xy R xy . R xy G Kirchoffs voltage law y V xy = v ( x ) v


slide-1
SLIDE 1

Singularity of power dissipation in fractal AC circuits

Patricia Alonso Ruiz University of Connecticut

June 18, 2017

slide-2
SLIDE 2

Passive linear networks. Resistors

G x Rxy y Ohm’s law Vxy = IxyRxy. Kirchoff’s voltage law Vxy = v(x) − v(y), (v(x), v(y)) ∈ R2 potential function.

slide-3
SLIDE 3

Passive linear networks. Inductors and capacitors

Time-dependent voltage V (t) and current I(t) functions. Inductor L Capacitor C V (t) = L d dt I(t). I(t) = C d dt V (t).

slide-4
SLIDE 4

Frequency domain. Impedances

Fourier transform:

  • V (ω) =

1 2π ∞

−∞

v(t)e−iωtdt. a Inductor:

  • V (ω) = iωL

I(ω) =: ZL I(ω), Capacitor:

  • V (ω) =

1 iωC

  • I(ω) =: ZC

I(ω), Resistor:

  • V (ω) = R

I(ω) =: ZR I(ω).

slide-5
SLIDE 5

Ohm’s law revisited

G x Zxy y Ohm’s law (complex-valued) Vxy(ω) = Ixy(ω)Zxy(ω). Kirchoff’s voltage law Vxy(ω) = v(ω, x) − v(ω, y), (v(ω, x), v(ω, y)) ∈ C2 potential function.

slide-6
SLIDE 6

Electromotive force

From now on: frequency ω is fixed, ϕ phase shift. Vxy(t) = |Vxy|eiωt, Ixy(t) = |Ixy|ei(ωt−ϕ), Zxy = |Zxy|eiϕ. Electromotive force emfxy(t) = Ixy(t)Zxy = |Ixy||Zxy|eiωt,

slide-7
SLIDE 7

Power dissipation

Average energy loss 1 T T ℜ(emfxy(t))ℜ(Ixy(t)) dt = · · · = 1 2|Ixy|2ℜ(Zxy). Power dissipation of the potential (v(x), v(y)) ∈ C P[v]Zxy = 1 2 ℜ(Zxy) |Zxy|2 |v(x) − v(y)|2.

slide-8
SLIDE 8

Power dissipation in graphs

Let G = (V , E) be a finite graph, Z = {Zxy, {x, y} ∈ E} a network on G and ℓ(V ) = {v : V → C}. The quadratic form PZ[v] = 1 2

  • {x,y}∈E

ℜ(Zxy) |Zxy|2 |v(x) − v(y)|2 is the power dissipation in G associated with the network Z.

◮ If Zx,y, Ixy, v real, PZ(v) = 1

2

  • {x,y}∈E

1 Zxy (v(x) − v(y))2.

slide-9
SLIDE 9

Power dissipation in an infinite network. The infinite ladder

Feynman’s infinite ladder network [4] y ZL x ZC If ω2LC < 4, the characteristic impedance of the circuit satisfies ℜ(Z eff

xy ) > 0

even though all elements in the circuit have purely imaginary impedances!

slide-10
SLIDE 10

The Feynman-Sierpinski ladder

Infinite network ZFS = {Zxy, {x, y} ∈ E∞}. Capacitors ZC =

1 iωC , inductors ZL = iωL.

slide-11
SLIDE 11

Theorem [2]: The effective impedance of the Feynman-Sierpinski ladder has positive real part whenever 9(4 − √ 15) < 2ω2LC < 9(4 + √ 15) (FC) (filter condition).

In this case, Z eff

FS =

1 10ωC

  • (9 + 2ω2LC)i +
  • 144ω2LC − 4(ω2LC)2 − 81
  • .
slide-12
SLIDE 12

From infinite graphs to fractals

Underlying infinite graph structure G∞ approximated by finite graphs Gn = (Vn, En), n ≥ 0. G0 G1 G2 G3 G0

· · ·

◮ π: G∞ → R2 ◮ π(G0) ⊆ π1(G1) ⊆ . . . ⊆ πn(Gn) ⊆ . . .

slide-13
SLIDE 13

The fractal Q∞

The unique compact set Q∞ ⊆ R2 such that Q∞ =

  • n≥0

π(Gn)

Eucl

is a fractal quantum graph.

slide-14
SLIDE 14

The fractal K∞

The set K∞ = Q∞ \

  • n≥0

˚ π(En) is the union of countable many isolated points (nodes in V∗) and a Cantor dust C∞ (accumulation points).

slide-15
SLIDE 15

Observations/consequences

◮ Identify Vn with π(Vn), ◮ V∗ = n≥1 Vn is dense in K∞, ◮ K∞ is compact in the Euclidean topology.

slide-16
SLIDE 16

Networks on Gn

slide-17
SLIDE 17

Networks on Gn

Zε,n = {Zε,xy | {x, y} ∈ En}, Zε,xy = Zxy + ε. Z eff

ε

Z eff

ε

Z eff

ε

Zε,0 Zε,1 Zε,2

(For completeness, Z eff

ε

:= lim

n→∞ Z eff ε,n.)

slide-18
SLIDE 18

Theorem [2]: Under (FC), the network Zε,n approximates the Sierpinski ladder Z in the sense that lim

ε→0+ lim n→∞ Z eff ε,n = Z eff FS,

where Z eff

ε,n is the effective impedance of Zε,n. ◮ Up to now, assume that (FC) holds.

slide-19
SLIDE 19

Towards power dissipation in K∞

The power dissipation in V∗ associated with the Feynman- Sierpinski ladder is the quadratic form PFS[v] := lim

ε→0+ lim n→∞ PZε,n[v|Vn],

where PZε,n : ℓ(Vn) → R is the power dissipation in Gn associated with Zε,n.

slide-20
SLIDE 20

dom PFS := {v ∈ ℓ(V∗) | PFS[v] < ∞}

◮ meaningful functions in this set? ◮ extension of functions?

slide-21
SLIDE 21

Harmonic functions

◮ A function h ∈ ℓ(V∗) is harmonic if for any ε > 0

PZε,0[h|V0] = PZε,n[h|Vn] for all n ≥ 0.

◮ Notation: HFS(V∗) := {h ∈ ℓ(V∗) harmonic}. ◮ For any h ∈ HFS(V∗)

PFS[h] = lim

ε→0+ PZε,n[h|Vn].

slide-22
SLIDE 22

Harmonic extension rule

Theorem [2]: For any h ∈ HFS(V∗), j = 1, 2, 3, h|Gj (V0) = Ajh|V0 , where

A1 = 1 9ZC + 5Z eff

FS

      3ZC + 5Z eff

FS

3ZC 3ZC 3ZC + 2Z eff

FS

3ZC + 2Z eff

FS

3ZC + Z eff

FS

3ZC + 2Z eff

FS

3ZC + Z eff

FS

3ZC + 2Z eff

FS

      A2 = 1 9ZC + 5Z eff

FS

      3ZC + 2Z eff

FS

3ZC + 2Z eff

FS

3ZC + Z eff

FS

3ZC 3ZC + 5Z eff

FS

3ZC 3ZC + Z eff

FS

3ZC + 2Z eff

FS

3ZC + 2Z eff

FS

      A3 = 1 9ZC + 5Z eff

FS

      3ZC + 2Z eff

FS

3ZC + Z eff

FS

ZC + 2Z eff

FS

3ZC + Z eff

FS

3ZC + 2Z eff

FS

3ZC + 2Z eff

FS

3ZC 3ZC 3ZC + 5Z eff

FS

      .

slide-23
SLIDE 23

Observations

◮ A1, A2, A3 have the same eigenvalues

λ1 = 1, λ2 = 3Z eff

FS

9ZC + 5Z eff

FS

, λ3 = 1 3λ2,

◮ span{u1} = {constant harmonic functions}, ◮ |λ3| < |λ2| < 1. Otherwise, PFS[h] = PZ0[Ajh|V0] (power

dissipation concentrates in one single cell, a contradiction).

slide-24
SLIDE 24

Continuity of harmonic functions

Theorem (A.R.’17): Harmonic functions are continuous on V∗.

slide-25
SLIDE 25

Harmonic extension and power dissipation

Lemma: There exists r ∈ (0, 1) such that PZ0[Ajh0] ≤ r2 PZ0[h0] ∀ j = 1, 2, 3 and any non-constant function h0 ∈ ℓ(V0).

slide-26
SLIDE 26

Consequences

◮ Harmonic functions are well-defined on K∞,

HFS(K∞) = {h: K∞ → C | h|V∗ harmonic on V∗}.

◮ Well-defined power dissipation in K∞,

PFS[h] = PFS[h|V∗], h ∈ HFS(K∞).

slide-27
SLIDE 27

Power dissipation measure

Theorem (A.R.’17): For each non-constant h ∈ HFS(K∞), power dissipation induces a continuous measure νh on K∞ with supp νh = C∞. Define νh(Tw) := lim

ε→0+ lim n→∞

  • x,y∈Tw∩Vn

{x,y}∈En

PZε,n[h]xy for each m-cell Tw.

slide-28
SLIDE 28

Oscillations

Corollary: For any m-cell Tw, νh(Tw) ≍ osc(h|Tw )2.

slide-29
SLIDE 29

Self-similar measure on K∞

Bernouilli measure µ on K∞: µ(Tw1...wn) = µw1 · · · µwn,

3

  • i=1

µi = 1.

◮ supp µ = C∞, ◮ (C∞, µ) is probability space, ◮ take µ1 = µ2 = µ3 = 1 3.

slide-30
SLIDE 30

Singularity of power dissipation

Theorem (A.R.’17): Assume that for any non-constant h ∈ HFS(K∞) such that h|V0 = v0 x → DP0Mn(x) . . . M1(x)v0 is non-constant for some n ≥ 1. Then, the measure νh is singular with respect to µ.

slide-31
SLIDE 31

Summary

◮ Power dissipation on an infinite (fractal) AC network ◮ harmonic potentials are continuous ◮ (non-atomic) power dissipation measure ◮ singularity of power dissipation measure

slide-32
SLIDE 32

References

  • P. Alonso Ruiz, Power dissipation in fractal Feynman-Sierpinski ac circuits,

(2017), arXiv:1701.08039.

  • L. Anderson, U. Andrews, A. Brzoska, J. P. Chen, A. Coffey, H. Davis,
  • L. Fisher, M. Hansalik, S. Loew, L. G. Rogers, and A. Teplyaev, Power

dissipation in fractal AC circuits, Journal of Physics A (2017), accepted.

  • O. Ben-Bassat, R. S. Strichartz, and A. Teplyaev, What is not in the domain
  • f the Laplacian on Sierpinski gasket type fractals, J. Funct. Anal. 166 (1999),
  • no. 2, 197–217.
  • R. P. Feynman, R. B. Leighton, and M. Sands, The Feynman lectures on
  • physics. Vol. 2: Mainly electromagnetism and matter, Addison-Wesley

Publishing Co., Inc., Reading, Mass.-London, 1964.

Thank you for your attention!