Integral Brane World: Why $\oint (A'e^A)' dy = 0$ but $\oint e^A dy \neq 0$?

  • Context: Graduate 
  • Thread starter Thread starter alejandrito29
  • Start date Start date
  • Tags Tags
    Integral
Click For Summary

Discussion Overview

The discussion revolves around the integrals involving a function \( A(y) \) and its derivative \( A' \) within the context of brane world scenarios in theoretical physics. Participants explore why the integral \( \oint (A'e^A)' dy = 0 \) holds under certain conditions, while \( \oint e^A dy \neq 0 \) does not, particularly focusing on the implications of the continuity and behavior of \( A' \) at specific points.

Discussion Character

  • Technical explanation
  • Mathematical reasoning
  • Debate/contested

Main Points Raised

  • One participant notes that \( A(y) \) is periodic with \( A(y) = A(y + 2\pi) \) and questions the implications of \( A' \) being discontinuous at points \(-\pi\), \(0\), and \(\pi\).
  • Another participant clarifies that the first integral is a total derivative, leading to the expression \( A'(\pi) e^{A(\pi)} - A'(-\pi) e^{A(-\pi)} \), which could vanish if \( A'(\pi) = A'(-\pi) \), but questions this assumption due to the discontinuity of \( A' \).
  • A further contribution states that while the integral \( \oint (A' e^A) dy \) is a total derivative and vanishes under certain boundary conditions, the integral \( \oint e^A dy \) does not vanish as it is not a total derivative and depends on the specific form of \( A(y) \).
  • One participant defines \( A \) as \( |y| \), providing specific values for \( A' \) in different intervals, indicating that \( A' \) is \( 1 \) for \( y \in (0, \pi) \), \( -1 \) for \( y \in (-\pi, 0) \), and undefined at the boundaries.

Areas of Agreement / Disagreement

Participants express differing views on the behavior of the integrals based on the properties of \( A' \). There is no consensus on the implications of the discontinuity of \( A' \) and its effect on the integrals.

Contextual Notes

Participants highlight the dependence of the integrals on the continuity and specific form of \( A(y) \), indicating that the discussion is limited by the assumptions regarding the behavior of \( A' \) at the boundaries.

alejandrito29
Messages
148
Reaction score
0
if the extra coordinate [tex]y \in [-\pi,\pi][/tex] with [tex]A(y)=A(y+2 \pi)[/tex] and [tex]A'[/tex] is non continuom in [tex]-\pi,0,\pi[/tex]

why

[tex]\oint (A'e^A)' dy =0[/tex] but [tex]\oint e^A dy \neq 0[/tex]?
 
Physics news on Phys.org
What is A?
 
The first integral is a total derivative so

[tex]\oint ( A' e^A)' dy= A'(\pi) e^{A(\pi)} - A'(-\pi) e^{A(-\pi)}[/tex]

which would vanish provided

[tex]A'(\pi) = A'(-\pi)[/tex]

but you seem to imply this may not be the case?

The integral
[tex]\oint A' e^A dy= \oint ( e^A)' dy = e^{A(\pi)} - e^{A(-\pi)} =0[/tex]

is also a total derivative and certainly does vanish due to the boundary conditions.


I see no reason for

[tex]\oint ( e^A) dy[/tex]

to vanish as its not a total derivative so it depends on the explicit form of the function [tex]A(y)[/tex].
 
Finbar said:
The first integral is a total derivative so

[tex]\oint ( A' e^A)' dy= A'(\pi) e^{A(\pi)} - A'(-\pi) e^{A(-\pi)}[/tex]

which would vanish provided

[tex]A'(\pi) = A'(-\pi)[/tex]

but [tex]A'[/tex] is discontinuous in [tex]-\pi,0,\pi[/tex]
 
mitchell porter said:
What is A?
[tex]A=|y|[/tex]
where
[tex]A' = 1 , y \in )0,\pi([/tex]

[tex]A' = -1 , y \in )-\pi,0([/tex]

[tex]A ' = undefined , y =- \pi, 0,\pi[/tex]
 
Last edited:

Similar threads

  • · Replies 7 ·
Replies
7
Views
4K
Replies
3
Views
2K
  • · Replies 19 ·
Replies
19
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
Replies
25
Views
3K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 18 ·
Replies
18
Views
2K