Modding out functional relationships; An introduction to congruent integration. JmsNxn Ultimate Fellow Posts: 1,179 Threads: 123 Joined: Dec 2010 06/16/2021, 06:45 AM (This post was last modified: 06/17/2021, 12:14 AM by JmsNxn.) 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 $\mathcal{N},\mathcal{N}'$ be topological neighborhoods of $z = 0$. Let's assume that $\phi(s,z) : \mathcal{S} \times \mathcal{N} \to \mathcal{N}'$ and that $\phi(s,0) = 0$. 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 $\gamma : [a,b] \to \mathcal{S}$ be a continuously differentiable arc. Additionally, we can consider $\gamma$ as a path along a larger arc; so that we can take a derivative in $b$. Let's clarify some of the language too. If I write, for $\gamma \subset \mathcal{S}$, $ Y_\gamma(z) = \int_\gamma \phi(s,z)\,ds\bullet z\\ Y_\gamma(z)= ze^{\int_\gamma \frac{\partial}{\partial z} \phi(s,0)\,ds} + ...\\ \frac{\partial}{\partial b} Y_\gamma = \phi(\gamma(b), Y_\gamma)\gamma'(b)\\$ This produces a well-behaved compositional integral, such that, $ \forall \gamma\,\,Y_\gamma : \mathcal{N}_\gamma \to \mathcal{N}_\gamma'\\$ These are topologically neighborhoods of 0; so just call this $\mathcal{N}$: "there exists a neighborhood around zero". With that cleared up, we can talk about when $\gamma$ is a Jordan curve. Which basically just means $\gamma(b) = \gamma(a)$ and we don't self intersect on our path. Theorem 1: Let $\mathcal{S}$ be simply connected. For all Jordan curves $\gamma \subset \mathcal{S}$: $ \int_\gamma \phi(s,z)\,ds\bullet z = z\\$ Now, what happens when we start putting poles everywhere? ... I hope you remember our discussion about the residual theorem. $ \int_\gamma f(s) \phi(s,z)\,ds\bullet z \simeq \Omega_j \text{Rsd}(s=\zeta_j,f\phi;z)\bullet z\\$ With which you can visualize with Mphlee's beautiful picture: But, we're going to move $\alpha$ 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 $\sigma:[a,b] \to \mathcal{S}$ in which, $ \int_\gamma f(s,z)\,ds\bullet z = \int_\sigma \bullet \int_{\varphi} \bullet \int_{\sigma^{-1}} f(s,z)\,ds\bullet z\\$ We can mod out by this equivalence relation; and we get our desired first object. $ \oint_\gamma f(s,z)\,ds\bullet z = \Omega_j \text{Rsd}(s = \zeta_j,f;z) \bullet z\\$ 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 $\gamma,\varphi$ (which contain the same singularities), $ \oint_\gamma f(s) \phi(s,z)\,ds\bullet z = \oint_\varphi f(s)\phi(s,z)\,ds\bullet z = \Omega_j \text{Rsd}(s=\zeta_j,f\phi;z)\bullet z\\$ 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 $h(s)$ is holomorphic about $s = \zeta$; then, $ \oint_\gamma (f(s)+h(s))\phi(s,z)\,ds\bullet z = \oint _\gamma f(s) \phi(s,z)\,ds\bullet z\\$ Which is proved using a limit. Suppose that $\gamma_\delta = \zeta + \delta e^{ix}$, then, $ \int_{\gamma_\delta} (f(s) + h(s))\phi(s,z)\,ds\bullet z - \int_{\gamma_\delta}f(s) \phi(s,z)\,ds\bullet z = \mathcal{O}(\delta)\\$ which implies the two classes agree in a limit. So if we define a brand new equivalence class: $ \oint_\gamma f(s)\phi(s,z)\,ds\bullet z \equiv \oint_\gamma g(s)\phi(s,z)\,ds\bullet z\\$ If we know that $f,g$ share the same poles and residues at the poles... We get the true congruent integral. In which, for a Jordan curve $\gamma\subset \mathcal{S}$ and arbitrary meromorphic functions $f,g$, $ \oint_\gamma (f(s) + g(s))\phi(s,z)\,ds\bullet z = \oint f(s)\phi(s,z)\,ds\bullet \oint g(s)\phi(s,z)\,ds\bullet z\\$ 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 $f = \sum_j f_j$; and creating nested integrations $f = \int g$. 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, https://arxiv.org/abs/2003.05280 « Next Oldest | Next Newest »

 Messages In This Thread Modding out functional relationships; An introduction to congruent integration. - by JmsNxn - 06/16/2021, 06:45 AM RE: Modding out functional relationships; An introduction to congruent integration. - by MphLee - 06/16/2021, 09:43 AM RE: Modding out functional relationships; An introduction to congruent integration. - by JmsNxn - 06/17/2021, 09:45 PM RE: Modding out functional relationships; An introduction to congruent integration. - by JmsNxn - 06/23/2021, 07:07 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 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)