### Archive

Archive for the ‘Physics’ Category

## On Proving Eigenvalue = 1 for Particular Surfaces

So, as you have read here, I've been saying for quite a few years now that (bounded) smooth surfaces on $\left[ 0, 1 \right]^2 \to \mathbb{R}$ have certain invariants when viewed from a particular perspective (eigenvalues, eigenfunctions).  There are particular surfaces which I dubbed Pasquali patches (for lack of a better word) and a particular construction, namely

with $F_2 = \int_0^1 f_2(x) \, dx \neq 0$ which are very special in that they have lots of properties which are interesting and closely tied to probability theory.  I have now proven for this particular construction that it possesses two very specific eigenvalues given a particular operator "star" $\star$... one of which is $\lambda_1 = 1$, regardless of function choices for $f_1(x), g_1(y)$ and almost arbitrary choice of $f_2(x)$, which, by requirement needs $F_2 \neq 0$.  This mimics well known probability mathematics (except in the surface realm) and operator theory/linear algebra. I think of this as a very proud accomplishment.

Thusly, I have revamped the relevant sections in Compendium full of new and juicy recharacterizations in order to be able to do just this... particularly Section 2, the definition of Pasquali patches and Section 11.6, Relevant Generalizations as Applied to Pasquali Patches (where I have included such a proof).  Section 2 is now a lot tighter than it used to be, and I'm trying really hard to go over everything to close all the loopholes I've left so that Compendium isn't just notes but an actual... Volume of Mathematics or Book or something.

I am very close to a full eigenvalue theory which I will apply to a generalization of the Pasquali patch formula above, giving a multiplicity of calculable eigenvalues for, not just Pasquali patches, but any sufficiently well behaved surface on $\left[ 0, 1 \right]^2 \to \mathbb{R}$.

Part I v26

Well, time to shake things up a bit! I have decided to change a few things on my blog, including the theme.

The latex plugin broke with the new WP auto-installation features and I haven't been writing on here much, but I've kept going on new Theorems whenever I can.  One of my latest successes, of which I am very proud of, is Shadow Casting.  It is in this new version of my Compendium of Claims and Proofs.  I will be trying to fix how the equations display in the meantime...

Part I v25

## More On Convergent-in-Area Polynomials in the Interval [0,1]

So remember last time I wrote about the rich algebraic structure of polynomials that have convergent area in the interval [0,1]? Turns out there is a lot that can be done, even more than I imagined.  I have already begun to sketch the properties out and have a long ways to go still, but at least I have defined operations on these polynomials that I think can be very useful.

Here's my newest version of Compendium where I have added these things.

Part I v23

## On convergent-in-area polynomials in the interval [0,1]

Take any finite or infinite polynomial which converges in area in the interval between [0,1].  We can define equivalence classes on such space by mapping them back to distinct probability distributions, such that each equivalence class with all its elements is a semigroup under a particular operation.  We can extend each semigroup into a group if we incorporate an identity element and inverses.  Now we've created fun to last for a lifetime!  I've included these ideas in version 20 of Compendium.

Part I v20

There is more to come, as we spawn mathematical objects of weirdness that can be related back or extend probability theory.