Graduate How Can I Differentiate Curves Where the Real Part of \( Y(t) \) Vanishes?

Click For Summary
SUMMARY

The discussion centers on differentiating curves defined by the real and imaginary parts of the function $$Y(t)=tanh(ln(1+Z(t)^2)$$, where Z is the Hardy Z function. The user seeks to calculate the pedal coordinates for the curves $$L$$ and $$H$$, specifically where the real part of $$Y$$ vanishes. The user attempted to apply the chain rule for differentiation but encountered issues with the resulting expression. The conversation highlights the complexity of the topic, particularly its niche appeal within number theory and the Hardy Z function.

PREREQUISITES
  • Understanding of complex analysis, particularly functions of a complex variable.
  • Familiarity with the Hardy Z function and its applications in number theory.
  • Knowledge of parametric equations and their derivatives.
  • Proficiency in using Maple for mathematical computations.
NEXT STEPS
  • Explore the properties of the Hardy Z function in depth.
  • Learn about the application of finite differences in curve differentiation.
  • Investigate the use of Maple for calculating parametric derivatives.
  • Study the concept of pedal curves and their geometric significance.
USEFUL FOR

Mathematicians, researchers in number theory, and anyone interested in complex analysis and the properties of the Hardy Z function will benefit from this discussion.

qbar
Messages
2
Reaction score
0
TL;DR
Let $$Y(t)=tanh(ln(1+Z(t)^2))$$ where Z(t) is the Hardy Z function; How to calculate the implicit derivative of the curve defined by $$Re(Y(t(u)+is(u)))=0$$?
Let $$Y(t)=tanh(ln(1+Z(t)^2))$$ where Z is the Hardy Z function; I'm trying to calculate the pedal coordinates of the curve defined by $$L = \{ (t (u), s (u)) : {Re} (Y (t (u) + i s (u)))_{} = 0 \}$$ and $$H = \{ (t (u), s (u)) : {Im} (Y (t (u) + i s (u)))_{} = 0 \}$$ , and for that I need to calculate the derivative of $$t(u)$$ and $$s(u)$$ for which the parametric form is not available. When I tried to apply the chain rule, I ended up with
$$\frac{dy}{dx} = - \frac{\frac{d}{dx} Y(x + iy)}{\frac{d}{dy}(Y(x + iy))} = i$$
which I don't think is correct. I have written an article about it with more information at https://github.com/crowlogic/Y/blob/master/tanhln1plusZsquared.pdf

Here is a composite image generated by the real and imaginary parts of Y from 7004.5-0.5i to 7005.5+0.5i (showing a region of the neighborhood surrounding the first Lehmer pair) generated with https://github.com/crowlogic/Y/blob/master/src/complex_plot.c:

YrealImagCompositeFrom7004.5-0.5I..7005.5+0.5I.png


Here is the imaginary part vanishing alone over the same range, with aspect ratio maintained
YimagFrom7004.5-0.5I..7005.5+0.5I.png

Here is the same range where the real part vanishes
YrealFrom7004.5-0.5I..7005.5+0.5I.png

Does anyone have any ideas on how to differentiate these curves ? Specifically, where the real part of Y vanishes?

Does there exist an expression for the tangent line of $$L = \{ (t (u), s (u)) : {Re} (Y (t (u) + i s (u))) = 0 \}$$ ?

There is a maple procedure to calculate the path at https://github.com/crowlogic/Y/blob/master/tracecurve.mplActually, I just realized I can use finite differences.. it doesn't appear that they are pedal curves of one another.. or if they are, the pedal point is not the root
 
Last edited:
Physics news on Phys.org
No replies? you people are too boring and conventional.
 
qbar said:
No replies? you people are too boring and conventional.
Well, this has probably several reasons:
  1. It is too long.
  2. You struck everybody with the pictures so people barely read the rest.
  3. What are your questions? Probably somewhere, but who wants to search for them.
  4. The Hardy function is a very specific tool in number theory, a branch which is not very popular.
  5. Especially not among physicists.
  6. You have several media breaks: changing sites only to be able to understand is a bad method.
  7. You used far too many double $ instead of inline formulas.
  8. Are you sure you didn't simply want to promote your paper? Where is it published?
  9. Our rules require a published reference.
  10. It is too long.
The main reason, however, is likely the lack of interest in problems around the Hardy Z function.
 
  • Like
Likes StoneTemplePython, etotheipi, jim mcnamara and 2 others
Unfortunately, @qbar went nutzoid at the helpful reply by @fresh_42 and that profane rant (now deleted) resulted in qbar's ban. Thread is now closed.
 
Last edited:
  • Like
Likes etotheipi

Similar threads

  • · Replies 8 ·
Replies
8
Views
845
  • · Replies 19 ·
Replies
19
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 18 ·
Replies
18
Views
3K
Replies
2
Views
2K
Replies
2
Views
2K
Replies
4
Views
4K
  • · Replies 1 ·
Replies
1
Views
5K