Modding out functional relationships; An introduction to congruent integration.
Let's be as rigorous as possible in this post. Let's try to be straight forward too. Let's restrict ourselves to the \bullet and \Omega notation. This post is largely in response to Leo W.'s posts and MphLee's functional relationships. Regardless of this; all of this is drawn from my paper on compositional integration.

Let be topological neighborhoods of . Let's assume that and that . This will make things a bit simpler as we progress. These aren't necessary conditions; but they're well enough to get at the root of Mphlee'stheory.

Let be a continuously differentiable arc. Additionally, we can consider as a path along a larger arc; so that we can take a derivative in .

Let's clarify some of the language too.

If I write, for ,

This produces a well-behaved compositional integral, such that,

These are topologically neighborhoods of 0; so just call this : "there exists a neighborhood around zero".

With that cleared up, we can talk about when is a Jordan curve. Which basically just means and we don't self intersect on our path.

Theorem 1: Let be simply connected. For all Jordan curves :

Now, what happens when we start putting poles everywhere? ... I hope you remember our discussion about the residual theorem.

With which you can visualize with Mphlee's beautiful picture:

[Image: Annotazione-2021-05-11-224552.jpg]

But, we're going to move around to whatever you want. And make these statements equivalent. For a more detailed description: I suggest reading this thread

Each of these closed contours are equivalent to each other under some mapping in which,

We can mod out by this equivalence relation; and we get our desired first object.

So, we're going to invent The Congruent Integral. Which is a modded out version of the above formula. In which the fundamental identity is for any two jordan curves (which contain the same singularities),

Which is up to conjugation... (I've explained this over and over, I hope you remember).

Now from this you can make another "mod out". If is holomorphic about ; then,

Which is proved using a limit. Suppose that , then,

which implies the two classes agree in a limit. So if we define a brand new equivalence class:

If we know that share the same poles and residues at the poles... We get the true congruent integral. In which, for a Jordan curve and arbitrary meromorphic functions ,

And we've effectively abelianized a lot of tangential relations to MphLee's work. It borders on what Leo W. talked about; but I believe he has his own descriptors.

In the book I, then, start taking infinite compositions; which is just ; and creating nested integrations . Where you can do pretty much everything in Cauchy's analysis; but we're in some weird modded out space. Which nonetheless; can be pulled back to a normal complex analytic scenario... Just with a lot of conjugations.

I thought I'd post this, mostly, as a direction of thought for all of MphLee's posts lately; and it's my own interpretation.

Again, the paper is at,
This is a good moment for that post! In the last weeks I want back to reading and studding basic stuff to make order in my brain. In fact I was asking recently on MSE also about a path non-abelian algebra/category so to formalize the integral as a functor. Three days ago I started a second complete read (skipping proof details) of your long paper after you were referencing the congruent integral. I'm at page 27 now, I'm surprised how much helpful your forum posts were to understand better your paper.

MSE MphLee
Mother Law \((\sigma+1)0=\sigma (\sigma+1)\)
S Law \(\bigcirc_f^{\lambda}\square_f^{\lambda^+}(g)=\square_g^{\lambda}\bigcirc_g^{\lambda^+}(f)\)
I thought I'd write some plain examples using ; in which we are reduced into the exponential case.

Now when we write,

We mean that if,



And the residue theorem is,

The thesis of this paper was that in some modded out space; it works exactly the same. In fact, for any function , we can prove this result using all of the old analysis,

Which is exactly what mphlee has been talking about lately; and the content of the YT video he posted. It's just written very strangely here.

The benefit of writing it this strangely; is that it generalizes in an algebraic way much better than the typical vector space mumbo jumbo.

In which we can now talk about,

And if we conjugate these things; and "hide" the conjugations using ; we get,

This means; explicitly; if are meromorphic and is a Jordan curve:

And there exists functions such that,

And these functions are always solvable as compositional contour integrations.
I thought I'd add a bit about Taylor Series too.

If I write,



Then, similarly,

This always extends to separable functions, in which,

Using the congruent integral we can show,


Possibly Related Threads…
Thread Author Replies Views Last Post
  Functional power Xorter 3 3,894 07/11/2022, 06:03 AM
Last Post: Catullus
Question Functional Square Root Catullus 24 2,423 07/01/2022, 09:17 PM
Last Post: tommy1729
  [MSE] Help on a special kind of functional equation. MphLee 4 2,139 06/14/2021, 09:52 PM
Last Post: JmsNxn
  Moving between Abel's and Schroeder's Functional Equations Daniel 1 3,993 01/16/2020, 10:08 PM
Last Post: sheldonison
  Hyper-volume by integration Xorter 0 3,533 04/08/2017, 01:52 PM
Last Post: Xorter
  Conservation of functional equation ? tommy1729 0 3,627 05/01/2015, 10:03 PM
Last Post: tommy1729
  Integration? 73939 11 26,777 09/10/2014, 08:46 PM
Last Post: tommy1729
  A system of functional equations for slog(x) ? tommy1729 3 9,370 07/28/2014, 09:16 PM
Last Post: tommy1729
  [stuck] On the functional equation of the slog : slog(e^z) = slog(z)+1 tommy1729 1 5,242 04/28/2014, 09:23 PM
Last Post: tommy1729
Question Integration of x^x Ryan 2 6,458 02/25/2014, 08:28 AM
Last Post: Gottfried

Users browsing this thread: 1 Guest(s)