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,

Messages In This Thread
Modding out functional relationships; An introduction to congruent integration. - by JmsNxn - 06/16/2021, 06:45 AM

Possibly Related Threads…
Thread Author Replies Views Last Post
  double functional equation , continuum sum and analytic continuation tommy1729 6 184 03/05/2023, 12:36 AM
Last Post: tommy1729
  Fractional Integration Caleb 11 366 02/10/2023, 03:49 AM
Last Post: JmsNxn
  Functional power Xorter 3 3,974 07/11/2022, 06:03 AM
Last Post: Catullus
Question Functional Square Root Catullus 24 2,706 07/01/2022, 09:17 PM
Last Post: tommy1729
  [MSE] Help on a special kind of functional equation. MphLee 4 2,220 06/14/2021, 09:52 PM
Last Post: JmsNxn
  Moving between Abel's and Schroeder's Functional Equations Daniel 1 4,061 01/16/2020, 10:08 PM
Last Post: sheldonison
  Hyper-volume by integration Xorter 0 3,576 04/08/2017, 01:52 PM
Last Post: Xorter
  Conservation of functional equation ? tommy1729 0 3,670 05/01/2015, 10:03 PM
Last Post: tommy1729
  Integration? 73939 11 27,082 09/10/2014, 08:46 PM
Last Post: tommy1729
  A system of functional equations for slog(x) ? tommy1729 3 9,490 07/28/2014, 09:16 PM
Last Post: tommy1729

Users browsing this thread: 1 Guest(s)