Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix typo in expression for total fields from Fourier-series summation #2816

Closed
wants to merge 2 commits into from

Conversation

oskooi
Copy link
Collaborator

@oskooi oskooi commented Apr 7, 2024

Fixes a typo in Tutorial/Cylindrical Coordinates/Nonaxisymmetric Dipole Sources involving the expression for the total fields based on the Fourier-series summation which incorrectly included taking the real part of the $m > 0$ terms.

original

image

modified

image

@stevengj
Copy link
Collaborator

stevengj commented Apr 7, 2024

The original looks correct to me — you take twice the real part because you are only summing positive m. Summing a positive m and a negative m term is equivalent to taking twice the real part of the positive-m term, since they are complex conjugates: z + z̄ = 2ℜ[z]

@oskooi
Copy link
Collaborator Author

oskooi commented Apr 7, 2024

If I take the Fourier-series expansion for $\vec{E}_{tot}(\theta, \phi)$ and simplify it based on $\vec{E}_m(\theta)e^{im\phi}$ being a complex conjugate for $m$ and $-m$, the resulting expression is:

image

@oskooi
Copy link
Collaborator Author

oskooi commented Apr 7, 2024

I have updated the formulas to:

image

@stevengj
Copy link
Collaborator

stevengj commented Apr 8, 2024

Why is that simpler? The original complex-exponential formula seems simpler to me.

@oskooi
Copy link
Collaborator Author

oskooi commented Apr 9, 2024

Why is that simpler? The original complex-exponential formula seems simpler to me.

Note that the original and the updated expressions are not equivalent. The updated expression is derived from the fact that the complex conjugate of a product of complex numbers is the product of their complex conjugates: $(ab)^* = a^* b^*$ where $a = \vec{E}_{m}(\theta)$ and $b = e^{im\theta}$.

Previously, we had been using $(ab) + (ab)^* = 2 \Re\left[ab\right]$ which is incorrect.

@mochen4
Copy link
Collaborator

mochen4 commented Apr 11, 2024

Previously, we had been using (ab)+(ab)∗=2ℜ[ab] which is incorrect.

In fact, $(ab)+(ab)^∗=2ℜ[ab]$ looks correct to me.

@stevengj stevengj closed this Apr 11, 2024
@oskooi oskooi deleted the typo_real_fields branch April 11, 2024 20:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants