DO NOT USE THIS TAG just because your question involves math! If your question is on simplification of a mathematical expression, please ask it at math.stackexchange.com. Mathematical physics is the mathematically rigorous study of the foundations of physics, and the application of advanced ...

learn more… | top users | synonyms

4
votes
3answers
296 views

Finite or ∞ set of masses & ∃ gravity center?

Any finite & non empty set of masses has a computable center of gravity: $\vec{OG} = \frac{\sum_i m_i \vec{OM}_i}{\sum_i m_i}$ . Does the contrapositive permits to conclude that a mass system ...
4
votes
2answers
300 views

Combinatorial sum in a problem with a Fermi gas

I'm solving a problem involving a Fermi gas. There is a specific sum I cannot figure my way around. A set of equidistant levels, indexed by $m=0,1,2 \ldots$, is populated by spinless fermions with ...
4
votes
4answers
1k views

How to interpret the continuity conditions in the PDEs (for example, Maxwell equations) originated in physics?

I am currently working on PDEs in physics, mostly Maxwell equations. I am a mathematics graduate student, and this question has been haunting me for years. In PDE theory, or more specifically the ...
4
votes
0answers
454 views

Mathematics and Physics prerequisites for mirror symmetry [closed]

I am a physics undergrad interested in Mathematical Physics. I am more interested in the mathematical side of things, and interested to solve problems in mathematics using Physics. My current ...
4
votes
1answer
85 views

Lack of Maslov index in the path integral formalism

Introduction Consider Feynman's famous path integral formula \begin{equation} K(x_a,x_b) = \int \mathcal{D}[x(t)] \exp \left[ \frac{i}{\hbar} \int_{t_a}^{t_b} dt \, \mathcal{L}(x(t),\dot{x}(t),t) \...
3
votes
0answers
86 views

Divergence calculation of a lie algebra valued quantity having spinor indices

I am reading this paper by E. Weinberg - Fundamental monopoles and multimonopole solutions for arbitrary simple gauge groups. I am having a problem with a calculation. I don't have much experience ...
3
votes
1answer
239 views

Can operators be argument of Dirac Delta function

In one part of Marc Bee's book on Quasielastic Neutron Scattering, he defines the pair correlation function $$ G(\textbf r,t) = \frac{1}{(2\pi)^3}\int I(\textbf Q,t)\text e^{-i\textbf Q.\textbf r}\ d^...
2
votes
2answers
289 views

Separability of a Hilbert space and its implications for the formalism of QM

In the text I'm using for QM, one of the properties listed for Hilbert space that is a mystery to me is the property that it is separable. Quoted from text (N. Zettili: Quantum Mechanics: Concepts and ...
2
votes
1answer
114 views

What is the most general definition of a coordinate system?

What is the most general definition of a coordinate system? Specificly: given a suitably general metric space $(\mathcal S, s)$ consisting of a set $\mathcal S$ of elements (for instance: a set ...
2
votes
1answer
92 views

Diagonal part of the configuration space of two indistinguishable quantum particles

Why is the configuration space of two indistinguishable particles given by $\frac{M^n-\Delta}{S_n}$? My question is about the $\Delta$. (Notation: $M$ is the configuration space of 1 particle. $M^n$ ...
2
votes
2answers
309 views

Is there a physical intuition for diamagnetic inequality?

Diamagnetic inequality implies, quantum mechanically, for a charged particle without intrinsic magnetic moment(or to say ignoring spin-magnetic field interaction) in some potential $V(\vec{x})$, when ...
2
votes
1answer
152 views

electrostatic potential, analytic properties

An electrostatic potential associated with some delocalized charge $\int \rho(\mathbf{r}) d{\mathbf{r}}$ is given by: $$v_H(\mathbf{r}) = \int \frac{\rho(\mathbf{r'})}{|\mathbf{r}-\mathbf{r'}|}d\...
1
vote
1answer
121 views

The Euler-Poincare equation

Can anyone tell me very basically how the Euler-Poincare equation generalises the Euler-Lagrange equation? Further does anyone know if there is an "easy" relationship between the two, i.e. can anyone ...
1
vote
1answer
82 views

What is the relation between renormalization and self-adjoint extension?

What is the relation between renormalization and self-adjoint extension? It seems that a renormalization scheme can be rigorously treated mathematically using the self-adjoint extension theory. Is ...
1
vote
2answers
237 views

Good Fiber Bundles and Differential Geometry references for Physicists

I'm a student of Physics and I have interest on the theory of Fiber Bundles because of the applications they have in Physics (gauge theory for example). What are good books to learn the theory of ...
1
vote
2answers
383 views

How much physics a mathematician needs to know to study GR? [duplicate]

I'm intending to study General Relativity on my own. The thing is, my physics background is not very strong. I know classical mechanics and I know some electromagnetism. I'm familiar with Gauss' law, ...
1
vote
0answers
72 views

What's the probability distribution of a deterministic signal or how to marginalize dynamical systems?

In many signal processing calculations, the (prior) probability distribution of the theoretical signal (not the signal + noise) is required. In random signal theory, this distribution is typically a ...
1
vote
1answer
77 views

When and where to check the formal definition of a manifold

In most texts on GR we are first introduced to a formal and rigorous definition of a manifold. We then learn the point that in GR "any coordinate system" might be used for the 4D spacetime metric. ...
0
votes
0answers
75 views

Do all the spacelike curve terminate at the spatial infinity $i_0$ in the Penrose Diagram of a Schwarzchild black hole?

Let's restrict to the radial direction, so the metric can be expressed as $ds^2=-(1-r_S/r)dt^2+(1-r_S/r)^{-1}dr^2$ with $r_S$ the Schwarzchild radius. Expressed in Kruskal coordinates, the metric is ...
7
votes
1answer
157 views

Are there cases in which we should consider tensors as equivalence classes?

Usually in texts about Physics that uses tensors defines them as multilinear maps. So if $V$ is a vector space over the field $F$, a tensor is a multilinear mapping: $$T:V\times\cdots\times V\times V^...
6
votes
0answers
303 views

1-form formulation of quantized electromagnetism

In a perpetual round of reformulations, I've put quantized electromagnetism into a 1-form notation. I'm looking for references that do anything similar, both to avoid reinventing the wheel and perhaps ...
5
votes
1answer
215 views

How do aspherical gravitational monopoles look like?

I was recently pointed by laboussoleestmonpays to a beautiful paper from some time ago, Aspherical gravitational monopoles. Alain Connes, Thibault Damour and Pierre Fayet. Nucl. Phys. B 490 no. 1-...
4
votes
1answer
246 views

What are type system examples of local gauge transformation- and field strength-like objects?

This is essentially a follow up motivated by this answer to my question about the gauge transformation interpretation of identity types. A field $$\psi:\mathcal M\to\mathbb C^n$$ is a section of the ...
4
votes
2answers
413 views

Higher order covariant Lagrangian

I'm in search of examples of Lagrangian, which are at least second order in the derivatives and are covariant, preferable for field theories. Up to now I could only find first-order (such at Klein-...
4
votes
1answer
615 views

What are Grassmann (even/odd) numbers used in superalgebras?

Are Grassmann numbers a concept of graded Lie algebras or is something specific to superalgebras? What are they (i.e: how are they defined, important properties, etc.)? Is there a reasonable ...
3
votes
3answers
189 views

Statistical Mechanics - Distribution of Energies

Consider a state space $\mathbb{X}$. The probability density function under a canonical ensemble is given by the Boltzmann distribution $$\pi_{\mathbb{X}}(x)=\frac{e^{-\beta E(x)}}{\mathbb{Z}(\beta)}$...
3
votes
0answers
299 views

Derivation of the Lippmann-Schwinger equation

I was trying to understand the derivation of the Lippmann-Schwinger equation in Sakurai's Modern Quantum Mechanics, Section 6.1. Our teacher presented a much simpler derivation, similar to that on ...
3
votes
1answer
105 views

Differential Realizations of certain algebras

I'm a first year graduate student in Mathematical Physics, and I am trying to generalise a certain method involving the so-called "Differential realizations" of certain algebras. The problem I'm ...
3
votes
2answers
340 views

Extension to continuous in proofs of rigid body mechanics

I'm studying rigid body mechanics and I've seen several proofs of properties related to total angular momentum, kinetic energy, etc. that all regard discrete set of points. For example, to show that ...
3
votes
1answer
110 views

When can an autonomous system be written using a Hamiltonian?

If I have an autonomous series of differential equations $$\tag{1} \frac{dx_i}{dt} ~=~ A_i(x_1,...,x_n)$$ with the condition that $$\tag{2} \sum_{i=1}^n\frac{\partial A_i}{\partial x_i}~=~0$$ in all ...
3
votes
2answers
593 views

Tensor Product of Hilbert spaces

This question is regarding a definition of Tensor product of Hilbert spaces that I found in Wald's book on QFT in curved space time. Let's first get some notation straight. Let $(V,+,*)$ denote a set ...
3
votes
0answers
148 views

Isospin and Hypercharge of the SU(2) bps monopole embedding

I am reading the paper Fundamental monopoles and multimonopole solutions for arbitrary simple gauge groups - Weinberg, Erick J . In appendix C of this paper the author states, that the solution ...
2
votes
2answers
301 views

A rigorous treatment of distributions in quantum mechanics

In many introductory courses to quantum mechanics, we see $\delta$-functions all over the place. For example when expressing an arbitrary wave function $\psi(x)$ in the basis of eigenfunctions of the ...
2
votes
2answers
152 views

In QM, do we deal with basis or orthonormal sets?

Most textbooks say, that given a (countable) basis ${|\phi_n\rangle}$ of a Hilbert space, that every vector $|\psi\rangle$ of the space can be written as: $$\psi\rangle=\sum_{n=1}^\infty a_n|\phi_n\...
2
votes
1answer
696 views

What is the mathematical background needed for quantum physics? [duplicate]

I'm a computer scientist with a huge interest in mathematics. I have also recently started to develop some interest about quantum mechanics and quantum field theory. Assuming some knowledge in the ...
2
votes
1answer
187 views

About states, observables and the wave functional interpretation in QFT with gauge fields

First of all, I'm a mathematician, so forgive me for my possible trivial mistakes and poor knowledge of physics. In a QFT, we just start with a field (scalar, vectorial, spinorial, gauge etc), so I ...
2
votes
1answer
235 views

Equivalent system in Centre manifold theory

I was studying the centre manifold theory. It says (see Kuznetsov page 155, theorem 5.2) that the system on the left side of the picture is topologically equivalent to the one on the right. $ \...
2
votes
1answer
1k views

Proof of equality of the integral and differential form of Maxwell's equation

Just curious, can anyone show how the integral and differential form of Maxwell's equation is equivalent? (While it is conceptually obvious, I am thinking rigorous mathematical proof may be useful in ...
2
votes
1answer
199 views

Description of charged sphere with Heaviside function in cylindrical coordinates

I need to describe density of charge of uniformly charged sphere (radius R, total charge Q, position of centre (0,0,0)) with Dirac delta function and Heaviside step function. The hard part is to ...
2
votes
4answers
400 views

Generalized quantum mechanics

I wonder if it's possible to discover another version of quantum theory that doesn't depend on complex numbers. We may discover a formulation of quantum mechanics using p-adic numbers, quaternions or ...
1
vote
3answers
129 views

Can one construct a new operator in terms of the powers of another operator?

Suppose we have a quantum state, well described by its time-independent wave function Psi. And we have a well-defined Hermitian (self-adjoint) operator $A$. We successfully evaluate the expectation ...
1
vote
2answers
136 views

Particle in a one dimensional box conditions

Why does the wave function have to be $C^1(\mathbb{R})$ for a finite square well but not for an infinite square well? For an infinite square well with boundaries at $x=0$ and $x=L$, we have $$\psi_n(x)...
1
vote
0answers
81 views

Books for learning Mathematics in Physics? [duplicate]

Currently I'm doing Advanced Classical Mechanics courses. I'm finding it hard to understand due to the lack of knowledge in linear algebra, multi variable calculus and other chapters. Can anyone ...
1
vote
1answer
110 views

Can binary sequences generated from ergodic maps be chaotic?

Briefly, the way symbols are generated is: Consider a one-dimensional chaotic map $T: [0,1]→[0,1]$ and a time series $\{x_n\}_{n=1}^N$ generated with this map. Define a threshold $A$ and a ...
1
vote
1answer
172 views

Problem in Hamiltonian

I need to elaborate the equation ,and need to know what is the physical significance and how matrices will manipulate in the equation $$ \hat{H} = (\hat{\tau_3}+i\hat{\tau_2})\frac{\hat{p}^2}{2m_0}+ \...
1
vote
1answer
144 views

Why is the logarithm of the number of all possible states of a system differentiable?

Temperature of a system is defined as $$\left( \frac{\partial \ln(\Omega)}{ \partial E} \right)_{N, X_i} = \frac{1}{kT}$$ Where $\Omega$ is the number of all accessible states (ways) for the system. $ ...
1
vote
2answers
291 views

Separation of variables in various PDEs, physical meaning

The method of separation of variables produces an undetermined separation constant and a family of solutions indexed by the values of this constant. For instance, in the case of an infinitely long ...
0
votes
1answer
121 views

If it is given which intervals are spacelike, can be determined which intervals are lightlike?

Provided that the notion of "$\mbox{spacelike}$"-ness (of an interval) is symmetric: $$\text{spacelike}( \, x - y \, ) \Longleftrightarrow \text{spacelike}( \, y - x \, ),$$ then for any set $X$ (of ...
0
votes
1answer
44 views

A series of bound states covering an interval

Generally, the bound states (normalizable eigenvectors) of a Hamiltonian have discrete eigenvalues. Is it possible for the eigenvalues to cover an interval? Say, $(a,b)$? That is, for each $E \in (...